Util.Exception

General simple helpers

throwLeft :: (MonadThrow m, Exception e) => m (Either e a) -> m a

If monadic action returns a Left value, it will be thrown. Otherwise the returned value will be returned as is.

Common exceptions

data TextException

Constructors

TextException Text

Instances

Show TextException

Defined in Util.Exception

Methods

showsPrec :: Int -> TextException -> ShowS

show :: TextException -> String

showList :: [TextException] -> ShowS

Exception TextException

Defined in Util.Exception

Methods

toException :: TextException -> SomeException

fromException :: SomeException -> Maybe TextException

displayException :: TextException -> String

Buildable TextException

Defined in Util.Exception

Methods

build :: TextException -> Builder

Better printing of exceptions

newtype DisplayExceptionInShow

Constructors

DisplayExceptionInShow

Fields

• unDisplayExceptionInShow :: SomeException

Instances

Show DisplayExceptionInShow

Defined in Util.Exception

Methods

showsPrec :: Int -> DisplayExceptionInShow -> ShowS

show :: DisplayExceptionInShow -> String

showList :: [DisplayExceptionInShow] -> ShowS

Exception DisplayExceptionInShow

Defined in Util.Exception

Methods

toException :: DisplayExceptionInShow -> SomeException

fromException :: SomeException -> Maybe DisplayExceptionInShow

displayException :: DisplayExceptionInShow -> String

displayUncaughtException :: IO () -> IO ()

Customise default uncaught exception handling. The problem with the default handler is that it uses show to display uncaught exceptions, but displayException may provide more reasonable output. We do not modify uncaught exception handler, but simply wrap uncaught exceptions (only synchronous ones) into DisplayExceptionInShow.

Some exceptions (currently we are aware only of ExitCode) are handled specially by default exception handler, so we don't wrap them.