Safe Haskell	Safe
Language	Haskell98

Control.Arrow.Abort

Documentation

newtype AbortT v r a b Source #

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)) Source #
Methods abort :: xT (AbortT v r) v a Source #
ArrowChoice r => ArrowAbort v (AbortT v r) Source #
Methods abort :: AbortT v r v a Source #
ArrowTransformer (AbortT v) Source #
Methods lift :: Arrow r => r a b -> AbortT v r a b Source # tmap :: (Arrow r, Arrow s) => (forall a b. r a b -> s a b) -> AbortT v r a b -> AbortT v s a b Source #
ArrowChoice r => Category * (AbortT v r) Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
ArrowChoice r => Arrow (AbortT v r) Source #
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) Source #
Methods app :: AbortT v r (AbortT v r b c, b) c #
(ArrowChoice r, ArrowLoop r, Typeable * v) => ArrowLoop (AbortT v r) Source #
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 Source #