From 18ab8642692caca2716fd9b5a0e6dbfd3d9cf9cc Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 4 Feb 2017 12:56:30 +0100 Subject: Moved tests/ -> test/. --- test/lhs-test.rst+lhs | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 test/lhs-test.rst+lhs (limited to 'test/lhs-test.rst+lhs') diff --git a/test/lhs-test.rst+lhs b/test/lhs-test.rst+lhs new file mode 100644 index 000000000..eec79c546 --- /dev/null +++ b/test/lhs-test.rst+lhs @@ -0,0 +1,21 @@ +lhs test +======== + +``unsplit`` is an arrow that takes a pair of values and combines them to +return a single value: + +> 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 -- cgit v1.2.3