| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Grid.Internal.Errors
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.
Constructors
| 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. |