summaryrefslogtreecommitdiff
path: root/test/lhs-test.rst
diff options
context:
space:
mode:
Diffstat (limited to 'test/lhs-test.rst')
-rw-r--r--test/lhs-test.rst23
1 files changed, 23 insertions, 0 deletions
diff --git a/test/lhs-test.rst b/test/lhs-test.rst
new file mode 100644
index 000000000..3de2d9ff6
--- /dev/null
+++ b/test/lhs-test.rst
@@ -0,0 +1,23 @@
+lhs test
+========
+
+``unsplit`` is an arrow that takes a pair of values and combines them to
+return a single value:
+
+.. code:: haskell
+
+ unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
+ unsplit = arr . uncurry
+ -- arr (\op (x,y) -> x `op` y)
+
+``(***)`` combines two arrows into a new arrow by running the two arrows on a
+pair of values (one arrow on the first item of the pair and one arrow on the
+second item of the pair).
+
+::
+
+ f *** g = first f >>> second g
+
+Block quote:
+
+ foo bar