Control.Arrow.Abort

Documentation

module Control.Arrow.Abort.Class

newtype AbortT v r a b

Constructors

AbortT

Fields

unwrapAbortT :: r a (Either v b)

Instances

(ArrowChoice r, ArrowTransformer xT, Arrow (xT (AbortT v r))) => ArrowAbort v (xT (AbortT v r))

ArrowChoice r => ArrowAbort v (AbortT v r)

ArrowTransformer (AbortT v)

ArrowChoice r => Arrow (AbortT v r)

(ArrowChoice r, ArrowApply r) => ArrowApply (AbortT v r)

(ArrowChoice r, ArrowLoop r, Typeable v) => ArrowLoop (AbortT v r)

ArrowChoice r => Category (AbortT v r)

runAbortT :: Arrow r => AbortT v r a v -> r a v