Foundation.Monad.Except
newtype ExceptT e m a Source #
Constructors
Fields
Defined in Foundation.Monad.Except
Methods
lift :: Monad m => m a -> ExceptT e m a Source #
(>>=) :: ExceptT e m a -> (a -> ExceptT e m b) -> ExceptT e m b Source #
(>>) :: ExceptT e m a -> ExceptT e m b -> ExceptT e m b Source #
return :: a -> ExceptT e m a Source #
fmap :: (a -> b) -> ExceptT e m a -> ExceptT e m b Source #
(<$) :: a -> ExceptT e m b -> ExceptT e m a Source #
mfix :: (a -> ExceptT e m a) -> ExceptT e m a Source #
fail :: String -> ExceptT e m a Source #
pure :: a -> ExceptT e m a Source #
(<*>) :: ExceptT e m (a -> b) -> ExceptT e m a -> ExceptT e m b Source #
liftA2 :: (a -> b -> c) -> ExceptT e m a -> ExceptT e m b -> ExceptT e m c Source #
(*>) :: ExceptT e m a -> ExceptT e m b -> ExceptT e m b Source #
(<*) :: ExceptT e m a -> ExceptT e m b -> ExceptT e m a Source #
liftIO :: IO a -> ExceptT e m a Source #
Associated Types
type Failure ( ExceptT e m) Source #
mFail :: Failure ( ExceptT e m) -> ExceptT e m () Source #
type ReaderContext ( ExceptT e m) Source #
ask :: ExceptT e m ( ReaderContext ( ExceptT e m)) Source #