Foundation.Monad.Except

Documentation

newtype ExceptT e m a

Constructors

ExceptT

Fields

• runExceptT :: m (Either e a)

Instances

MonadTrans (ExceptT e)

Methods

lift :: AMPMonad m => m a -> ExceptT e m a

AMPMonad m => Monad (ExceptT e m)

Methods

(>>=) :: ExceptT e m a -> (a -> ExceptT e m b) -> ExceptT e m b

(>>) :: ExceptT e m a -> ExceptT e m b -> ExceptT e m b

return :: a -> ExceptT e m a

fail :: String -> ExceptT e m a

Functor m => Functor (ExceptT e m)

Methods

fmap :: (a -> b) -> ExceptT e m a -> ExceptT e m b

(<$) :: a -> ExceptT e m b -> ExceptT e m a

AMPMonad m => Applicative (ExceptT e m)

Methods

pure :: a -> ExceptT e m a

(<*>) :: ExceptT e m (a -> b) -> ExceptT e m a -> ExceptT e m b

liftA2 :: (a -> b -> c) -> ExceptT e m a -> ExceptT e m b -> ExceptT e m c

(*>) :: ExceptT e m a -> ExceptT e m b -> ExceptT e m b

(<*) :: ExceptT e m a -> ExceptT e m b -> ExceptT e m a

MonadIO m => MonadIO (ExceptT e m)

Methods

liftIO :: IO a -> ExceptT e m a

AMPMonad m => MonadFailure (ExceptT e m)

Associated Types

type Failure (ExceptT e m :: * -> *) :: *

Methods

mFail :: Failure (ExceptT e m) -> ExceptT e m ()

MonadReader m => MonadReader (ExceptT e m)

Associated Types

type ReaderContext (ExceptT e m :: * -> *) :: *

Methods

ask :: ExceptT e m (ReaderContext (ExceptT e m))

type Failure (ExceptT e m)

type Failure (ExceptT e m) = e

type ReaderContext (ExceptT e m)

type ReaderContext (ExceptT e m) = ReaderContext m