Control.Exception.Lens

Control.Exception provides an example of a large open hierarchy that we can model with prisms and isomorphisms.

Additional combinators for working with IOException results can be found in System.IO.Error.Lens.

The combinators in this module have been generalized to work with MonadCatch instead of just IO. This enables them to be used more easily in Monad transformer stacks.

Handling

catching :: MonadCatch m => Getting (First a) SomeException a -> m r -> (a -> m r) -> m r

Catch exceptions that match a given ReifiedPrism (or any ReifiedFold, really).

>>> catching _AssertionFailed (assert False (return "uncaught")) $ \ _ -> return "caught"
"caught"

catching :: MonadCatch m => Prism' SomeException a     -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => Lens' SomeException a      -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => Traversal' SomeException a -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => Iso' SomeException a       -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => ReifiedGetter SomeException a     -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => ReifiedFold SomeException a       -> m r -> (a -> m r) -> m r

catching_ :: MonadCatch m => Getting (First a) SomeException a -> m r -> m r -> m r

Catch exceptions that match a given ReifiedPrism (or any ReifiedGetter), discarding the information about the match. This is particularly useful when you have a Prism' e () where the result of the ReifiedPrism or ReifiedFold isn't particularly valuable, just the fact that it matches.

>>> catching_ _AssertionFailed (assert False (return "uncaught")) $ return "caught"
"caught"

catching_ :: MonadCatch m => Prism' SomeException a     -> m r -> m r -> m r
catching_ :: MonadCatch m => Lens' SomeException a      -> m r -> m r -> m r
catching_ :: MonadCatch m => Traversal' SomeException a -> m r -> m r -> m r
catching_ :: MonadCatch m => Iso' SomeException a       -> m r -> m r -> m r
catching_ :: MonadCatch m => ReifiedGetter SomeException a     -> m r -> m r -> m r
catching_ :: MonadCatch m => ReifiedFold SomeException a       -> m r -> m r -> m r

handling :: MonadCatch m => Getting (First a) SomeException a -> (a -> m r) -> m r -> m r

A version of catching with the arguments swapped around; useful in situations where the code for the handler is shorter.

>>> handling _NonTermination (\_ -> return "caught") $ throwIO NonTermination
"caught"

handling :: MonadCatch m => Prism' SomeException a     -> (a -> m r) -> m r -> m r
handling :: MonadCatch m => Lens' SomeException a      -> (a -> m r) -> m r -> m r
handling :: MonadCatch m => Traversal' SomeException a -> (a -> m r) -> m r -> m r
handling :: MonadCatch m => Iso' SomeException a       -> (a -> m r) -> m r -> m r
handling :: MonadCatch m => ReifiedFold SomeException a       -> (a -> m r) -> m r -> m r
handling :: MonadCatch m => ReifiedGetter SomeException a     -> (a -> m r) -> m r -> m r

handling_ :: MonadCatch m => Getting (First a) SomeException a -> m r -> m r -> m r

A version of catching_ with the arguments swapped around; useful in situations where the code for the handler is shorter.

>>> handling_ _NonTermination (return "caught") $ throwIO NonTermination
"caught"

handling_ :: MonadCatch m => Prism' SomeException a     -> m r -> m r -> m r
handling_ :: MonadCatch m => Lens' SomeException a      -> m r -> m r -> m r
handling_ :: MonadCatch m => Traversal' SomeException a -> m r -> m r -> m r
handling_ :: MonadCatch m => Iso' SomeException a       -> m r -> m r -> m r
handling_ :: MonadCatch m => ReifiedGetter SomeException a     -> m r -> m r -> m r
handling_ :: MonadCatch m => ReifiedFold SomeException a       -> m r -> m r -> m r

Trying

trying :: MonadCatch m => Getting (First a) SomeException a -> m r -> m (Either a r)

A variant of try that takes a ReifiedPrism (or any ReifiedFold) to select which exceptions are caught (c.f. tryJust, catchJust). If the Exception does not match the predicate, it is re-thrown.

trying :: MonadCatch m => Prism'     SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => Lens'      SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => Traversal' SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => Iso'       SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => ReifiedGetter     SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => ReifiedFold       SomeException a -> m r -> m (Either a r)

trying_ :: MonadCatch m => Getting (First a) SomeException a -> m r -> m (Maybe r)

A version of trying that discards the specific exception thrown.

trying_ :: MonadCatch m => Prism'     SomeException a -> m r -> m (Maybe r)
trying_ :: MonadCatch m => Lens'      SomeException a -> m r -> m (Maybe r)
trying_ :: MonadCatch m => Traversal' SomeException a -> m r -> m (Maybe r)
trying_ :: MonadCatch m => Iso'       SomeException a -> m r -> m (Maybe r)
trying_ :: MonadCatch m => ReifiedGetter     SomeException a -> m r -> m (Maybe r)
trying_ :: MonadCatch m => ReifiedFold       SomeException a -> m r -> m (Maybe r)

