Control.Monad.Class.MonadThrow.Trans

Orphan instances

MonadCatch m => MonadCatch (ExceptT e m)

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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)

Since: 1.0.0.0

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