Universum.Exception

Re-exports most useful functionality from 'safe-exceptions'. Also provides some functions to work with exceptions over MonadError.

Documentation

module Control.Exception.Safe

data Bug

Type that represents exceptions used in cases when a particular codepath is not meant to be ever executed, but happens to be executed anyway.

Constructors

Bug SomeException CallStack

Instances

Show Bug

Methods

showsPrec :: Int -> Bug -> ShowS

show :: Bug -> String

showList :: [Bug] -> ShowS

Exception Bug

Methods

toException :: Bug -> SomeException

fromException :: SomeException -> Maybe Bug

displayException :: Bug -> String

bug :: (HasCallStack, Exception e) => e -> a

Generate a pure value which, when forced, will synchronously throw the exception wrapped into Bug data type.

note :: MonadError e m => e -> Maybe a -> m a

Throws error for Maybe if Nothing is given. Operates over MonadError.