Control.Monad.Exception

Documentation

exception :: Exception e => e -> α

evaluate :: MonadBase IO μ => α -> μ α

throw :: (MonadAbort SomeException μ, Exception e) => e -> μ α

throwIO :: (MonadBase IO μ, Exception e) => e -> μ α

catch :: (MonadRecover SomeException μ, Exception e) => μ α -> (e -> μ α) -> μ α

catchJust :: (MonadRecover SomeException μ, Exception e) => (e -> Maybe β) -> μ α -> (β -> μ α) -> μ α

handle :: (MonadRecover SomeException μ, Exception e) => (e -> μ α) -> μ α -> μ α

handleJust :: (MonadRecover SomeException μ, Exception e) => (e -> Maybe β) -> (β -> μ α) -> μ α -> μ α

data Handler μ α

Constructors

forall e . Exception e => Handler (e -> μ α)

catches :: MonadRecover SomeException μ => μ α -> [Handler μ α] -> μ α

try :: (MonadRecover SomeException μ, Exception e) => μ α -> μ (Either e α)

tryJust :: (MonadRecover SomeException μ, Exception e) => (e -> Maybe β) -> μ α -> μ (Either β α)

onException :: (MonadRecover SomeException μ, Exception e) => μ α -> (e -> μ β) -> μ α

onExceptions :: MonadRecover SomeException μ => μ α -> [Handler μ β] -> μ α

class (Applicative μ, Monad μ) => MonadFinally μ where

Methods

finally' :: μ α -> (Maybe α -> μ β) -> μ (α, β)

finally :: μ α -> μ β -> μ α

Instances

MonadFinally IO

MonadFinally Identity

MonadFinally μ => MonadFinally (ListT μ)

MonadFinally μ => MonadFinally (MaybeT μ)

(MonadFinally μ, Error e) => MonadFinally (ErrorT e μ)

MonadFinally μ => MonadFinally (ReaderT r μ)

MonadFinally μ => MonadFinally (StateT s μ)

MonadFinally μ => MonadFinally (StateT s μ)

(MonadFinally μ, Monoid w) => MonadFinally (WriterT w μ)

(MonadFinally μ, Monoid w) => MonadFinally (WriterT w μ)

MonadFinally μ => MonadFinally (AbortT e μ)

MonadFinally μ => MonadFinally (FinishT β μ)

(MonadFinally μ, Monoid w) => MonadFinally (RWST r w s μ)

(MonadFinally μ, Monoid w) => MonadFinally (RWST r w s μ)

onEscape :: MonadFinally μ => μ α -> μ β -> μ α

tryAll :: MonadFinally μ => [μ α] -> μ ()

class (Applicative μ, Monad μ, Ord m, Bounded m, Default m) => MonadMask m μ | μ -> m where

Methods

getMaskingState :: μ m

setMaskingState :: m -> μ α -> μ α

Instances

MonadMask () Identity

MonadMask MaskingState IO

MonadMask m μ => MonadMask m (ListT μ)

MonadMask m μ => MonadMask m (MaybeT μ)

(MonadMask m μ, Monoid w) => MonadMask m (WriterT w μ)

(MonadMask m μ, Monoid w) => MonadMask m (WriterT w μ)

MonadMask m μ => MonadMask m (StateT s μ)

MonadMask m μ => MonadMask m (StateT s μ)

MonadMask m μ => MonadMask m (ReaderT r μ)

(MonadMask m μ, Error e) => MonadMask m (ErrorT e μ)

MonadMask m μ => MonadMask m (FinishT β μ)

MonadMask m μ => MonadMask m (AbortT e μ)

(MonadMask m μ, Monoid w) => MonadMask m (RWST r w s μ)

(MonadMask m μ, Monoid w) => MonadMask m (RWST r w s μ)

mask :: MonadMask m μ => ((forall η β. MonadMask m η => η β -> η β) -> μ α) -> μ α

mask_ :: MonadMask m μ => μ α -> μ α

uninterruptibleMask :: MonadMask MaskingState μ => ((forall η β. MonadMask MaskingState η => η β -> η β) -> μ α) -> μ α

uninterruptibleMask_ :: MonadMask MaskingState μ => μ α -> μ α

bracket :: (MonadFinally μ, MonadMask m μ) => μ α -> (α -> μ β) -> (α -> μ γ) -> μ γ

bracket_ :: (MonadFinally μ, MonadMask m μ) => μ α -> μ β -> μ γ -> μ γ

bracketOnEscape :: (MonadFinally μ, MonadMask m μ) => μ α -> (α -> μ β) -> (α -> μ γ) -> μ γ

bracketOnError :: (MonadRecover e μ, MonadMask m μ) => μ α -> (α -> μ β) -> (α -> μ γ) -> μ γ

module Control.Monad.Abort.Class

module Control.Exception