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

Control.CCA

Documentation

>>>

<<<

first

second

***

&&&

loop

Arrow (arr, first, second, ***, &&&)

ArrowLoop (loop)

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

Methods arr' :: ExpQ -> (b -> c) -> a b c Source init' :: ExpQ -> b -> a b b Source Instances ArrowInit ASyn

arr :: ExpQ -> ExpQ Source

init :: ExpQ -> ExpQ Source

norm :: ASyn t t1 -> ExpQ Source

normOpt :: ASyn t t1 -> ExpQ Source

Produced by Haddock version 2.4.2