Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Network.Gitit.Compat.Except
Documentation
data ExceptT e (m :: Type -> Type) a #
Instances
MonadRWS r w s m => MonadRWS r w s (ExceptT e m) | |||||
Defined in Control.Monad.RWS.Class | |||||
Functor m => Generic1 (ExceptT e m :: Type -> Type) | |||||
Defined in Control.Monad.Trans.Except Associated Types
| |||||
FilterMonad a m => FilterMonad a (ExceptT e m) | |||||
WebMonad a m => WebMonad a (ExceptT e m) | |||||
Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> ExceptT e m b # | |||||
MonadBaseControl b m => MonadBaseControl b (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Control | |||||
MonadAccum w m => MonadAccum w (ExceptT e m) | |||||
Monad m => MonadError e (ExceptT e m) | |||||
Defined in Control.Monad.Error.Class Methods throwError :: e -> ExceptT e m a # catchError :: ExceptT e m a -> (e -> ExceptT e m a) -> ExceptT e m a # | |||||
MonadReader r m => MonadReader r (ExceptT e m) | |||||
MonadSelect r m => MonadSelect r (ExceptT e m) | |||||
Defined in Control.Monad.Select | |||||
MonadState s m => MonadState s (ExceptT e m) | |||||
MonadWriter w m => MonadWriter w (ExceptT e m) | |||||
MonadTransControl (ExceptT e) | |||||
MonadTrans (ExceptT e) | |||||
Defined in Control.Monad.Trans.Except | |||||
MonadFail m => MonadFail (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except | |||||
MonadFix m => MonadFix (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except | |||||
MonadIO m => MonadIO (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except | |||||
MonadZip m => MonadZip (ExceptT e m) | |||||
Foldable f => Foldable (ExceptT e f) | |||||
Defined in Control.Monad.Trans.Except Methods fold :: Monoid m => ExceptT e f m -> m foldMap :: Monoid m => (a -> m) -> ExceptT e f a -> m foldMap' :: Monoid m => (a -> m) -> ExceptT e f a -> m foldr :: (a -> b -> b) -> b -> ExceptT e f a -> b foldr' :: (a -> b -> b) -> b -> ExceptT e f a -> b foldl :: (b -> a -> b) -> b -> ExceptT e f a -> b foldl' :: (b -> a -> b) -> b -> ExceptT e f a -> b foldr1 :: (a -> a -> a) -> ExceptT e f a -> a foldl1 :: (a -> a -> a) -> ExceptT e f a -> a toList :: ExceptT e f a -> [a] length :: ExceptT e f a -> Int elem :: Eq a => a -> ExceptT e f a -> Bool maximum :: Ord a => ExceptT e f a -> a minimum :: Ord a => ExceptT e f a -> a | |||||
(Eq e, Eq1 m) => Eq1 (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except | |||||
(Ord e, Ord1 m) => Ord1 (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except Methods liftCompare :: (a -> b -> Ordering) -> ExceptT e m a -> ExceptT e m b -> Ordering | |||||
(Read e, Read1 m) => Read1 (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (ExceptT e m a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [ExceptT e m a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (ExceptT e m a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [ExceptT e m a] | |||||
(Show e, Show1 m) => Show1 (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> ExceptT e m a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [ExceptT e m a] -> ShowS | |||||
Contravariant m => Contravariant (ExceptT e m) | |||||
Traversable f => Traversable (ExceptT e f) | |||||
Defined in Control.Monad.Trans.Except | |||||
(Functor m, Monad m, Monoid e) => Alternative (ExceptT e m) | |||||
(Functor m, Monad m) => Applicative (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Except | |||||
Functor m => Functor (ExceptT e m) | |||||
Monad m => Monad (ExceptT e m) | |||||
(Monad m, Monoid e) => MonadPlus (ExceptT e m) | |||||
(Monad m, HasDynFlags m) => HasDynFlags (ExceptT e m) | |||||
Defined in GHC.Driver.DynFlags Methods getDynFlags :: ExceptT e m DynFlags | |||||
ServerMonad m => ServerMonad (ExceptT e m) | |||||
(Happstack m, Monoid e) => Happstack (ExceptT e m) | |||||
Defined in Happstack.Server.Monads | |||||
(Monad m, HasRqData m) => HasRqData (ExceptT e m) | |||||
Defined in Happstack.Server.RqData | |||||
MonadCont m => MonadCont (ExceptT e m) | |||||
Defined in Control.Monad.Cont.Class | |||||
PrimMonad m => PrimMonad (ExceptT e m) | |||||
Defined in Control.Monad.Primitive Associated Types
| |||||
MonadResource m => MonadResource (ExceptT e m) | |||||
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ExceptT e m a | |||||
Generic (ExceptT e m a) | |||||
Defined in Control.Monad.Trans.Except Associated Types
| |||||
(Read e, Read1 m, Read a) => Read (ExceptT e m a) | |||||
Defined in Control.Monad.Trans.Except | |||||
(Show e, Show1 m, Show a) => Show (ExceptT e m a) | |||||
(Eq e, Eq1 m, Eq a) => Eq (ExceptT e m a) | |||||
(Ord e, Ord1 m, Ord a) => Ord (ExceptT e m a) | |||||
Defined in Control.Monad.Trans.Except | |||||
type Rep1 (ExceptT e m :: Type -> Type) | |||||
Defined in Control.Monad.Trans.Except type Rep1 (ExceptT e m :: Type -> Type) = D1 ('MetaData "ExceptT" "Control.Monad.Trans.Except" "transformers-0.6.1.0-da7f" 'True) (C1 ('MetaCons "ExceptT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (m :.: Rec1 (Either e)))) | |||||
type StT (ExceptT e) a | |||||
Defined in Control.Monad.Trans.Control type StT (ExceptT e) a = Either e a | |||||
type PrimState (ExceptT e m) | |||||
Defined in Control.Monad.Primitive type PrimState (ExceptT e m) = PrimState m | |||||
type StM (ExceptT e m) a | |||||
Defined in Control.Monad.Trans.Control | |||||
type Rep (ExceptT e m a) | |||||
Defined in Control.Monad.Trans.Except type Rep (ExceptT e m a) = D1 ('MetaData "ExceptT" "Control.Monad.Trans.Except" "transformers-0.6.1.0-da7f" 'True) (C1 ('MetaCons "ExceptT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (m (Either e a))))) |
Minimal complete definition
Nothing
runExceptT :: ExceptT e m a -> m (Either e a) #
class Monad m => MonadError e (m :: Type -> Type) | m -> e #
Minimal complete definition
Instances
MonadError IOException IO | |
Defined in Control.Monad.Error.Class | |
MonadError PandocError PandocIO | |
Defined in Text.Pandoc.Class.PandocIO Methods throwError :: PandocError -> PandocIO a # catchError :: PandocIO a -> (PandocError -> PandocIO a) -> PandocIO a # | |
MonadError PandocError PandocPure | |
Defined in Text.Pandoc.Class.PandocPure Methods throwError :: PandocError -> PandocPure a # catchError :: PandocPure a -> (PandocError -> PandocPure a) -> PandocPure a # | |
MonadError String TokenizerM | |
Defined in Skylighting.Tokenizer Methods throwError :: String -> TokenizerM a # catchError :: TokenizerM a -> (String -> TokenizerM a) -> TokenizerM a # | |
MonadError () Maybe | |
Defined in Control.Monad.Error.Class | |
MonadError e (Either e) | |
Defined in Control.Monad.Error.Class | |
(Monad m, MonadError e m) => MonadError e (ServerPartT m) | |
Defined in Happstack.Server.Internal.Monads Methods throwError :: e -> ServerPartT m a # catchError :: ServerPartT m a -> (e -> ServerPartT m a) -> ServerPartT m a # | |
MonadError e m => MonadError e (WebT m) | |
Defined in Happstack.Server.Internal.Monads | |
MonadError e m => MonadError e (ResourceT m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods throwError :: e -> ResourceT m a # catchError :: ResourceT m a -> (e -> ResourceT m a) -> ResourceT m a # | |
MonadError e m => MonadError e (MaybeT m) | |
Defined in Control.Monad.Error.Class | |
(Monoid w, MonadError e m) => MonadError e (AccumT w m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> AccumT w m a # catchError :: AccumT w m a -> (e -> AccumT w m a) -> AccumT w m a # | |
Monad m => MonadError e (ExceptT e m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> ExceptT e m a # catchError :: ExceptT e m a -> (e -> ExceptT e m a) -> ExceptT e m a # | |
MonadError e m => MonadError e (IdentityT m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> IdentityT m a # catchError :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a # | |
MonadError e m => MonadError e (ReaderT r m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> ReaderT r m a # catchError :: ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a # | |
MonadError e m => MonadError e (StateT s m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a # catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a # | |
MonadError e m => MonadError e (StateT s m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a # catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a # | |
(Monoid w, MonadError e m) => MonadError e (WriterT w m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a # | |
(Monoid w, MonadError e m) => MonadError e (WriterT w m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a # | |
(Monoid w, MonadError e m) => MonadError e (WriterT w m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a # | |
MonadError e m => MonadError e (ConduitT i o m) | |
Defined in Data.Conduit.Internal.Conduit Methods throwError :: e -> ConduitT i o m a # catchError :: ConduitT i o m a -> (e -> ConduitT i o m a) -> ConduitT i o m a # | |
MonadError e m => MonadError e (ParsecT s u m) | |
Defined in Text.Parsec.Prim Methods throwError :: e -> ParsecT s u m a # catchError :: ParsecT s u m a -> (e -> ParsecT s u m a) -> ParsecT s u m a # | |
(Monoid w, MonadError e m) => MonadError e (RWST r w s m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a # | |
(Monoid w, MonadError e m) => MonadError e (RWST r w s m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a # | |
(Monoid w, MonadError e m) => MonadError e (RWST r w s m) | |
Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a # | |
MonadError e m => MonadError e (Pipe l i o u m) | |
Defined in Data.Conduit.Internal.Pipe Methods throwError :: e -> Pipe l i o u m a # catchError :: Pipe l i o u m a -> (e -> Pipe l i o u m a) -> Pipe l i o u m a # |
throwError :: MonadError e m => e -> m a #
catchError :: MonadError e m => m a -> (e -> m a) -> m a #