Data.Exception.Types

Common exceptions

Documentation

newtype AlreadyExists entity

Requested entity already exists; a conflict

Constructors

AlreadyExists entity

Instances

Functor AlreadyExists

Defined in Data.Exception.Types

Methods

fmap :: (a -> b) -> AlreadyExists a -> AlreadyExists b

(<$) :: a -> AlreadyExists b -> AlreadyExists a

Eq entity => Eq (AlreadyExists entity)

Defined in Data.Exception.Types

Methods

(==) :: AlreadyExists entity -> AlreadyExists entity -> Bool

(/=) :: AlreadyExists entity -> AlreadyExists entity -> Bool

Show entity => Show (AlreadyExists entity)

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> AlreadyExists entity -> ShowS

show :: AlreadyExists entity -> String

showList :: [AlreadyExists entity] -> ShowS

data DivideByZero

Arithmetic divide by zero error

Constructors

DivideByZero

Instances

Eq DivideByZero

Defined in Data.Exception.Types

Methods

(==) :: DivideByZero -> DivideByZero -> Bool

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

Show DivideByZero

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> DivideByZero -> ShowS

show :: DivideByZero -> String

showList :: [DivideByZero] -> ShowS

newtype InvalidFormat entity

Invalid format for entity (e.g. bad JSON)

Constructors

InvalidFormat entity

Instances

Functor InvalidFormat

Defined in Data.Exception.Types

Methods

fmap :: (a -> b) -> InvalidFormat a -> InvalidFormat b

(<$) :: a -> InvalidFormat b -> InvalidFormat a

Eq entity => Eq (InvalidFormat entity)

Defined in Data.Exception.Types

Methods

(==) :: InvalidFormat entity -> InvalidFormat entity -> Bool

(/=) :: InvalidFormat entity -> InvalidFormat entity -> Bool

Show entity => Show (InvalidFormat entity)

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> InvalidFormat entity -> ShowS

show :: InvalidFormat entity -> String

showList :: [InvalidFormat entity] -> ShowS

data NotAllowed user entity

Action not allowed by user

Constructors

NotAllowed

Fields

• user :: !user
• entity :: !entity

Instances

(Eq user, Eq entity) => Eq (NotAllowed user entity)

Defined in Data.Exception.Types

Methods

(==) :: NotAllowed user entity -> NotAllowed user entity -> Bool

(/=) :: NotAllowed user entity -> NotAllowed user entity -> Bool

(Show user, Show entity) => Show (NotAllowed user entity)

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> NotAllowed user entity -> ShowS

show :: NotAllowed user entity -> String

showList :: [NotAllowed user entity] -> ShowS

data NotFound entity

Entity not found

Constructors

NotFound

Instances

Eq (NotFound entity)

Defined in Data.Exception.Types

Methods

(==) :: NotFound entity -> NotFound entity -> Bool

(/=) :: NotFound entity -> NotFound entity -> Bool

Show (NotFound entity)

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> NotFound entity -> ShowS

show :: NotFound entity -> String

showList :: [NotFound entity] -> ShowS

newtype OutOfBounds entity index

Requested index is out of bounds

Constructors

OutOfBounds index

Instances

Functor (OutOfBounds entity)

Defined in Data.Exception.Types

Methods

fmap :: (a -> b) -> OutOfBounds entity a -> OutOfBounds entity b

(<$) :: a -> OutOfBounds entity b -> OutOfBounds entity a

Eq index => Eq (OutOfBounds entity index)

Defined in Data.Exception.Types

Methods

(==) :: OutOfBounds entity index -> OutOfBounds entity index -> Bool

(/=) :: OutOfBounds entity index -> OutOfBounds entity index -> Bool

Show index => Show (OutOfBounds entity index)

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> OutOfBounds entity index -> ShowS

show :: OutOfBounds entity index -> String

showList :: [OutOfBounds entity index] -> ShowS

data WithMessage err

Attach a message to an exception, typicaly for runtime user feedback

Examples

>>> :set -XOverloadedStrings
>>> show $ InvalidFormat "foo" `WithMessage` "Not a valid JSON object"
"InvalidFormat \"foo\" `WithMessage` \"Not a valid JSON object\""

Constructors

!err `WithMessage` !Text

Instances

Functor WithMessage

Defined in Data.Exception.Types

Methods

fmap :: (a -> b) -> WithMessage a -> WithMessage b

(<$) :: a -> WithMessage b -> WithMessage a

Eq err => Eq (WithMessage err)

Defined in Data.Exception.Types

Methods

(==) :: WithMessage err -> WithMessage err -> Bool

(/=) :: WithMessage err -> WithMessage err -> Bool

Show err => Show (WithMessage err)

Defined in Data.Exception.Types

Methods

showsPrec :: Int -> WithMessage err -> ShowS

show :: WithMessage err -> String

showList :: [WithMessage err] -> ShowS