Basement.Exception

Common part for vectors

Documentation

data OutOfBound

Exception during an operation accessing the vector out of bound

Represent the type of operation, the index accessed, and the total length of the vector.

Constructors

OutOfBound OutOfBoundOperation Int Int

Instances

Show OutOfBound

Methods

showsPrec :: Int -> OutOfBound -> ShowS

show :: OutOfBound -> String

showList :: [OutOfBound] -> ShowS

Exception OutOfBound

Methods

toException :: OutOfBound -> SomeException

fromException :: SomeException -> Maybe OutOfBound

displayException :: OutOfBound -> String

data OutOfBoundOperation

The type of operation that triggers an OutOfBound exception.

• OOB_Index: reading an immutable vector
• OOB_Read: reading a mutable vector
• OOB_Write: write a mutable vector
• OOB_MemCopy: copying a vector
• OOB_MemSet: initializing a mutable vector

Constructors

OOB_Read

OOB_Write

OOB_MemSet

OOB_MemCopy

OOB_Index

Instances

Eq OutOfBoundOperation

Methods

(==) :: OutOfBoundOperation -> OutOfBoundOperation -> Bool

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

Show OutOfBoundOperation

Methods

showsPrec :: Int -> OutOfBoundOperation -> ShowS

show :: OutOfBoundOperation -> String

showList :: [OutOfBoundOperation] -> ShowS

isOutOfBound :: Offset ty -> CountOf ty -> Bool

outOfBound :: OutOfBoundOperation -> Offset ty -> CountOf ty -> a

primOutOfBound :: PrimMonad prim => OutOfBoundOperation -> Offset ty -> CountOf ty -> prim a

data InvalidRecast

Constructors

InvalidRecast RecastSourceSize RecastDestinationSize

Instances

Show InvalidRecast

Methods

showsPrec :: Int -> InvalidRecast -> ShowS

show :: InvalidRecast -> String

showList :: [InvalidRecast] -> ShowS

Exception InvalidRecast

Methods

toException :: InvalidRecast -> SomeException

fromException :: SomeException -> Maybe InvalidRecast

displayException :: InvalidRecast -> String

newtype RecastSourceSize

Constructors

RecastSourceSize Int

Instances

Eq RecastSourceSize

Methods

(==) :: RecastSourceSize -> RecastSourceSize -> Bool

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

Show RecastSourceSize

Methods

showsPrec :: Int -> RecastSourceSize -> ShowS

show :: RecastSourceSize -> String

showList :: [RecastSourceSize] -> ShowS

newtype RecastDestinationSize

Constructors

RecastDestinationSize Int

Instances

Eq RecastDestinationSize

Methods

(==) :: RecastDestinationSize -> RecastDestinationSize -> Bool

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

Show RecastDestinationSize

Methods

showsPrec :: Int -> RecastDestinationSize -> ShowS

show :: RecastDestinationSize -> String

showList :: [RecastDestinationSize] -> ShowS

data NonEmptyCollectionIsEmpty

Exception for using NonEmpty assertion with an empty collection

Constructors

NonEmptyCollectionIsEmpty

Instances

Show NonEmptyCollectionIsEmpty

Methods

showsPrec :: Int -> NonEmptyCollectionIsEmpty -> ShowS

show :: NonEmptyCollectionIsEmpty -> String

showList :: [NonEmptyCollectionIsEmpty] -> ShowS

Exception NonEmptyCollectionIsEmpty

Methods

toException :: NonEmptyCollectionIsEmpty -> SomeException

fromException :: SomeException -> Maybe NonEmptyCollectionIsEmpty

displayException :: NonEmptyCollectionIsEmpty -> String