foundation-0.0.30: Alternative prelude with batteries and no dependencies
Safe HaskellNone
LanguageHaskell2010

Foundation.Monad.Except

Documentation

newtype ExceptT e (m :: Type -> Type) 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 #

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

Defined in Foundation.Monad.Except

Methods

fail :: String -> ExceptT e m a #

(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 #

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

Defined in Foundation.Monad.Except

Methods

liftIO :: IO a -> ExceptT e m a #

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

Defined in Foundation.Monad.Except

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 #

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 #

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

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

Defined in Foundation.Monad.Except

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 #

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

Defined in Foundation.Monad.Except

Associated Types

type Failure (ExceptT e m) 
Instance details

Defined in Foundation.Monad.Except

type Failure (ExceptT e m) = e

Methods

mFail :: Failure (ExceptT e m) -> 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) 
Instance details

Defined in Foundation.Monad.Except

type ReaderContext (ExceptT e m) = ReaderContext m

Methods

ask :: ExceptT e m (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

type ReaderContext (ExceptT e m) = ReaderContext m