Control.CCA.ArrowP

Documentation

newtype ArrowP a p b c

Constructors

ArrowP (a b c)

Instances

Category a => Category (ArrowP a p)

ArrowLoop a => ArrowLoop (ArrowP a p)

ArrowChoice a => ArrowChoice (ArrowP a p)

Arrow a => Arrow (ArrowP a p)

ArrowInit a => ArrowInit (ArrowP a p)

class (ArrowInit (ArrowP a p), ArrowInit a) => ArrowInitP a p where

Methods

strip :: ArrowP a p b c -> a b c

Instances

ArrowInitP ASyn p

ArrowInitP SF p

normP :: ArrowP ASyn p b c -> ExpQ

normOptP :: ArrowP ASyn p b c -> ExpQ