Safe Haskell	None
Language	Haskell2010

Control.Monad.Class.MonadThrow.Trans

Contents

Orphan instances

Orphan instances

MonadCatch m => MonadCatch (ExceptT e m) Source #
Instance details Methods catch :: Exception e0 => ExceptT e m a -> (e0 -> ExceptT e m a) -> ExceptT e m a # catchJust :: Exception e0 => (e0 -> Maybe b) -> ExceptT e m a -> (b -> ExceptT e m a) -> ExceptT e m a # try :: Exception e0 => ExceptT e m a -> ExceptT e m (Either e0 a) # tryJust :: Exception e0 => (e0 -> Maybe b) -> ExceptT e m a -> ExceptT e m (Either b a) # handle :: Exception e0 => (e0 -> ExceptT e m a) -> ExceptT e m a -> ExceptT e m a # handleJust :: Exception e0 => (e0 -> Maybe b) -> (b -> ExceptT e m a) -> ExceptT e m a -> ExceptT e m a # onException :: ExceptT e m a -> ExceptT e m b -> ExceptT e m a # bracketOnError :: ExceptT e m a -> (a -> ExceptT e m b) -> (a -> ExceptT e m c) -> ExceptT e m c # generalBracket :: ExceptT e m a -> (a -> ExitCase b -> ExceptT e m c) -> (a -> ExceptT e m b) -> ExceptT e m (b, c) #
MonadCatch m => MonadCatch (StateT s m) Source #	Since: 1.0.0.0
Instance details Methods catch :: Exception e => StateT s m a -> (e -> StateT s m a) -> StateT s m a # catchJust :: Exception e => (e -> Maybe b) -> StateT s m a -> (b -> StateT s m a) -> StateT s m a # try :: Exception e => StateT s m a -> StateT s m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> StateT s m a -> StateT s m (Either b a) # handle :: Exception e => (e -> StateT s m a) -> StateT s m a -> StateT s m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> StateT s m a) -> StateT s m a -> StateT s m a # onException :: StateT s m a -> StateT s m b -> StateT s m a # bracketOnError :: StateT s m a -> (a -> StateT s m b) -> (a -> StateT s m c) -> StateT s m c # generalBracket :: StateT s m a -> (a -> ExitCase b -> StateT s m c) -> (a -> StateT s m b) -> StateT s m (b, c) #
MonadCatch m => MonadCatch (StateT s m) Source #	Since: 1.0.0.0
Instance details Methods catch :: Exception e => StateT s m a -> (e -> StateT s m a) -> StateT s m a # catchJust :: Exception e => (e -> Maybe b) -> StateT s m a -> (b -> StateT s m a) -> StateT s m a # try :: Exception e => StateT s m a -> StateT s m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> StateT s m a -> StateT s m (Either b a) # handle :: Exception e => (e -> StateT s m a) -> StateT s m a -> StateT s m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> StateT s m a) -> StateT s m a -> StateT s m a # onException :: StateT s m a -> StateT s m b -> StateT s m a # bracketOnError :: StateT s m a -> (a -> StateT s m b) -> (a -> StateT s m c) -> StateT s m c # generalBracket :: StateT s m a -> (a -> ExitCase b -> StateT s m c) -> (a -> StateT s m b) -> StateT s m (b, c) #
(Monoid w, MonadCatch m) => MonadCatch (WriterT w m) Source #	Since: 1.0.0.0
Instance details Methods catch :: Exception e => WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a # catchJust :: Exception e => (e -> Maybe b) -> WriterT w m a -> (b -> WriterT w m a) -> WriterT w m a # try :: Exception e => WriterT w m a -> WriterT w m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> WriterT w m a -> WriterT w m (Either b a) # handle :: Exception e => (e -> WriterT w m a) -> WriterT w m a -> WriterT w m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> WriterT w m a) -> WriterT w m a -> WriterT w m a # onException :: WriterT w m a -> WriterT w m b -> WriterT w m a # bracketOnError :: WriterT w m a -> (a -> WriterT w m b) -> (a -> WriterT w m c) -> WriterT w m c # generalBracket :: WriterT w m a -> (a -> ExitCase b -> WriterT w m c) -> (a -> WriterT w m b) -> WriterT w m (b, c) #
(Monoid w, MonadCatch m) => MonadCatch (WriterT w m) Source #	Since: 1.0.0.0
Instance details Methods catch :: Exception e => WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a # catchJust :: Exception e => (e -> Maybe b) -> WriterT w m a -> (b -> WriterT w m a) -> WriterT w m a # try :: Exception e => WriterT w m a -> WriterT w m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> WriterT w m a -> WriterT w m (Either b a) # handle :: Exception e => (e -> WriterT w m a) -> WriterT w m a -> WriterT w m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> WriterT w m a) -> WriterT w m a -> WriterT w m a # onException :: WriterT w m a -> WriterT w m b -> WriterT w m a # bracketOnError :: WriterT w m a -> (a -> WriterT w m b) -> (a -> WriterT w m c) -> WriterT w m c # generalBracket :: WriterT w m a -> (a -> ExitCase b -> WriterT w m c) -> (a -> WriterT w m b) -> WriterT w m (b, c) #
MonadMask m => MonadMask (ExceptT e m) Source #
Instance details Methods mask :: ((forall a. ExceptT e m a -> ExceptT e m a) -> ExceptT e m b) -> ExceptT e m b # uninterruptibleMask :: ((forall a. ExceptT e m a -> ExceptT e m a) -> ExceptT e m b) -> ExceptT e m b # mask_ :: ExceptT e m a -> ExceptT e m a # uninterruptibleMask_ :: ExceptT e m a -> ExceptT e m a #
MonadMask m => MonadMask (StateT s m) Source #	Since: 1.0.0.0
Instance details Methods mask :: ((forall a. StateT s m a -> StateT s m a) -> StateT s m b) -> StateT s m b # uninterruptibleMask :: ((forall a. StateT s m a -> StateT s m a) -> StateT s m b) -> StateT s m b # mask_ :: StateT s m a -> StateT s m a # uninterruptibleMask_ :: StateT s m a -> StateT s m a #
MonadMask m => MonadMask (StateT s m) Source #	Since: 1.0.0.0
Instance details Methods mask :: ((forall a. StateT s m a -> StateT s m a) -> StateT s m b) -> StateT s m b # uninterruptibleMask :: ((forall a. StateT s m a -> StateT s m a) -> StateT s m b) -> StateT s m b # mask_ :: StateT s m a -> StateT s m a # uninterruptibleMask_ :: StateT s m a -> StateT s m a #
(Monoid w, MonadMask m) => MonadMask (WriterT w m) Source #	Since: 1.0.0.0
Instance details Methods mask :: ((forall a. WriterT w m a -> WriterT w m a) -> WriterT w m b) -> WriterT w m b # uninterruptibleMask :: ((forall a. WriterT w m a -> WriterT w m a) -> WriterT w m b) -> WriterT w m b # mask_ :: WriterT w m a -> WriterT w m a # uninterruptibleMask_ :: WriterT w m a -> WriterT w m a #
(Monoid w, MonadMask m) => MonadMask (WriterT w m) Source #	Since: 1.0.0.0
Instance details Methods mask :: ((forall a. WriterT w m a -> WriterT w m a) -> WriterT w m b) -> WriterT w m b # uninterruptibleMask :: ((forall a. WriterT w m a -> WriterT w m a) -> WriterT w m b) -> WriterT w m b # mask_ :: WriterT w m a -> WriterT w m a # uninterruptibleMask_ :: WriterT w m a -> WriterT w m a #
MonadCatch m => MonadThrow (ExceptT e m) Source #
Instance details Methods throwIO :: Exception e0 => e0 -> ExceptT e m a # bracket :: ExceptT e m a -> (a -> ExceptT e m b) -> (a -> ExceptT e m c) -> ExceptT e m c # bracket_ :: ExceptT e m a -> ExceptT e m b -> ExceptT e m c -> ExceptT e m c # finally :: ExceptT e m a -> ExceptT e m b -> ExceptT e m a # annotateIO :: ExceptionAnnotation e0 => e0 -> ExceptT e m a -> ExceptT e m a #
MonadCatch m => MonadThrow (StateT s m) Source #	Since: 1.0.0.0
Instance details Methods throwIO :: Exception e => e -> StateT s m a # bracket :: StateT s m a -> (a -> StateT s m b) -> (a -> StateT s m c) -> StateT s m c # bracket_ :: StateT s m a -> StateT s m b -> StateT s m c -> StateT s m c # finally :: StateT s m a -> StateT s m b -> StateT s m a # annotateIO :: ExceptionAnnotation e => e -> StateT s m a -> StateT s m a #
MonadCatch m => MonadThrow (StateT s m) Source #	Since: 1.0.0.0
Instance details Methods throwIO :: Exception e => e -> StateT s m a # bracket :: StateT s m a -> (a -> StateT s m b) -> (a -> StateT s m c) -> StateT s m c # bracket_ :: StateT s m a -> StateT s m b -> StateT s m c -> StateT s m c # finally :: StateT s m a -> StateT s m b -> StateT s m a # annotateIO :: ExceptionAnnotation e => e -> StateT s m a -> StateT s m a #
(Monoid w, MonadCatch m) => MonadThrow (WriterT w m) Source #	Since: 1.0.0.0
Instance details Methods throwIO :: Exception e => e -> WriterT w m a # bracket :: WriterT w m a -> (a -> WriterT w m b) -> (a -> WriterT w m c) -> WriterT w m c # bracket_ :: WriterT w m a -> WriterT w m b -> WriterT w m c -> WriterT w m c # finally :: WriterT w m a -> WriterT w m b -> WriterT w m a # annotateIO :: ExceptionAnnotation e => e -> WriterT w m a -> WriterT w m a #
(Monoid w, MonadCatch m) => MonadThrow (WriterT w m) Source #	Since: 1.0.0.0
Instance details Methods throwIO :: Exception e => e -> WriterT w m a # bracket :: WriterT w m a -> (a -> WriterT w m b) -> (a -> WriterT w m c) -> WriterT w m c # bracket_ :: WriterT w m a -> WriterT w m b -> WriterT w m c -> WriterT w m c # finally :: WriterT w m a -> WriterT w m b -> WriterT w m a # annotateIO :: ExceptionAnnotation e => e -> WriterT w m a -> WriterT w m a #
(Monoid w, MonadCatch m) => MonadCatch (RWST r w s m) Source #	Since: 1.0.0.0
Instance details Methods catch :: Exception e => RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a # catchJust :: Exception e => (e -> Maybe b) -> RWST r w s m a -> (b -> RWST r w s m a) -> RWST r w s m a # try :: Exception e => RWST r w s m a -> RWST r w s m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> RWST r w s m a -> RWST r w s m (Either b a) # handle :: Exception e => (e -> RWST r w s m a) -> RWST r w s m a -> RWST r w s m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> RWST r w s m a) -> RWST r w s m a -> RWST r w s m a # onException :: RWST r w s m a -> RWST r w s m b -> RWST r w s m a # bracketOnError :: RWST r w s m a -> (a -> RWST r w s m b) -> (a -> RWST r w s m c) -> RWST r w s m c # generalBracket :: RWST r w s m a -> (a -> ExitCase b -> RWST r w s m c) -> (a -> RWST r w s m b) -> RWST r w s m (b, c) #
(Monoid w, MonadCatch m) => MonadCatch (RWST r w s m) Source #	Since: 1.0.0.0
Instance details Methods catch :: Exception e => RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a # catchJust :: Exception e => (e -> Maybe b) -> RWST r w s m a -> (b -> RWST r w s m a) -> RWST r w s m a # try :: Exception e => RWST r w s m a -> RWST r w s m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> RWST r w s m a -> RWST r w s m (Either b a) # handle :: Exception e => (e -> RWST r w s m a) -> RWST r w s m a -> RWST r w s m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> RWST r w s m a) -> RWST r w s m a -> RWST r w s m a # onException :: RWST r w s m a -> RWST r w s m b -> RWST r w s m a # bracketOnError :: RWST r w s m a -> (a -> RWST r w s m b) -> (a -> RWST r w s m c) -> RWST r w s m c # generalBracket :: RWST r w s m a -> (a -> ExitCase b -> RWST r w s m c) -> (a -> RWST r w s m b) -> RWST r w s m (b, c) #
(Monoid w, MonadMask m) => MonadMask (RWST r w s m) Source #	Since: 1.0.0.0
Instance details Methods mask :: ((forall a. RWST r w s m a -> RWST r w s m a) -> RWST r w s m b) -> RWST r w s m b # uninterruptibleMask :: ((forall a. RWST r w s m a -> RWST r w s m a) -> RWST r w s m b) -> RWST r w s m b # mask_ :: RWST r w s m a -> RWST r w s m a # uninterruptibleMask_ :: RWST r w s m a -> RWST r w s m a #
(Monoid w, MonadMask m) => MonadMask (RWST r w s m) Source #	Since: 1.0.0.0
Instance details Methods mask :: ((forall a. RWST r w s m a -> RWST r w s m a) -> RWST r w s m b) -> RWST r w s m b # uninterruptibleMask :: ((forall a. RWST r w s m a -> RWST r w s m a) -> RWST r w s m b) -> RWST r w s m b # mask_ :: RWST r w s m a -> RWST r w s m a # uninterruptibleMask_ :: RWST r w s m a -> RWST r w s m a #
(Monoid w, MonadCatch m) => MonadThrow (RWST r w s m) Source #	Since: 1.0.0.0
Instance details Methods throwIO :: Exception e => e -> RWST r w s m a # bracket :: RWST r w s m a -> (a -> RWST r w s m b) -> (a -> RWST r w s m c) -> RWST r w s m c # bracket_ :: RWST r w s m a -> RWST r w s m b -> RWST r w s m c -> RWST r w s m c # finally :: RWST r w s m a -> RWST r w s m b -> RWST r w s m a # annotateIO :: ExceptionAnnotation e => e -> RWST r w s m a -> RWST r w s m a #
(Monoid w, MonadCatch m) => MonadThrow (RWST r w s m) Source #	Since: 1.0.0.0
Instance details Methods throwIO :: Exception e => e -> RWST r w s m a # bracket :: RWST r w s m a -> (a -> RWST r w s m b) -> (a -> RWST r w s m c) -> RWST r w s m c # bracket_ :: RWST r w s m a -> RWST r w s m b -> RWST r w s m c -> RWST r w s m c # finally :: RWST r w s m a -> RWST r w s m b -> RWST r w s m a # annotateIO :: ExceptionAnnotation e => e -> RWST r w s m a -> RWST r w s m a #