CCA-0.1.3: preprocessor and library for Causal Commutative Arrows (CCA)

Control.CCA.Types

Documentation

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