on 8cb86d3 help sign in
18 lines 384 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 ||| (h g . h f) -<
18 y z . (y x)