foundation-0.0.29: Alternative prelude with batteries and no dependencies
Safe Haskell None
Language Haskell2010

Foundation.Monad.Except

Documentation

newtype ExceptT e m a Source #

Constructors

ExceptT

Fields

Instances

Instances details
MonadTrans ( ExceptT e) Source #
Instance details

Defined in Foundation.Monad.Except

Methods

lift :: Monad m => m a -> ExceptT e m a Source #

Monad m => Monad ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Functor m => Functor ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Methods

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

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

( Monad m, MonadFix m) => MonadFix ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Methods

mfix :: (a -> ExceptT e m a) -> ExceptT e m a Source #

MonadFail m => MonadFail ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Monad m => Applicative ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

MonadIO m => MonadIO ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Monad m => MonadFailure ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Associated Types

type Failure ( ExceptT e m) Source #

MonadReader m => MonadReader ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

Associated Types

type ReaderContext ( ExceptT e m) Source #

type Failure ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except

type Failure ( ExceptT e m) = e
type ReaderContext ( ExceptT e m) Source #
Instance details

Defined in Foundation.Monad.Except