Blame test/lhs-test.html

Packit Service d2f85f
Packit Service d2f85f
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
Packit Service d2f85f
<head>
Packit Service d2f85f
  <meta charset="utf-8" />
Packit Service d2f85f
  <meta name="generator" content="pandoc" />
Packit Service d2f85f
  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
Packit Service d2f85f
  <title>lhs-test</title>
Packit Service d2f85f
  <style type="text/css">
Packit Service d2f85f
      code{white-space: pre-wrap;}
Packit Service d2f85f
      span.smallcaps{font-variant: small-caps;}
Packit Service d2f85f
      span.underline{text-decoration: underline;}
Packit Service d2f85f
      div.column{display: inline-block; vertical-align: top; width: 50%;}
Packit Service d2f85f
  </style>
Packit Service d2f85f
  <style type="text/css">
Packit Service d2f85f
a.sourceLine { display: inline-block; line-height: 1.25; }
Packit Service d2f85f
a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }
Packit Service d2f85f
a.sourceLine:empty { height: 1.2em; position: absolute; }
Packit Service d2f85f
.sourceCode { overflow: visible; }
Packit Service d2f85f
code.sourceCode { white-space: pre; position: relative; }
Packit Service d2f85f
div.sourceCode { margin: 1em 0; }
Packit Service d2f85f
pre.sourceCode { margin: 0; }
Packit Service d2f85f
@media screen {
Packit Service d2f85f
div.sourceCode { overflow: auto; }
Packit Service d2f85f
}
Packit Service d2f85f
@media print {
Packit Service d2f85f
code.sourceCode { white-space: pre-wrap; }
Packit Service d2f85f
a.sourceLine { text-indent: -1em; padding-left: 1em; }
Packit Service d2f85f
}
Packit Service d2f85f
pre.numberSource a.sourceLine
Packit Service d2f85f
  { position: relative; }
Packit Service d2f85f
pre.numberSource a.sourceLine:empty
Packit Service d2f85f
  { position: absolute; }
Packit Service d2f85f
pre.numberSource a.sourceLine::before
Packit Service d2f85f
  { content: attr(data-line-number);
Packit Service d2f85f
    position: absolute; left: -5em; text-align: right; vertical-align: baseline;
Packit Service d2f85f
    border: none; pointer-events: all;
Packit Service d2f85f
    -webkit-touch-callout: none; -webkit-user-select: none;
Packit Service d2f85f
    -khtml-user-select: none; -moz-user-select: none;
Packit Service d2f85f
    -ms-user-select: none; user-select: none;
Packit Service d2f85f
    padding: 0 4px; width: 4em;
Packit Service d2f85f
    color: #aaaaaa;
Packit Service d2f85f
  }
Packit Service d2f85f
pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;  padding-left: 4px; }
Packit Service d2f85f
div.sourceCode
Packit Service d2f85f
  {  }
Packit Service d2f85f
@media screen {
Packit Service d2f85f
a.sourceLine::before { text-decoration: underline; }
Packit Service d2f85f
}
Packit Service d2f85f
code span.al { color: #ff0000; font-weight: bold; } /* Alert */
Packit Service d2f85f
code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
Packit Service d2f85f
code span.at { color: #7d9029; } /* Attribute */
Packit Service d2f85f
code span.bn { color: #40a070; } /* BaseN */
Packit Service d2f85f
code span.bu { } /* BuiltIn */
Packit Service d2f85f
code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
Packit Service d2f85f
code span.ch { color: #4070a0; } /* Char */
Packit Service d2f85f
code span.cn { color: #880000; } /* Constant */
Packit Service d2f85f
code span.co { color: #60a0b0; font-style: italic; } /* Comment */
Packit Service d2f85f
code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
Packit Service d2f85f
code span.do { color: #ba2121; font-style: italic; } /* Documentation */
Packit Service d2f85f
code span.dt { color: #902000; } /* DataType */
Packit Service d2f85f
code span.dv { color: #40a070; } /* DecVal */
Packit Service d2f85f
code span.er { color: #ff0000; font-weight: bold; } /* Error */
Packit Service d2f85f
code span.ex { } /* Extension */
Packit Service d2f85f
code span.fl { color: #40a070; } /* Float */
Packit Service d2f85f
code span.fu { color: #06287e; } /* Function */
Packit Service d2f85f
code span.im { } /* Import */
Packit Service d2f85f
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
Packit Service d2f85f
code span.kw { color: #007020; font-weight: bold; } /* Keyword */
Packit Service d2f85f
code span.op { color: #666666; } /* Operator */
Packit Service d2f85f
code span.ot { color: #007020; } /* Other */
Packit Service d2f85f
code span.pp { color: #bc7a00; } /* Preprocessor */
Packit Service d2f85f
code span.sc { color: #4070a0; } /* SpecialChar */
Packit Service d2f85f
code span.ss { color: #bb6688; } /* SpecialString */
Packit Service d2f85f
code span.st { color: #4070a0; } /* String */
Packit Service d2f85f
code span.va { color: #19177c; } /* Variable */
Packit Service d2f85f
code span.vs { color: #4070a0; } /* VerbatimString */
Packit Service d2f85f
code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
Packit Service d2f85f
  </style>
Packit Service d2f85f
  
Packit Service d2f85f
    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
Packit Service d2f85f
  
Packit Service d2f85f
</head>
Packit Service d2f85f
<body>
Packit Service d2f85f

lhs test

Packit Service d2f85f

unsplit is an arrow that takes a pair of values and combines them to

Packit Service d2f85f
return a single value:

Packit Service d2f85f
Packit Service d2f85f
unsplit = arr . uncurry
Packit Service d2f85f
          -- arr (\op (x,y) -> x `op` y)
Packit Service d2f85f

(***) combines two arrows into a new arrow by running the two arrows on a

Packit Service d2f85f
pair of values (one arrow on the first item of the pair and one arrow on the
Packit Service d2f85f
second item of the pair).

Packit Service d2f85f
f *** g = first f >>> second g
Packit Service d2f85f

Block quote:

Packit Service d2f85f
Packit Service d2f85f

foo bar

Packit Service d2f85f
Packit Service d2f85f
</body>
Packit Service d2f85f
</html>