Safe Haskell	Safe-Inferred
Language	Haskell2010

Distribution.Compat.MonadFail

Description

Compatibility layer for Control.Monad.Fail

Documentation

class Monad m => MonadFail (m :: Type -> Type) where #

Methods

fail :: HasCallStack => String -> m a #

Instances

Instances details

MonadFail ParsecParser Source #
Instance details Defined in Distribution.Parsec Methods fail :: HasCallStack => String -> ParsecParser a #
MonadFail Get Source #
Instance details Defined in Data.Binary.Get.Internal Methods fail :: HasCallStack => String -> Get a #
MonadFail P #
Instance details Defined in GHC.Internal.Text.ParserCombinators.ReadP Methods fail :: HasCallStack => String -> P a #
MonadFail ReadP #
Instance details Defined in GHC.Internal.Text.ParserCombinators.ReadP Methods fail :: HasCallStack => String -> ReadP a #
MonadFail ReadPrec #
Instance details Defined in GHC.Internal.Text.ParserCombinators.ReadPrec Methods fail :: HasCallStack => String -> ReadPrec a #
MonadFail IO #
Instance details Defined in GHC.Internal.Control.Monad.Fail Methods fail :: HasCallStack => String -> IO a #
MonadFail Maybe #
Instance details Defined in GHC.Internal.Control.Monad.Fail Methods fail :: HasCallStack => String -> Maybe a #
MonadFail [] #
Instance details Defined in GHC.Internal.Control.Monad.Fail Methods fail :: HasCallStack => String -> [a] #
Monad m => MonadFail (MaybeT m) Source #
Instance details Defined in Control.Monad.Trans.Maybe Methods fail :: HasCallStack => String -> MaybeT m a #
MonadFail f => MonadFail (Ap f) #
Instance details Defined in GHC.Internal.Data.Monoid Methods fail :: HasCallStack => String -> Ap f a #
(Monoid w, MonadFail m) => MonadFail (AccumT w m) Source #
Instance details Defined in Control.Monad.Trans.Accum Methods fail :: HasCallStack => String -> AccumT w m a #
MonadFail m => MonadFail (ExceptT e m) Source #
Instance details Defined in Control.Monad.Trans.Except Methods fail :: HasCallStack => String -> ExceptT e m a #
MonadFail m => MonadFail (IdentityT m) Source #
Instance details Defined in Control.Monad.Trans.Identity Methods fail :: HasCallStack => String -> IdentityT m a #
MonadFail m => MonadFail (ReaderT r m) Source #
Instance details Defined in Control.Monad.Trans.Reader Methods fail :: HasCallStack => String -> ReaderT r m a #
MonadFail m => MonadFail (SelectT r m) Source #
Instance details Defined in Control.Monad.Trans.Select Methods fail :: HasCallStack => String -> SelectT r m a #
MonadFail m => MonadFail (StateT s m) Source #
Instance details Defined in Control.Monad.Trans.State.Lazy Methods fail :: HasCallStack => String -> StateT s m a #
MonadFail m => MonadFail (StateT s m) Source #
Instance details Defined in Control.Monad.Trans.State.Strict Methods fail :: HasCallStack => String -> StateT s m a #
MonadFail m => MonadFail (WriterT w m) Source #
Instance details Defined in Control.Monad.Trans.Writer.CPS Methods fail :: HasCallStack => String -> WriterT w m a #
(Monoid w, MonadFail m) => MonadFail (WriterT w m) Source #
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods fail :: HasCallStack => String -> WriterT w m a #
(Monoid w, MonadFail m) => MonadFail (WriterT w m) Source #
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods fail :: HasCallStack => String -> WriterT w m a #
MonadFail m => MonadFail (Reverse m) Source #
Instance details Defined in Data.Functor.Reverse Methods fail :: HasCallStack => String -> Reverse m a #
MonadFail (ParsecT s u m) Source #	Since: parsec-3.1.12.0
Instance details Defined in Text.Parsec.Prim Methods fail :: HasCallStack => String -> ParsecT s u m a #
MonadFail m => MonadFail (ContT r m) Source #
Instance details Defined in Control.Monad.Trans.Cont Methods fail :: HasCallStack => String -> ContT r m a #
MonadFail m => MonadFail (RWST r w s m) Source #
Instance details Defined in Control.Monad.Trans.RWS.CPS Methods fail :: HasCallStack => String -> RWST r w s m a #
(Monoid w, MonadFail m) => MonadFail (RWST r w s m) Source #
Instance details Defined in Control.Monad.Trans.RWS.Lazy Methods fail :: HasCallStack => String -> RWST r w s m a #
(Monoid w, MonadFail m) => MonadFail (RWST r w s m) Source #
Instance details Defined in Control.Monad.Trans.RWS.Strict Methods fail :: HasCallStack => String -> RWST r w s m a #