Synthesizer.Causal.Utility

Utility functions based only on Arrow class.

Documentation

map :: Arrow arrow => (b -> c) -> arrow a b -> arrow a c

pure :: Arrow arrow => b -> arrow a b

apply :: Arrow arrow => arrow a (b -> c) -> arrow a b -> arrow a c

chainControlled :: Arrow arrow => [arrow (c, x) x] -> arrow (c, x) x

replicateControlled :: Arrow arrow => Int -> arrow (c, x) x -> arrow (c, x) x