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