on e598b72 help sign in
36 lines 652 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 ( h f
12 . h g
13 -<
14 y x
15 . y z
16 )
17 ( h g
18 . h f
19 -<
20 y z
21 . y x)
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 |||
35 (h g . h f)
36 -<y z . (y x)