Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Generics.Internal.Errors
Documentation
type family NoGeneric a (ctxt :: [ErrorMessage]) where ... #
Equations
NoGeneric a ctxt = PrettyError (('Text "No instance for " ':<>: QuoteType (Generic a)) ': ctxt) :: Constraint |
type family Defined_list (break :: [Type]) err (a :: k) :: k where ... #
Equations
Defined_list '[Void] _1 (_2 :: k) = Any :: k | |
Defined_list _1 _2 (k2 :: k1) = k2 |
type family QuoteType (typ :: k) :: ErrorMessage where ... #
type family PrettyError (ctxt :: [ErrorMessage]) :: k where ... #
Equations
PrettyError ('[] :: [ErrorMessage]) = TypeError ('Text "") :: k | |
PrettyError (c ': cs) = TypeError (('Text "| " ':<>: c) ':$$: PrettyLines cs) :: k |