Control.Monad.Abort

Documentation

class (Applicative μ, Monad μ) => MonadAbort e μ | μ -> e where

Minimal complete definition

abort

Methods

abort :: e -> μ α

Instances

MonadAbort SomeException IO

Methods

abort :: SomeException -> IO α

MonadAbort e μ => MonadAbort e (ListT μ)

Methods

abort :: e -> ListT μ α

MonadAbort e μ => MonadAbort e (MaybeT μ)

Methods

abort :: e -> MaybeT μ α

Monad μ => MonadAbort e (ExceptT e μ)

Methods

abort :: e -> ExceptT e μ α

(Monad μ, Error e) => MonadAbort e (ErrorT e μ)

Methods

abort :: e -> ErrorT e μ α

(MonadAbort e μ, Monoid w) => MonadAbort e (WriterT w μ)

Methods

abort :: e -> WriterT w μ α

(MonadAbort e μ, Monoid w) => MonadAbort e (WriterT w μ)

Methods

abort :: e -> WriterT w μ α

MonadAbort e μ => MonadAbort e (StateT s μ)

Methods

abort :: e -> StateT s μ α

MonadAbort e μ => MonadAbort e (StateT s μ)

Methods

abort :: e -> StateT s μ α

MonadAbort e μ => MonadAbort e (IdentityT * μ)

Methods

abort :: e -> IdentityT * μ α

(Functor μ, Monad μ) => MonadAbort e (AbortT e μ)

Methods

abort :: e -> AbortT e μ α

MonadAbort e μ => MonadAbort e (ReaderT * r μ)

Methods

abort :: e -> ReaderT * r μ α

MonadAbort e μ => MonadAbort e (ContT * r μ)

Methods

abort :: e -> ContT * r μ α

(MonadAbort e μ, Monoid w) => MonadAbort e (RWST r w s μ)

Methods

abort :: e -> RWST r w s μ α

(MonadAbort e μ, Monoid w) => MonadAbort e (RWST r w s μ)

Methods

abort :: e -> RWST r w s μ α

class MonadAbort e μ => MonadRecover e μ | μ -> e where

Minimal complete definition

recover

Methods

recover :: μ α -> (e -> μ α) -> μ α

evaluate :: μ α -> μ (Either e α)

Instances

MonadRecover SomeException IO

Methods

recover :: IO α -> (SomeException -> IO α) -> IO α

evaluate :: IO α -> IO (Either SomeException α)

MonadRecover e μ => MonadRecover e (ListT μ)

Methods

recover :: ListT μ α -> (e -> ListT μ α) -> ListT μ α

evaluate :: ListT μ α -> ListT μ (Either e α)

MonadRecover e μ => MonadRecover e (MaybeT μ)

Methods

recover :: MaybeT μ α -> (e -> MaybeT μ α) -> MaybeT μ α

evaluate :: MaybeT μ α -> MaybeT μ (Either e α)

Monad μ => MonadRecover e (ExceptT e μ)

Methods

recover :: ExceptT e μ α -> (e -> ExceptT e μ α) -> ExceptT e μ α

evaluate :: ExceptT e μ α -> ExceptT e μ (Either e α)

(Monad μ, Error e) => MonadRecover e (ErrorT e μ)

Methods

recover :: ErrorT e μ α -> (e -> ErrorT e μ α) -> ErrorT e μ α

evaluate :: ErrorT e μ α -> ErrorT e μ (Either e α)

(MonadRecover e μ, Monoid w) => MonadRecover e (WriterT w μ)

Methods

recover :: WriterT w μ α -> (e -> WriterT w μ α) -> WriterT w μ α

evaluate :: WriterT w μ α -> WriterT w μ (Either e α)

(MonadRecover e μ, Monoid w) => MonadRecover e (WriterT w μ)

Methods

recover :: WriterT w μ α -> (e -> WriterT w μ α) -> WriterT w μ α

evaluate :: WriterT w μ α -> WriterT w μ (Either e α)

MonadRecover e μ => MonadRecover e (StateT s μ)

Methods

recover :: StateT s μ α -> (e -> StateT s μ α) -> StateT s μ α

evaluate :: StateT s μ α -> StateT s μ (Either e α)

MonadRecover e μ => MonadRecover e (StateT s μ)

Methods

recover :: StateT s μ α -> (e -> StateT s μ α) -> StateT s μ α

evaluate :: StateT s μ α -> StateT s μ (Either e α)

MonadRecover e μ => MonadRecover e (IdentityT * μ)

Methods

recover :: IdentityT * μ α -> (e -> IdentityT * μ α) -> IdentityT * μ α

evaluate :: IdentityT * μ α -> IdentityT * μ (Either e α)

(Functor μ, Monad μ) => MonadRecover e (AbortT e μ)

Methods

recover :: AbortT e μ α -> (e -> AbortT e μ α) -> AbortT e μ α

evaluate :: AbortT e μ α -> AbortT e μ (Either e α)

MonadRecover e μ => MonadRecover e (ReaderT * r μ)

Methods

recover :: ReaderT * r μ α -> (e -> ReaderT * r μ α) -> ReaderT * r μ α

evaluate :: ReaderT * r μ α -> ReaderT * r μ (Either e α)

(MonadRecover e μ, Monoid w) => MonadRecover e (RWST r w s μ)

Methods

recover :: RWST r w s μ α -> (e -> RWST r w s μ α) -> RWST r w s μ α

evaluate :: RWST r w s μ α -> RWST r w s μ (Either e α)

(MonadRecover e μ, Monoid w) => MonadRecover e (RWST r w s μ)

