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