Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type family (b :: Bool) ?! (e :: ErrorMessage) :: Constraint where ...
- data ErrorMessage where
- Text :: forall. Symbol -> ErrorMessage
- ShowType :: forall t. t -> ErrorMessage
- (:<>:) :: forall. ErrorMessage -> ErrorMessage -> ErrorMessage
- (:$$:) :: forall. ErrorMessage -> ErrorMessage -> ErrorMessage
Documentation
type family (b :: Bool) ?! (e :: ErrorMessage) :: Constraint where ... infixr 1 Source #
data ErrorMessage where #
A description of a custom type error.
Text :: forall. Symbol -> ErrorMessage | Show the text as is. |
ShowType :: forall t. t -> ErrorMessage | Pretty print the type.
|
(:<>:) :: forall. ErrorMessage -> ErrorMessage -> ErrorMessage infixl 6 | Put two pieces of error message next to each other. |
(:$$:) :: forall. ErrorMessage -> ErrorMessage -> ErrorMessage infixl 5 | Stack two pieces of error message on top of each other. |