Methods

recover :: RWST r w s μ α -> (e -> RWST r w s μ α) -> RWST r w s μ α

evaluate :: RWST r w s μ α -> RWST r w s μ (Either e α)

onError :: MonadRecover e μ => μ α -> (e -> μ β) -> μ α

onError_ :: MonadRecover e μ => μ α -> μ β -> μ α

type Abort e α = AbortT e Identity α

runAbort :: Abort e α -> Either e α

newtype AbortT e μ α :: * -> (* -> *) -> * -> *

Constructors

AbortT

Fields

• runAbortT :: μ (Either e α)

Instances

MonadBase η μ => MonadBase η (AbortT e μ)

Methods

liftBase :: η α -> AbortT e μ α

MonadBaseControl η μ => MonadBaseControl η (AbortT e μ)

Associated Types

type StM (AbortT e μ :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (AbortT e μ) η -> η a) -> AbortT e μ a

restoreM :: StM (AbortT e μ) a -> AbortT e μ a

(Functor μ, Monad μ) => MonadRecover e (AbortT e μ)

Methods

recover :: AbortT e μ α -> (e -> AbortT e μ α) -> AbortT e μ α

evaluate :: AbortT e μ α -> AbortT e μ (Either e α)

(Functor μ, Monad μ) => MonadAbort e (AbortT e μ)

Methods

abort :: e -> AbortT e μ α

MonadMask m μ => MonadMask m (AbortT e μ)

Methods

defMaskingState :: Proxy (* -> *) (AbortT e μ) -> m

getMaskingState :: AbortT e μ m

setMaskingState :: m -> AbortT e μ α -> AbortT e μ α

MonadFinish f μ => MonadFinish f (AbortT e μ)

Methods

finish :: f -> AbortT e μ α

MonadTrans (AbortT e)

Methods

lift :: Monad m => m a -> AbortT e m a

MonadTransControl (AbortT e)

Associated Types

type StT (AbortT e :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run (AbortT e) -> m a) -> AbortT e m a

restoreT :: Monad m => m (StT (AbortT e) a) -> AbortT e m a

BindTrans (AbortT e)

Methods

liftB :: Bind b => b a -> AbortT e b a

Monad μ => Monad (AbortT e μ)

Methods

(>>=) :: AbortT e μ a -> (a -> AbortT e μ b) -> AbortT e μ b

(>>) :: AbortT e μ a -> AbortT e μ b -> AbortT e μ b

return :: a -> AbortT e μ a

fail :: String -> AbortT e μ a

Functor μ => Functor (AbortT e μ)

Methods

fmap :: (a -> b) -> AbortT e μ a -> AbortT e μ b

(<$) :: a -> AbortT e μ b -> AbortT e μ a

MonadFix μ => MonadFix (AbortT e μ)

Methods

mfix :: (a -> AbortT e μ a) -> AbortT e μ a

(Functor μ, Monad μ) => Applicative (AbortT e μ)

Methods

pure :: a -> AbortT e μ a

(<*>) :: AbortT e μ (a -> b) -> AbortT e μ a -> AbortT e μ b

(*>) :: AbortT e μ a -> AbortT e μ b -> AbortT e μ b

(<*) :: AbortT e μ a -> AbortT e μ b -> AbortT e μ a

MonadIO μ => MonadIO (AbortT e μ)

Methods

liftIO :: IO a -> AbortT e μ a

(Functor μ, Monad μ, Default e) => Alternative (AbortT e μ)

Methods

empty :: AbortT e μ a

(<|>) :: AbortT e μ a -> AbortT e μ a -> AbortT e μ a

some :: AbortT e μ a -> AbortT e μ [a]

many :: AbortT e μ a -> AbortT e μ [a]

(Monad μ, Default e) => MonadPlus (AbortT e μ)

Methods

mzero :: AbortT e μ a

mplus :: AbortT e μ a -> AbortT e μ a -> AbortT e μ a

Monad μ => Pointed (AbortT e μ)

Methods

point :: a -> AbortT e μ a

(Functor μ, Monad μ, Default e) => Plus (AbortT e μ)

Methods

zero :: AbortT e μ a

(Functor μ, Monad μ) => Alt (AbortT e μ)

Methods

(<!>) :: AbortT e μ a -> AbortT e μ a -> AbortT e μ a

some :: Applicative (AbortT e μ) => AbortT e μ a -> AbortT e μ [a]

many :: Applicative (AbortT e μ) => AbortT e μ a -> AbortT e μ [a]

(Functor μ, Monad μ) => Apply (AbortT e μ)

Methods

(<.>) :: AbortT e μ (a -> b) -> AbortT e μ a -> AbortT e μ b

(.>) :: AbortT e μ a -> AbortT e μ b -> AbortT e μ b

(<.) :: AbortT e μ a -> AbortT e μ b -> AbortT e μ a

(Functor μ, Monad μ) => Bind (AbortT e μ)

Methods

(>>-) :: AbortT e μ a -> (a -> AbortT e μ b) -> AbortT e μ b

join :: AbortT e μ (AbortT e μ a) -> AbortT e μ a

MonadFinally μ => MonadFinally (AbortT e μ)

Methods

finally' :: AbortT e μ α -> (Maybe α -> AbortT e μ β) -> AbortT e μ (α, β)

finally :: AbortT e μ α -> AbortT e μ β -> AbortT e μ α

type StT (AbortT e) α

type StT (AbortT e) α = Either e α

type StM (AbortT e μ) α

type StM (AbortT e μ) α = ComposeSt (AbortT e) μ α

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Trans