Control.Arrow.ArrowP

Documentation

newtype ArrowP a p b c

Constructors

ArrowP

Fields

strip :: a b c

Instances

Category * a => Category * (ArrowP a p)

ArrowChoice a => ArrowChoice (ArrowP a p)

ArrowCircuit a => ArrowCircuit (ArrowP a p)

Arrow a => Arrow (ArrowP a p)

ArrowLoop a => ArrowLoop (ArrowP a p)