io-classes-mtl-0.1.2.0: Experimental MTL instances for io-classes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Class.MonadThrow.Trans

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 #

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 #

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 #

(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 #

(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 #

(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 #

(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 #