CCA-0.1.5: preprocessor and library for Causal Commutative Arrows (CCA)
Control.CCA.Types
class (Arrow a, ArrowLoop a) => ArrowInit a where Source
Minimal complete definition
init
Methods
init :: b -> a b b Source
arr' :: ExpQ -> (b -> c) -> a b c Source
init' :: ExpQ -> b -> a b b Source
loopD :: e -> ((b, e) -> (c, e)) -> a b c Source
Instances