Throwing

throwing :: AReview SomeException b -> b -> r

Throw an Exception described by a ReifiedPrism. Exceptions may be thrown from purely functional code, but may only be caught within the IO Monad.

throwing l ≡ reviews l throw

throwing :: Prism' SomeException t -> t -> r
throwing :: Iso' SomeException t   -> t -> r

throwing_ :: AReview SomeException () -> m x

Similar to throwing but specialised for the common case of error constructors with no arguments.

data MyError = Foo | Bar
makePrisms ''MyError
throwing_ _Foo :: MonadError MyError m => m a

throwingM :: MonadThrow m => AReview SomeException b -> b -> m r

A variant of throwing that can only be used within the IO Monad (or any other MonadCatch instance) to throw an Exception described by a ReifiedPrism.

Although throwingM has a type that is a specialization of the type of throwing, the two functions are subtly different:

throwing l e `seq` x  ≡ throwing e
throwingM l e `seq` x ≡ x

The first example will cause the Exception e to be raised, whereas the second one won't. In fact, throwingM will only cause an Exception to be raised when it is used within the MonadCatch instance. The throwingM variant should be used in preference to throwing to raise an Exception within the Monad because it guarantees ordering with respect to other monadic operations, whereas throwing does not.

throwingM l ≡ reviews l throw

throwingM :: MonadThrow m => Prism' SomeException t -> t -> m r
throwingM :: MonadThrow m => Iso' SomeException t   -> t -> m r

throwingTo :: MonadIO m => ThreadId -> AReview SomeException b -> b -> m ()

throwingTo raises an Exception specified by a ReifiedPrism in the target thread.

throwingTo thread l ≡ reviews l (throwTo thread)

throwingTo :: ThreadId -> Prism' SomeException t -> t -> m a
throwingTo :: ThreadId -> Iso' SomeException t   -> t -> m a

Mapping

