on d579a48 help sign in
19 lines 395 B history raw
1{-# LANGUAGE Arrows #-}
3bar0 f g h x =
4 proc (y, z) ->
5 (| test (h f.(h g) -< (y x).y z)((h g) . h f-<y z . (y x)) |)
7bar1 f g x y = proc _ -> (f -< x)&&&(g -< y)
9bar2 f g h x =
10 proc (y, z) ->
11 (h f.(h g) -< (y x).y z) ||| ((h g) . h f-<y z . (y x))
13bar3 f g h x =
14 proc (y, z) ->
15 ((h f.h g)
16 -< (y x).y z)
17 |||
18 ((h g . h f)
19 -<y z . (y x))