on ae40a33 help sign in
31 lines 598 B history raw
1{-# LANGUAGE Arrows #-}
3foo0 f g x y = proc _ -> (|f (g -< (x, y))|)
5foo1 f g h x = proc (y, z) ->
6 (|test (h f . (h g) -< (y x) . y z) ((h g) . h f -< y z . (y x))|)
8foo2 f g h x = proc (y, z) ->
9 (| test
10 ( h f .
11 h g -<
12 y x .
13 y z
14 )
15 ( h g .
16 h f -<
17 y z .
18 y x
19 )
20 |)
22bar0 f g x y = proc _ -> f -< x &&& g -< y
24bar1 f g h x = proc (y, z) ->
25 h f . (h g) -< (y x) . y z ||| (h g) . h f -< y z . (y x)
27bar2 f g h x = proc (y, z) ->
28 (h f . h g) -<
29 (y x) . y z |||
30 (h g . h f) -<
31 y z . (y x)