Copyright	(c) Alexey Kuleshevich 2020
License	BSD3
Maintainer	Alexey Kuleshevich <alexey@kuleshevi.ch>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Control.Prim.Exception

Description

Synopsis

module Control.Prim.Monad.Throw
isSyncException :: Exception e => e -> Bool
isAsyncException :: Exception e => e -> Bool
throwPrim :: (Exception e, MonadPrim s m) => e -> m a
catch :: forall e a m. (Exception e, MonadUnliftPrim RW m) => m a -> (e -> m a) -> m a
catchAny :: forall a m. MonadUnliftPrim RW m => m a -> (SomeException -> m a) -> m a
catchAnySync :: forall a m. MonadUnliftPrim RW m => m a -> (SomeException -> m a) -> m a
catchAll :: forall a m. MonadUnliftPrim RW m => m a -> (forall e. Exception e => e -> m a) -> m a
catchAllSync :: forall a m. MonadUnliftPrim RW m => m a -> (forall e. Exception e => e -> m a) -> m a
maskAsyncExceptions :: forall a m. MonadUnliftPrim RW m => m a -> m a
unmaskAsyncExceptions :: forall a m. MonadUnliftPrim RW m => m a -> m a
maskUninterruptible :: forall a m. MonadUnliftPrim RW m => m a -> m a
getMaskingState :: MonadPrim RW m => m MaskingState
throwTo :: (MonadPrim RW m, Exception e) => ThreadId -> e -> m ()

Documentation

module Control.Prim.Monad.Throw

isSyncException :: Exception e => e -> Bool Source #

isAsyncException :: Exception e => e -> Bool Source #

throwPrim :: (Exception e, MonadPrim s m) => e -> m a Source #

This is the same as throwM, but restricted to MonadPrim

catch :: forall e a m. (Exception e, MonadUnliftPrim RW m) => m a -> (e -> m a) -> m a Source #

catchAny :: forall a m. MonadUnliftPrim RW m => m a -> (SomeException -> m a) -> m a Source #

catchAnySync :: forall a m. MonadUnliftPrim RW m => m a -> (SomeException -> m a) -> m a Source #

catchAll :: forall a m. MonadUnliftPrim RW m => m a -> (forall e. Exception e => e -> m a) -> m a Source #

catchAllSync :: forall a m. MonadUnliftPrim RW m => m a -> (forall e. Exception e => e -> m a) -> m a Source #

maskAsyncExceptions :: forall a m. MonadUnliftPrim RW m => m a -> m a Source #

unmaskAsyncExceptions :: forall a m. MonadUnliftPrim RW m => m a -> m a Source #

maskUninterruptible :: forall a m. MonadUnliftPrim RW m => m a -> m a Source #

getMaskingState :: MonadPrim RW m => m MaskingState Source #

Same as getMaskingState, but generalized to MonadPrim

throwTo :: (MonadPrim RW m, Exception e) => ThreadId -> e -> m () Source #

Similar to throwTo from unliftio this will wrap any known non-async exception with SomeAsyncException, because otherwise semantics of throwTo with respect to asynchronous exceptions are violated.