BishBosh.Data.Exception

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• Exceptions customised for this application.
• N.B.: IO-functions can merely forward any exceptions thrown by the underlying calls, so these exceptions are typically thrown from pure functions.
• CAVEAT: though intended to be orthogonal, there's some inevitable overlap.

Types

Data-types

data BadData

These types of exception may be thrown by any function which checks its parameters; typically either constructors or mutators.

Instances

Show BadData

Methods

showsPrec :: Int -> BadData -> ShowS

show :: BadData -> String

showList :: [BadData] -> ShowS

data BadRequest

These types of exception may be thrown by any function which is unable to comply with a correctly formed request.

Instances

Show BadRequest

Methods

showsPrec :: Int -> BadRequest -> ShowS

show :: BadRequest -> String

showList :: [BadRequest] -> ShowS

data Exception

Each type of exception includes a type & a details.

Instances

Show Exception

Methods

showsPrec :: Int -> Exception -> ShowS

show :: Exception -> String

showList :: [Exception] -> ShowS

Exception Exception

Methods

toException :: Exception -> SomeException

fromException :: SomeException -> Maybe Exception

displayException :: Exception -> String

Functions

Constructors

mkDuplicateData :: String -> Exception

Constructor.

mkIncompatibleData :: String -> Exception

Constructor.

mkInsufficientData :: String -> Exception

Constructor.

mkInvalidDatum :: String -> Exception

Constructor.

mkNullDatum :: String -> Exception

Constructor.

mkOutOfBounds :: String -> Exception

Constructor.

mkRedundantData :: String -> Exception

Constructor.

mkParseFailure :: String -> Exception

Constructor.

mkRequestFailure :: String -> Exception

Constructor.

mkResultUndefined :: String -> Exception

Constructor.

mkSearchFailure :: String -> Exception

Constructor.

Predicates

isBadData :: Exception -> Bool

Predicate.

isBadRequest :: Exception -> Bool

Predicate.