| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Incipit.TypeError
Description
Synopsis
- type family (l :: k1) <> (r :: k2) :: ErrorMessage where ...
- type family (t :: k1) % (b :: k2) :: ErrorMessage where ...
- type family ToErrorMessage (t :: k) :: ErrorMessage where ...
- type family Undefined :: k where ...
Documentation
type family (l :: k1) <> (r :: k2) :: ErrorMessage where ... infixl 5 Source #
Concat two error message strings.
Equations
| (l :: k1) <> (r :: k2) = ToErrorMessage l ':<>: ToErrorMessage r |
type family (t :: k1) % (b :: k2) :: ErrorMessage where ... infixr 4 Source #
Concat two error message strings with a newline.
Equations
| (t :: k1) % (b :: k2) = ToErrorMessage t ':$$: ToErrorMessage b |
type family ToErrorMessage (t :: k) :: ErrorMessage where ... Source #
Convert a Symbol, ErrorMessage or type to an ErrorMessage.
Equations
| ToErrorMessage (t :: Symbol) = 'Text t | |
| ToErrorMessage (t :: ErrorMessage) = t | |
| ToErrorMessage (t2 :: t1) = 'ShowType t2 |