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