Control.Exception.SDP

Control.Exception.SDP - service module that provide some useful exceptions. Note that SDP.SafePrelude doesn't export this module.

Exports

module Control.Exception

Exceptions

data UnreachableException

A UnreachableException is used as an exception that should never be thrown.

• ErrorCall and AssertionFailed means that the function is partially defined or missused (if some arguments shouldn't be passed).
• UnreachableException means that some expression, by definition, cannot be reached (for example, a default value when initializing an array, if each value is guaranteed to be overwritten before use).

Constructors

UnreachableException String

Instances

Eq UnreachableException

Defined in Control.Exception.SDP

Methods

(==) :: UnreachableException -> UnreachableException -> Bool

(/=) :: UnreachableException -> UnreachableException -> Bool

Show UnreachableException

Defined in Control.Exception.SDP

Methods

showsPrec :: Int -> UnreachableException -> ShowS

show :: UnreachableException -> String

showList :: [UnreachableException] -> ShowS

Exception UnreachableException

Defined in Control.Exception.SDP

Methods

toException :: UnreachableException -> SomeException

fromException :: SomeException -> Maybe UnreachableException

displayException :: UnreachableException -> String

data IndexException

IndexException replaces the less informative ArrayException and has more neutral names.

• UnacceptableExpansion - occurs if the desired range exceed the actual size
• UnexpectedRank - occurs when trying to convert a list into a generalized index of inappropriate dimension
• UndefinedValue - occurs if the value is undefined
• EmptyRange - occurs if range is empty
• IndexOverflow - occurs if index overflows range
• IndexUnderflow - occurs if index underflows range

Exception constructors are specified in the order of definition, this is the recommended check order.

If the error type may depend on the check order, it should be indicated in the documentation. For example: overflow is checked first, and then underflow. But if an overflow is detected, underflow may not be noticed.

Constructors

UnacceptableExpansion String

UndefinedValue String

UnexpectedRank String

IndexUnderflow String

IndexOverflow String

EmptyRange String

Instances

Eq IndexException

Defined in Control.Exception.SDP

Methods

(==) :: IndexException -> IndexException -> Bool

(/=) :: IndexException -> IndexException -> Bool

Show IndexException

Defined in Control.Exception.SDP

Methods

showsPrec :: Int -> IndexException -> ShowS

show :: IndexException -> String

showList :: [IndexException] -> ShowS

Exception IndexException

Defined in Control.Exception.SDP

Methods

toException :: IndexException -> SomeException

fromException :: SomeException -> Maybe IndexException

displayException :: IndexException -> String