CCA-0.1.3: preprocessor and library for Causal Commutative Arrows (CCA)
Control.CCA.Types
class (Arrow a, ArrowLoop a) => ArrowInit a whereSource
Methods
init :: b -> a b bSource
arr' :: ExpQ -> (b -> c) -> a b cSource
init' :: ExpQ -> b -> a b bSource
loopD :: e -> ((b, e) -> (c, e)) -> a b cSource
Instances