on d82d607 help sign in
35 lines 642 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)