@@ -1,18 +1,21 @@
3−`unsplit` is an arrow that takes a pair of values and combines them
3+`unsplit` is an arrow that takes a pair of values and combines them to return
4−to return a single value:
4+a single value:
6+~~~~ {.sourceCode .literate .haskell}
6− unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
7+unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
7− unsplit = arr . uncurry
8+unsplit = arr . uncurry
8− -- arr (\op (x,y) -> x `op` y)
9+ -- arr (\op (x,y) -> x `op` y)
10−`(***)` combines two arrows into a new arrow by running the two
12+`(***)` combines two arrows into a new arrow by running the two arrows on a
11−arrows on a pair of values (one arrow on the first item of the pair
13+pair of values (one arrow on the first item of the pair and one arrow on the
12−and one arrow on the second item of the pair).
14+second item of the pair).
14 f *** g = first f >>> second g
16 f *** g = first f >>> second g
16Block quote:
18Block quote: