on ba64967 help sign in
30 lines 597 B history raw
1{-# LANGUAGE Arrows #-}
2foo0 f g x y = proc _ -> (|f (g -< (x, y))|)
4foo1 f g h x = proc (y, z) ->
5 (|test (h f . (h g) -< (y x) . y z) ((h g) . h f -< y z . (y x))|)
7foo2 f g h x = proc (y, z) ->
8 (| test
9 ( h f .
10 h g -<
11 y x .
12 y z
13 )
14 ( h g .
15 h f -<
16 y z .
17 y x
18 )
19 |)
21bar0 f g x y = proc _ -> f -< x &&& g -< y
23bar1 f g h x = proc (y, z) ->
24 h f . (h g) -< (y x) . y z ||| (h g) . h f -< y z . (y x)
26bar2 f g h x = proc (y, z) ->
27 (h f . h g) -<
28 (y x) . y z |||
29 (h g . h f) -<
30 y z . (y x)