| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Incipit.TypeError
Description
Documentation
type family l <> r :: ErrorMessage where ... infixl 5 Source #
Equations
| l <> r = ToErrorMessage l :<>: ToErrorMessage r |
type family t % b :: ErrorMessage where ... infixr 4 Source #
Equations
| t % b = ToErrorMessage t :$$: ToErrorMessage b |
type family ToErrorMessage t where ... Source #
Equations
| ToErrorMessage (t :: Symbol) = 'Text t | |
| ToErrorMessage (t :: ErrorMessage) = t | |
| ToErrorMessage t = 'ShowType t |