CCA-0.1: preprocessor and library for Causal Communtative Arrows (CCA)
Source code
Contents
Index
Control.CCA.CCNF
Documentation
norm
::
ASyn
t t1 ->
ExpQ
Source
normOpt
::
ASyn
t t1 ->
ExpQ
Source
pprNorm
pprNormOpt
printCCA
data
ASyn
b c
Source
Instances
Arrow
ASyn
ArrowChoice
ASyn
ArrowLoop
ASyn
Category
ASyn
ArrowInit
ASyn
Produced by
Haddock
version 2.4.2