Control.Arrow.Improve

Improved arrows, with a whole host of minor optimisations and instances.

Documentation

data ImproveArrow a b c

Basic improved arrow type.

Instances

Arrow a => ArrowTransformer ImproveArrow a

ArrowReader r a => ArrowReader r (ImproveArrow a)

ArrowState s a => ArrowState s (ImproveArrow a)

(Monoid w, ArrowWriter w a) => ArrowWriter w (ImproveArrow a)

ArrowError ex a => ArrowError ex (ImproveArrow a)

ArrowChoice a => ArrowChoice (ImproveArrow a)

ArrowCircuit a => ArrowCircuit (ImproveArrow a)

Arrow a => Arrow (ImproveArrow a)

ArrowZero a => ArrowZero (ImproveArrow a)

ArrowPlus a => ArrowPlus (ImproveArrow a)

ArrowApply a => ArrowApply (ImproveArrow a)

ArrowLoop a => ArrowLoop (ImproveArrow a)

Arrow a => Category (ImproveArrow a)

Arrow a => Strong (ImproveArrow a)

ArrowChoice a => Choice (ImproveArrow a)

Arrow a => Profunctor (ImproveArrow a)

Arrow a => Semigroupoid (ImproveArrow a)

ArrowApply a => Monad (ImproveArrow a b)

Arrow a => Functor (ImproveArrow a b)

(ArrowPlus a, ArrowApply a) => MonadPlus (ImproveArrow a b)

Arrow a => Applicative (ImproveArrow a b)

ArrowPlus a => Alternative (ImproveArrow a b)

ArrowApply a => MonadZip (ImproveArrow a b)

Arrow a => Pointed (ImproveArrow a b)

ArrowPlus a => Plus (ImproveArrow a b)

ArrowPlus a => Alt (ImproveArrow a b)

Arrow a => Apply (ImproveArrow a b)

ArrowApply a => Bind (ImproveArrow a b)

(Arrow a, Floating c) => Floating (ImproveArrow a b c)

(Arrow a, Fractional c) => Fractional (ImproveArrow a b c)

(Arrow a, Num c) => Num (ImproveArrow a b c)

(Arrow a, IsString c) => IsString (ImproveArrow a b c)

ArrowPlus a => Monoid (ImproveArrow a b c)

lowerImprove :: Arrow a => ImproveArrow a b c -> a b c

Lower an improved arrow to the original arrow type.

lowerImprove . lift = id

lift . lowerImprove = id

getFunction :: ImproveArrow a b c -> Maybe (b -> c)

Get a function representing the arrow, if it is possible to do so. Guarantees are only made when arrows are constructed only from the combinators of the Category, Arrow, ArrowChoice and ArrowLoop classes.