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, ArrowTrans xT, Arrow (xT (AbortT v r))) => ArrowAbort v (xT (AbortT v r))

ArrowChoice r => ArrowAbort v (AbortT v r)

ArrowTrans (AbortT v)

ArrowChoice r => Arrow (AbortT v r)

ArrowChoice r => Category (AbortT v r)

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