Data.TypeID.Error

TypeID Error type.

Data type

data TypeIDError

Errors from parsing TypeIDs.

Constructors

TypeIDErrorPrefixTooLong Int

The prefix longer than 63 characters.

TypeIDExtraSeparator

The ID contains an extra underscore separator.

TypeIDStartWithUnderscore

The ID starts with an underscore separator.

TypeIDEndWithUnderscore

The ID ends with an underscore separator.

TypeIDErrorPrefixInvalidChar Char

The prefix contains an invalid character, namely not lowercase Latin.

TypeIDErrorPrefixMismatch Text Text

From a KindID conversion. The prefix doesn't match with the expected.

TypeIDErrorUUIDError

The UUID suffix has errors.

Instances

Exception TypeIDError

Defined in Data.TypeID.Error

Methods

toException :: TypeIDError -> SomeException

fromException :: SomeException -> Maybe TypeIDError

displayException :: TypeIDError -> String

Show TypeIDError

Defined in Data.TypeID.Error

Methods

showsPrec :: Int -> TypeIDError -> ShowS

show :: TypeIDError -> String

showList :: [TypeIDError] -> ShowS

Eq TypeIDError

Defined in Data.TypeID.Error

Methods

(==) :: TypeIDError -> TypeIDError -> Bool

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

Ord TypeIDError

Defined in Data.TypeID.Error

Methods

compare :: TypeIDError -> TypeIDError -> Ordering

(<) :: TypeIDError -> TypeIDError -> Bool

(<=) :: TypeIDError -> TypeIDError -> Bool

(>) :: TypeIDError -> TypeIDError -> Bool

(>=) :: TypeIDError -> TypeIDError -> Bool

max :: TypeIDError -> TypeIDError -> TypeIDError

min :: TypeIDError -> TypeIDError -> TypeIDError