mappedException :: (Exception e, Exception e') => Setter s s e e'

This ReifiedSetter can be used to purely map over the Exceptions an arbitrary expression might throw; it is a variant of mapException in the same way that mapped is a variant of fmap.

'mapException' ≡ 'over' 'mappedException'

This view that every Haskell expression can be regarded as carrying a bag of Exceptions is detailed in “A Semantics for Imprecise Exceptions” by Peyton Jones & al. at PLDI ’99.

The following maps failed assertions to arithmetic overflow:

>>> handling _Overflow (\_ -> return "caught") $ assert False (return "uncaught") & mappedException %~ \ (AssertionFailed _) -> Overflow
"caught"

mappedException' :: Exception e' => Setter s s SomeException e'

This is a type restricted version of mappedException, which avoids the type ambiguity in the input Exception when using set.

The following maps any exception to arithmetic overflow:

>>> handling _Overflow (\_ -> return "caught") $ assert False (return "uncaught") & mappedException' .~ Overflow
"caught"

Exceptions

exception :: Exception a => Prism' SomeException a

Traverse the strongly typed Exception contained in SomeException where the type of your function matches the desired Exception.

exception :: (Applicative f, Exception a)
          => (a -> f a) -> SomeException -> f SomeException

pattern Exception :: forall a. Exception a => a -> SomeException

Exception Handlers

class Handleable e (m :: * -> *) (h :: * -> *) | h -> e m where

Both exceptions and Control.Exception provide a Handler type.

This lets us write combinators to build handlers that are agnostic about the choice of which of these they use.

Minimal complete definition

handler

Methods

handler :: Typeable a => Getting (First a) e a -> (a -> m r) -> h r

This builds a Handler for just the targets of a given Prism (or any Getter, really).

catches ... [ handler _AssertionFailed (s -> print $ "Assertion Failed\n" ++ s)
            , handler _ErrorCall (s -> print $ "Error\n" ++ s)
            ]

This works ith both the Handler type provided by Control.Exception:

handler :: Getter     SomeException a -> (a -> IO r) -> Handler r
handler :: Fold       SomeException a -> (a -> IO r) -> Handler r
handler :: Prism'     SomeException a -> (a -> IO r) -> Handler r
handler :: Lens'      SomeException a -> (a -> IO r) -> Handler r
handler :: Traversal' SomeException a -> (a -> IO r) -> Handler r

and with the Handler type provided by Control.Monad.Catch:

handler :: Getter     SomeException a -> (a -> m r) -> Handler m r
handler :: Fold       SomeException a -> (a -> m r) -> Handler m r
handler :: Prism'     SomeException a -> (a -> m r) -> Handler m r
handler :: Lens'      SomeException a -> (a -> m r) -> Handler m r
handler :: Traversal' SomeException a -> (a -> m r) -> Handler m r

and with the Handler type provided by Control.Monad.Error.Lens:

handler :: Getter     e a -> (a -> m r) -> Handler e m r
handler :: Fold       e a -> (a -> m r) -> Handler e m r
handler :: Prism'     e a -> (a -> m r) -> Handler e m r
handler :: Lens'      e a -> (a -> m r) -> Handler e m r
handler :: Traversal' e a -> (a -> m r) -> Handler e m r

handler_ :: Typeable a => Getting (First a) e a -> m r -> h r

This builds a Handler for just the targets of a given Prism (or any Getter, really). that ignores its input and just recovers with the stated monadic action.

catches ... [ handler_ _NonTermination (return "looped")
            , handler_ _StackOverflow (return "overflow")
            ]

This works with the Handler type provided by Control.Exception:

handler_ :: Getter     SomeException a -> IO r -> Handler r
handler_ :: Fold       SomeException a -> IO r -> Handler r
handler_ :: Prism'     SomeException a -> IO r -> Handler r
handler_ :: Lens'      SomeException a -> IO r -> Handler r
handler_ :: Traversal' SomeException a -> IO r -> Handler r

and with the Handler type provided by Control.Monad.Catch:

handler_ :: Getter     SomeException a -> m r -> Handler m r
handler_ :: Fold       SomeException a -> m r -> Handler m r
handler_ :: Prism'     SomeException a -> m r -> Handler m r
handler_ :: Lens'      SomeException a -> m r -> Handler m r
handler_ :: Traversal' SomeException a -> m r -> Handler m r

and with the Handler type provided by Control.Monad.Error.Lens:

handler_ :: Getter     e a -> m r -> Handler e m r
handler_ :: Fold       e a -> m r -> Handler e m r
handler_ :: Prism'     e a -> m r -> Handler e m r
handler_ :: Lens'      e a -> m r -> Handler e m r
handler_ :: Traversal' e a -> m r -> Handler e m r

Instances

Handleable SomeException IO Handler

Defined in Control.Lens.Internal.Exception

Methods

handler :: Typeable a => Getting (First a) SomeException a -> (a -> IO r) -> Handler r

handler_ :: Typeable a => Getting (First a) SomeException a -> IO r -> Handler r

Typeable m => Handleable SomeException m (Handler m)

Defined in Control.Lens.Internal.Exception

Methods

handler :: Typeable a => Getting (First a) SomeException a -> (a -> m r) -> Handler m r

handler_ :: Typeable a => Getting (First a) SomeException a -> m r -> Handler m r

Handleable e m (Handler e m)

Defined in Control.Monad.Error.Lens

Methods

handler :: Typeable a => Getting (First a) e a -> (a -> m r) -> Handler e m r

handler_ :: Typeable a => Getting (First a) e a -> m r -> Handler e m r

IOExceptions

class AsIOException t where

Exceptions that occur in the IO Monad. An IOException records a more specific error type, a descriptive string and maybe the handle that was used when the error was flagged.

Due to their richer structure relative to other exceptions, these have a more carefully overloaded signature.

Methods

_IOException :: Prism' t IOException

Unfortunately the name ioException is taken by base for throwing IOExceptions.

_IOException :: Prism' IOException IOException
_IOException :: Prism' SomeException IOException

Many combinators for working with an IOException are available in System.IO.Error.Lens.

Instances

AsIOException IOException

Defined in Control.Exception.Lens

Methods

_IOException :: Prism' IOException IOException

AsIOException SomeException

Defined in Control.Exception.Lens

Methods

_IOException :: Prism' SomeException IOException

pattern IOException_ :: forall s. AsIOException s => IOException -> s

Arithmetic Exceptions

class AsArithException t where

Arithmetic exceptions.

Methods

_ArithException :: Prism' t ArithException

_ArithException :: Prism' ArithException ArithException
_ArithException :: Prism' SomeException  ArithException

Instances

AsArithException ArithException

Defined in Control.Exception.Lens

Methods

_ArithException :: Prism' ArithException ArithException

AsArithException SomeException

Defined in Control.Exception.Lens

Methods

_ArithException :: Prism' SomeException ArithException

_Overflow :: AsArithException t => Prism' t ()

Handle arithmetic _Overflow.

_Overflow ≡ _ArithException . _Overflow

_Overflow :: Prism' ArithException ArithException
_Overflow :: Prism' SomeException  ArithException

_Underflow :: AsArithException t => Prism' t ()

Handle arithmetic _Underflow.

_Underflow ≡ _ArithException . _Underflow

_Underflow :: Prism' ArithException ArithException
_Underflow :: Prism' SomeException  ArithException

_LossOfPrecision :: AsArithException t => Prism' t ()

Handle arithmetic loss of precision.

_LossOfPrecision ≡ _ArithException . _LossOfPrecision

_LossOfPrecision :: Prism' ArithException ArithException
_LossOfPrecision :: Prism' SomeException  ArithException

_DivideByZero :: AsArithException t => Prism' t ()

Handle division by zero.

_DivideByZero ≡ _ArithException . _DivideByZero

_DivideByZero :: Prism' ArithException ArithException
_DivideByZero :: Prism' SomeException  ArithException

_Denormal :: AsArithException t => Prism' t ()

Handle exceptional _Denormalized floating pure.

_Denormal ≡ _ArithException . _Denormal

_Denormal :: Prism' ArithException ArithException
_Denormal :: Prism' SomeException  ArithException

_RatioZeroDenominator :: AsArithException t => Prism' t ()

Added in base 4.6 in response to this libraries discussion:

http://haskell.1045720.n5.nabble.com/Data-Ratio-and-exceptions-td5711246.html

_RatioZeroDenominator ≡ _ArithException . _RatioZeroDenominator

_RatioZeroDenominator :: Prism' ArithException ArithException
_RatioZeroDenominator :: Prism' SomeException  ArithException

pattern ArithException_ :: forall s. AsArithException s => ArithException -> s

pattern Overflow_ :: forall s. AsArithException s => s

pattern Underflow_ :: forall s. AsArithException s => s

pattern LossOfPrecision_ :: forall s. AsArithException s => s

pattern DivideByZero_ :: forall s. AsArithException s => s

pattern Denormal_ :: forall s. AsArithException s => s

pattern RatioZeroDenominator_ :: forall s. AsArithException s => s

Array Exceptions

class AsArrayException t where

Exceptions generated by array operations.

Methods

_ArrayException :: Prism' t ArrayException

Extract information about an ArrayException.

_ArrayException :: Prism' ArrayException ArrayException
_ArrayException :: Prism' SomeException  ArrayException

Instances

AsArrayException ArrayException

Defined in Control.Exception.Lens

Methods

_ArrayException :: Prism' ArrayException ArrayException

AsArrayException SomeException

Defined in Control.Exception.Lens

Methods

_ArrayException :: Prism' SomeException ArrayException

_IndexOutOfBounds :: AsArrayException t => Prism' t String

An attempt was made to index an array outside its declared bounds.

_IndexOutOfBounds ≡ _ArrayException . _IndexOutOfBounds

_IndexOutOfBounds :: Prism' ArrayException String
_IndexOutOfBounds :: Prism' SomeException  String

_UndefinedElement :: AsArrayException t => Prism' t String

An attempt was made to evaluate an element of an array that had not been initialized.

_UndefinedElement ≡ _ArrayException . _UndefinedElement

_UndefinedElement :: Prism' ArrayException String
_UndefinedElement :: Prism' SomeException  String

pattern ArrayException_ :: forall s. AsArrayException s => ArrayException -> s

pattern IndexOutOfBounds_ :: forall s. AsArrayException s => String -> s

pattern UndefinedElement_ :: forall s. AsArrayException s => String -> s

Assertion Failed

class AsAssertionFailed t where

assert was applied to False.

Minimal complete definition

__AssertionFailed

Methods

__AssertionFailed :: Prism' t AssertionFailed

__AssertionFailed :: Prism' AssertionFailed AssertionFailed
__AssertionFailed :: Prism' SomeException   AssertionFailed

_AssertionFailed :: Prism' t String

This Exception contains provides information about what assertion failed in the String.

>>> handling _AssertionFailed (\ xs -> "caught" <$ guard ("<interactive>" `isInfixOf` xs) ) $ assert False (return "uncaught")
"caught"

_AssertionFailed :: Prism' AssertionFailed String
_AssertionFailed :: Prism' SomeException   String

Instances

AsAssertionFailed AssertionFailed

Defined in Control.Exception.Lens

Methods

__AssertionFailed :: Prism' AssertionFailed AssertionFailed

_AssertionFailed :: Prism' AssertionFailed String

AsAssertionFailed SomeException

Defined in Control.Exception.Lens

Methods

__AssertionFailed :: Prism' SomeException AssertionFailed

_AssertionFailed :: Prism' SomeException String

pattern AssertionFailed__ :: forall s. AsAssertionFailed s => AssertionFailed -> s

pattern AssertionFailed_ :: forall s. AsAssertionFailed s => String -> s

Async Exceptions

class AsAsyncException t where

Asynchronous exceptions.

Methods

_AsyncException :: Prism' t AsyncException

There are several types of AsyncException.

_AsyncException :: Equality' AsyncException AsyncException
_AsyncException :: Prism'    SomeException  AsyncException

Instances

AsAsyncException AsyncException

Defined in Control.Exception.Lens

Methods

_AsyncException :: Prism' AsyncException AsyncException

AsAsyncException SomeException

Defined in Control.Exception.Lens

Methods

_AsyncException :: Prism' SomeException AsyncException

_StackOverflow :: AsAsyncException t => Prism' t ()

The current thread's stack exceeded its limit. Since an Exception has been raised, the thread's stack will certainly be below its limit again, but the programmer should take remedial action immediately.

_StackOverflow :: Prism' AsyncException ()
_StackOverflow :: Prism' SomeException  ()

_HeapOverflow :: AsAsyncException t => Prism' t ()

The program's heap is reaching its limit, and the program should take action to reduce the amount of live data it has.

Notes:

• It is undefined which thread receives this Exception.
• GHC currently does not throw HeapOverflow exceptions.

_HeapOverflow :: Prism' AsyncException ()
_HeapOverflow :: Prism' SomeException  ()

_ThreadKilled :: AsAsyncException t => Prism' t ()

This Exception is raised by another thread calling killThread, or by the system if it needs to terminate the thread for some reason.

_ThreadKilled :: Prism' AsyncException ()
_ThreadKilled :: Prism' SomeException  ()

_UserInterrupt :: AsAsyncException t => Prism' t ()

This Exception is raised by default in the main thread of the program when the user requests to terminate the program via the usual mechanism(s) (e.g. Control-C in the console).

_UserInterrupt :: Prism' AsyncException ()
_UserInterrupt :: Prism' SomeException  ()

pattern AsyncException_ :: forall s. AsAsyncException s => AsyncException -> s

pattern StackOverflow_ :: forall s. AsAsyncException s => s

pattern HeapOverflow_ :: forall s. AsAsyncException s => s

pattern ThreadKilled_ :: forall s. AsAsyncException s => s

pattern UserInterrupt_ :: forall s. AsAsyncException s => s

Non-Termination

class AsNonTermination t where

Thrown when the runtime system detects that the computation is guaranteed not to terminate. Note that there is no guarantee that the runtime system will notice whether any given computation is guaranteed to terminate or not.

Minimal complete definition

__NonTermination

Methods

__NonTermination :: Prism' t NonTermination

__NonTermination :: Prism' NonTermination NonTermination
__NonTermination :: Prism' SomeException  NonTermination

_NonTermination :: Prism' t ()

There is no additional information carried in a NonTermination Exception.

_NonTermination :: Prism' NonTermination ()
_NonTermination :: Prism' SomeException  ()

Instances

AsNonTermination NonTermination

Defined in Control.Exception.Lens

Methods

__NonTermination :: Prism' NonTermination NonTermination

_NonTermination :: Prism' NonTermination ()

AsNonTermination SomeException

Defined in Control.Exception.Lens

Methods

__NonTermination :: Prism' SomeException NonTermination

_NonTermination :: Prism' SomeException ()

pattern NonTermination__ :: forall s. AsNonTermination s => NonTermination -> s

pattern NonTermination_ :: forall s. AsNonTermination s => s

Nested Atomically

class AsNestedAtomically t where

Thrown when the program attempts to call atomically, from the STM package, inside another call to atomically.

Minimal complete definition

__NestedAtomically

Methods

__NestedAtomically :: Prism' t NestedAtomically

__NestedAtomically :: Prism' NestedAtomically NestedAtomically
__NestedAtomically :: Prism' SomeException    NestedAtomically

_NestedAtomically :: Prism' t ()

There is no additional information carried in a NestedAtomically Exception.

_NestedAtomically :: Prism' NestedAtomically ()
_NestedAtomically :: Prism' SomeException    ()

Instances

AsNestedAtomically NestedAtomically

Defined in Control.Exception.Lens

Methods

__NestedAtomically :: Prism' NestedAtomically NestedAtomically

_NestedAtomically :: Prism' NestedAtomically ()

AsNestedAtomically SomeException

Defined in Control.Exception.Lens

Methods

__NestedAtomically :: Prism' SomeException NestedAtomically

_NestedAtomically :: Prism' SomeException ()

pattern NestedAtomically__ :: forall s. AsNestedAtomically s => NestedAtomically -> s

pattern NestedAtomically_ :: forall s. AsNestedAtomically s => s

Blocked Indefinitely

on MVar

class AsBlockedIndefinitelyOnMVar t where

The thread is blocked on an MVar, but there are no other references to the MVar so it can't ever continue.

Minimal complete definition

__BlockedIndefinitelyOnMVar

Methods

__BlockedIndefinitelyOnMVar :: Prism' t BlockedIndefinitelyOnMVar

__BlockedIndefinitelyOnMVar :: Prism' BlockedIndefinitelyOnMVar BlockedIndefinitelyOnMVar
__BlockedIndefinitelyOnMVar :: Prism' SomeException             BlockedIndefinitelyOnMVar

_BlockedIndefinitelyOnMVar :: Prism' t ()

There is no additional information carried in a BlockedIndefinitelyOnMVar Exception.

_BlockedIndefinitelyOnMVar :: Prism' BlockedIndefinitelyOnMVar ()
_BlockedIndefinitelyOnMVar :: Prism' SomeException             ()

Instances

AsBlockedIndefinitelyOnMVar BlockedIndefinitelyOnMVar

Defined in Control.Exception.Lens

Methods

__BlockedIndefinitelyOnMVar :: Prism' BlockedIndefinitelyOnMVar BlockedIndefinitelyOnMVar

_BlockedIndefinitelyOnMVar :: Prism' BlockedIndefinitelyOnMVar ()

AsBlockedIndefinitelyOnMVar SomeException

Defined in Control.Exception.Lens

Methods

__BlockedIndefinitelyOnMVar :: Prism' SomeException BlockedIndefinitelyOnMVar

_BlockedIndefinitelyOnMVar :: Prism' SomeException ()

pattern BlockedIndefinitelyOnMVar__ :: forall s. AsBlockedIndefinitelyOnMVar s => BlockedIndefinitelyOnMVar -> s

pattern BlockedIndefinitelyOnMVar_ :: forall s. AsBlockedIndefinitelyOnMVar s => s

on STM

class AsBlockedIndefinitelyOnSTM t where

The thread is waiting to retry an STM transaction, but there are no other references to any TVars involved, so it can't ever continue.

Minimal complete definition

__BlockedIndefinitelyOnSTM

Methods

__BlockedIndefinitelyOnSTM :: Prism' t BlockedIndefinitelyOnSTM

__BlockedIndefinitelyOnSTM :: Prism' BlockedIndefinitelyOnSTM BlockedIndefinitelyOnSTM
__BlockedIndefinitelyOnSTM :: Prism' SomeException            BlockedIndefinitelyOnSTM

_BlockedIndefinitelyOnSTM :: Prism' t ()

There is no additional information carried in a BlockedIndefinitelyOnSTM Exception.

_BlockedIndefinitelyOnSTM :: Prism' BlockedIndefinitelyOnSTM ()
_BlockedIndefinitelyOnSTM :: Prism' SomeException            ()

Instances

AsBlockedIndefinitelyOnSTM BlockedIndefinitelyOnSTM

Defined in Control.Exception.Lens

Methods

__BlockedIndefinitelyOnSTM :: Prism' BlockedIndefinitelyOnSTM BlockedIndefinitelyOnSTM

_BlockedIndefinitelyOnSTM :: Prism' BlockedIndefinitelyOnSTM ()

AsBlockedIndefinitelyOnSTM SomeException

Defined in Control.Exception.Lens

Methods

__BlockedIndefinitelyOnSTM :: Prism' SomeException BlockedIndefinitelyOnSTM

_BlockedIndefinitelyOnSTM :: Prism' SomeException ()

pattern BlockedIndefinitelyOnSTM__ :: forall s. AsBlockedIndefinitelyOnSTM s => BlockedIndefinitelyOnSTM -> s

pattern BlockedIndefinitelyOnSTM_ :: forall s. AsBlockedIndefinitelyOnSTM s => s

Deadlock

class AsDeadlock t where

There are no runnable threads, so the program is deadlocked. The Deadlock Exception is raised in the main thread only.

Minimal complete definition

__Deadlock

Methods

__Deadlock :: Prism' t Deadlock

__Deadlock :: Prism' Deadlock      Deadlock
__Deadlock :: Prism' SomeException Deadlock

_Deadlock :: Prism' t ()

There is no information carried in a Deadlock Exception.

_Deadlock :: Prism' Deadlock      ()
_Deadlock :: Prism' SomeException ()

Instances

AsDeadlock Deadlock

Defined in Control.Exception.Lens

Methods

__Deadlock :: Prism' Deadlock Deadlock

_Deadlock :: Prism' Deadlock ()

AsDeadlock SomeException

Defined in Control.Exception.Lens

Methods

__Deadlock :: Prism' SomeException Deadlock

_Deadlock :: Prism' SomeException ()

pattern Deadlock__ :: forall s. AsDeadlock s => Deadlock -> s

pattern Deadlock_ :: forall s. AsDeadlock s => s

No Such Method

class AsNoMethodError t where

A class method without a definition (neither a default definition, nor a definition in the appropriate instance) was called.

Minimal complete definition

__NoMethodError

Methods

__NoMethodError :: Prism' t NoMethodError

__NoMethodError :: Prism' NoMethodError NoMethodError
__NoMethodError :: Prism' SomeException NoMethodError

_NoMethodError :: Prism' t String

Extract a description of the missing method.

_NoMethodError :: Prism' NoMethodError String
_NoMethodError :: Prism' SomeException String

Instances

AsNoMethodError NoMethodError

Defined in Control.Exception.Lens

Methods

__NoMethodError :: Prism' NoMethodError NoMethodError

_NoMethodError :: Prism' NoMethodError String

AsNoMethodError SomeException

Defined in Control.Exception.Lens

Methods

__NoMethodError :: Prism' SomeException NoMethodError

_NoMethodError :: Prism' SomeException String

pattern NoMethodError__ :: forall s. AsNoMethodError s => NoMethodError -> s

pattern NoMethodError_ :: forall s. AsNoMethodError s => String -> s

Pattern Match Failure

class AsPatternMatchFail t where

A pattern match failed.

Minimal complete definition

__PatternMatchFail

Methods

__PatternMatchFail :: Prism' t PatternMatchFail

__PatternMatchFail :: Prism' PatternMatchFail PatternMatchFail
__PatternMatchFail :: Prism' SomeException    PatternMatchFail

_PatternMatchFail :: Prism' t String

Information about the source location of the pattern.

_PatternMatchFail :: Prism' PatternMatchFail String
_PatternMatchFail :: Prism' SomeException    String

Instances

AsPatternMatchFail PatternMatchFail

Defined in Control.Exception.Lens

Methods

__PatternMatchFail :: Prism' PatternMatchFail PatternMatchFail

_PatternMatchFail :: Prism' PatternMatchFail String

AsPatternMatchFail SomeException

Defined in Control.Exception.Lens

Methods

__PatternMatchFail :: Prism' SomeException PatternMatchFail

_PatternMatchFail :: Prism' SomeException String

pattern PatternMatchFail__ :: forall s. AsPatternMatchFail s => PatternMatchFail -> s

pattern PatternMatchFail_ :: forall s. AsPatternMatchFail s => String -> s

Record

class AsRecConError t where

An uninitialised record field was used.

Minimal complete definition

__RecConError

Methods

__RecConError :: Prism' t RecConError

__RecConError :: Prism' RecConError   RecConError
__RecConError :: Prism' SomeException RecConError

_RecConError :: Prism' t String

Information about the source location where the record was constructed.

_RecConError :: Prism' RecConError   String
_RecConError :: Prism' SomeException String

Instances

AsRecConError RecConError

Defined in Control.Exception.Lens

Methods

__RecConError :: Prism' RecConError RecConError

_RecConError :: Prism' RecConError String

AsRecConError SomeException

Defined in Control.Exception.Lens

Methods

__RecConError :: Prism' SomeException RecConError

_RecConError :: Prism' SomeException String

class AsRecSelError t where

A record selector was applied to a constructor without the appropriate field. This can only happen with a datatype with multiple constructors, where some fields are in one constructor but not another.

Minimal complete definition

__RecSelError

Methods

__RecSelError :: Prism' t RecSelError

__RecSelError :: Prism' RecSelError   RecSelError
__RecSelError :: Prism' SomeException RecSelError

_RecSelError :: Prism' t String

Information about the source location where the record selection occurred.

_RecSelError :: Prism' RecSelError   String
_RecSelError :: Prism' SomeException String

Instances

AsRecSelError RecSelError

Defined in Control.Exception.Lens

Methods

__RecSelError :: Prism' RecSelError RecSelError

_RecSelError :: Prism' RecSelError String

AsRecSelError SomeException

Defined in Control.Exception.Lens

Methods

__RecSelError :: Prism' SomeException RecSelError

_RecSelError :: Prism' SomeException String

class AsRecUpdError t where

A record update was performed on a constructor without the appropriate field. This can only happen with a datatype with multiple constructors, where some fields are in one constructor but not another.

Minimal complete definition

__RecUpdError

Methods

__RecUpdError :: Prism' t RecUpdError

__RecUpdError :: Prism' RecUpdError   RecUpdError
__RecUpdError :: Prism' SomeException RecUpdError

_RecUpdError :: Prism' t String

Information about the source location where the record was updated.

_RecUpdError :: Prism' RecUpdError   String
_RecUpdError :: Prism' SomeException String

Instances

AsRecUpdError RecUpdError

Defined in Control.Exception.Lens

Methods

__RecUpdError :: Prism' RecUpdError RecUpdError

_RecUpdError :: Prism' RecUpdError String

AsRecUpdError SomeException

Defined in Control.Exception.Lens

Methods

__RecUpdError :: Prism' SomeException RecUpdError

_RecUpdError :: Prism' SomeException String

pattern RecConError__ :: forall s. AsRecConError s => RecConError -> s

pattern RecConError_ :: forall s. AsRecConError s => String -> s

pattern RecSelError__ :: forall s. AsRecSelError s => RecSelError -> s

pattern RecSelError_ :: forall s. AsRecSelError s => String -> s

pattern RecUpdError__ :: forall s. AsRecUpdError s => RecUpdError -> s

pattern RecUpdError_ :: forall s. AsRecUpdError s => String -> s

Error Call

class AsErrorCall t where

This is thrown when the user calls error.

Minimal complete definition

__ErrorCall

Methods

__ErrorCall :: Prism' t ErrorCall

__ErrorCall :: Prism' ErrorCall     ErrorCall
__ErrorCall :: Prism' SomeException ErrorCall

_ErrorCall :: Prism' t String

Retrieve the argument given to error.

ErrorCall is isomorphic to a String.

>>> catching _ErrorCall (error "touch down!") return
"touch down!"

_ErrorCall :: Prism' ErrorCall     String
_ErrorCall :: Prism' SomeException String

Instances

AsErrorCall ErrorCall

Defined in Control.Exception.Lens

Methods

__ErrorCall :: Prism' ErrorCall ErrorCall

_ErrorCall :: Prism' ErrorCall String

AsErrorCall SomeException

Defined in Control.Exception.Lens

Methods

__ErrorCall :: Prism' SomeException ErrorCall

_ErrorCall :: Prism' SomeException String

pattern ErrorCall__ :: forall s. AsErrorCall s => ErrorCall -> s

pattern ErrorCall_ :: forall s. AsErrorCall s => String -> s

Allocation Limit Exceeded

class AsAllocationLimitExceeded t where

This thread has exceeded its allocation limit.

Minimal complete definition

__AllocationLimitExceeded

Methods

__AllocationLimitExceeded :: Prism' t AllocationLimitExceeded

__AllocationLimitExceeded :: Prism' AllocationLimitExceeded AllocationLimitExceeded
__AllocationLimitExceeded :: Prism' SomeException           AllocationLimitExceeded

_AllocationLimitExceeded :: Prism' t ()

There is no additional information carried in an AllocationLimitExceeded Exception.

_AllocationLimitExceeded :: Prism' AllocationLimitExceeded ()
_AllocationLimitExceeded :: Prism' SomeException           ()

Instances

AsAllocationLimitExceeded AllocationLimitExceeded

Defined in Control.Exception.Lens

Methods

__AllocationLimitExceeded :: Prism' AllocationLimitExceeded AllocationLimitExceeded

_AllocationLimitExceeded :: Prism' AllocationLimitExceeded ()

AsAllocationLimitExceeded SomeException

Defined in Control.Exception.Lens

Methods

__AllocationLimitExceeded :: Prism' SomeException AllocationLimitExceeded

_AllocationLimitExceeded :: Prism' SomeException ()

pattern AllocationLimitExceeded__ :: forall s. AsAllocationLimitExceeded s => AllocationLimitExceeded -> s

pattern AllocationLimitExceeded_ :: forall s. AsAllocationLimitExceeded s => s

Type Error

class AsTypeError t where

An expression that didn't typecheck during compile time was called. This is only possible with -fdefer-type-errors.

Minimal complete definition

__TypeError

Methods

__TypeError :: Prism' t TypeError

__TypeError :: Prism' TypeError     TypeError
__TypeError :: Prism' SomeException TypeError

_TypeError :: Prism' t String

Details about the failed type check.

_TypeError :: Prism' TypeError     String
_TypeError :: Prism' SomeException String

Instances

AsTypeError TypeError

Defined in Control.Exception.Lens

Methods

__TypeError :: Prism' TypeError TypeError

_TypeError :: Prism' TypeError String

AsTypeError SomeException

Defined in Control.Exception.Lens

Methods

__TypeError :: Prism' SomeException TypeError

_TypeError :: Prism' SomeException String

pattern TypeError__ :: forall s. AsTypeError s => TypeError -> s

pattern TypeError_ :: forall s. AsTypeError s => String -> s

Compaction Failed

class AsCompactionFailed t where

Compaction found an object that cannot be compacted. Functions cannot be compacted, nor can mutable objects or pinned objects.

Minimal complete definition

__CompactionFailed

Methods

__CompactionFailed :: Prism' t CompactionFailed

__CompactionFailed :: Prism' CompactionFailed CompactionFailed
__CompactionFailed :: Prism' SomeException    CompactionFailed

_CompactionFailed :: Prism' t String

Information about why a compaction failed.

_CompactionFailed :: Prism' CompactionFailed String
_CompactionFailed :: Prism' SomeException    String

Instances

AsCompactionFailed CompactionFailed

Defined in Control.Exception.Lens

Methods

__CompactionFailed :: Prism' CompactionFailed CompactionFailed

_CompactionFailed :: Prism' CompactionFailed String

AsCompactionFailed SomeException

Defined in Control.Exception.Lens

Methods

__CompactionFailed :: Prism' SomeException CompactionFailed

_CompactionFailed :: Prism' SomeException String

pattern CompactionFailed__ :: forall s. AsCompactionFailed s => CompactionFailed -> s

pattern CompactionFailed_ :: forall s. AsCompactionFailed s => String -> s

Handling Exceptions

class AsHandlingException t where

This Exception is thrown by lens when the user somehow manages to rethrow an internal HandlingException.

Minimal complete definition

__HandlingException

Methods

__HandlingException :: Prism' t HandlingException

__HandlingException :: Prism' HandlingException HandlingException
__HandlingException :: Prism' SomeException     HandlingException

_HandlingException :: Prism' t ()

There is no information carried in a HandlingException.

_HandlingException :: Prism' HandlingException ()
_HandlingException :: Prism' SomeException     ()

Instances

AsHandlingException SomeException

Defined in Control.Exception.Lens

Methods

__HandlingException :: Prism' SomeException HandlingException

_HandlingException :: Prism' SomeException ()

AsHandlingException HandlingException

Defined in Control.Exception.Lens

Methods

__HandlingException :: Prism' HandlingException HandlingException

_HandlingException :: Prism' HandlingException ()

pattern HandlingException__ :: forall s. AsHandlingException s => HandlingException -> s

pattern HandlingException_ :: forall s. AsHandlingException s => s