on d02483a help sign in
19 lines 383 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)