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