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))

Methods

abort :: xT (AbortT v r) v a

ArrowChoice r => ArrowAbort v (AbortT v r)

Methods

abort :: AbortT v r v a

ArrowTransformer (AbortT v)

Methods

lift :: Arrow r => r a b -> AbortT v r a b

tmap :: (Arrow r, Arrow s) => (forall a b. r a b -> s a b) -> AbortT v r a b -> AbortT v s a b

ArrowChoice r => Category * (AbortT v r)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

ArrowChoice r => Arrow (AbortT v r)

Methods

arr :: (b -> c) -> AbortT v r b c

first :: AbortT v r b c -> AbortT v r (b, d) (c, d)

second :: AbortT v r b c -> AbortT v r (d, b) (d, c)

(***) :: AbortT v r b c -> AbortT v r b' c' -> AbortT v r (b, b') (c, c')

(&&&) :: AbortT v r b c -> AbortT v r b c' -> AbortT v r b (c, c')

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

Methods

app :: AbortT v r (AbortT v r b c, b) c

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

Methods

loop :: AbortT v r (b, d) (c, d) -> AbortT v r b c

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