B9.B9Error

Error handling in B9 via extensible effects. B9 wraps errors in SomeException.

Since: 0.5.64

Documentation

throwSomeException :: (Member ExcB9 e, Exception x) => x -> Eff e a

SomeException wrapped into Excecption Effects

Since: 0.5.64

throwSomeException_ :: (Member ExcB9 e, Exception x) => x -> Eff e ()

SomeException wrapped into Excecption Effects

Since: 0.5.64

throwB9Error :: Member ExcB9 e => String -> Eff e a

SomeException wrapped into Excecption Effects

Since: 0.5.64

throwB9Error_ :: Member ExcB9 e => String -> Eff e ()

SomeException wrapped into Excecption Effects

Since: 0.5.64

errorOnException :: Lifted IO e => Eff (ExcB9 ': e) a -> Eff e a

Run an ExcB9 and rethrow the exception with error.

Since: 0.5.64

type ExcB9 = Exc SomeException

The exception effect used in most places in B9. This is Exc specialized with SomeException.

Since: 0.5.64

type WithIoExceptions e = SetMember Exc (Exc SomeException) e

Constraint alias for the exception effect that allows to throw SomeException.

Since: 1.0.0

runExcB9 :: Eff (ExcB9 ': e) a -> Eff e (Either SomeException a)

Run an ExcB9.

Since: 0.5.64

newtype B9Error

This is a simple runtime exception to indicate that B9 code encountered some exceptional event.

Since: 0.5.64

Constructors

MkB9Error String

Instances

Show B9Error

Defined in B9.B9Error

Methods

showsPrec :: Int -> B9Error -> ShowS

show :: B9Error -> String

showList :: [B9Error] -> ShowS

IsString B9Error

Defined in B9.B9Error

Methods

fromString :: String -> B9Error

Exception B9Error

Defined in B9.B9Error

Methods

toException :: B9Error -> SomeException

fromException :: SomeException -> Maybe B9Error

displayException :: B9Error -> String

fromB9Error :: B9Error -> String

catchB9Error :: Member ExcB9 e => Eff e a -> (SomeException -> Eff e a) -> Eff e a

Catch exceptions.

Since: 0.5.64

catchB9ErrorAsEither :: Member ExcB9 e => Eff e a -> Eff e (Either SomeException a)

Catch exceptions and return them via Either.

Since: 0.5.64

finallyB9 :: Member ExcB9 e => Eff e a -> Eff e () -> Eff e a

Always execute an action and rethrow any exceptions caught.

Since: 1.0.0