| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Foundation.Monad.Except
Documentation
newtype ExceptT e (m :: Type -> Type) a #
Constructors
| ExceptT | |
Fields
| |
Instances
| MonadTrans (ExceptT e) # | |||||
Defined in Foundation.Monad.Except | |||||
| MonadFail m => MonadFail (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except | |||||
| (Monad m, MonadFix m) => MonadFix (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except | |||||
| MonadIO m => MonadIO (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except | |||||
| Monad m => Applicative (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except | |||||
| Functor m => Functor (ExceptT e m) # | |||||
| Monad m => Monad (ExceptT e m) # | |||||
| Monad m => MonadFailure (ExceptT e m) # | |||||
| MonadReader m => MonadReader (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except Associated Types
Methods ask :: ExceptT e m (ReaderContext (ExceptT e m)) # | |||||
| type Failure (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except | |||||
| type ReaderContext (ExceptT e m) # | |||||
Defined in Foundation.Monad.Except | |||||