CCA-0.1: preprocessor and library for Causal Communtative Arrows (CCA) Source code Contents Index

Control.CCA.Types

Documentation

class (Arrow a, ArrowLoop a) => ArrowInit a where Source

Methods init :: b -> a b b Source arr' :: ExpQ -> (b -> c) -> a b c Source init' :: ExpQ -> b -> a b b Source loopD :: e -> a (b, e) (c, e) -> a b c Source loopB :: e -> a (b, (d, e)) (c, (d, e)) -> a b c Source Instances ArrowInit ASyn

Produced by Haddock version 2.4.2