Safe Haskell	Safe
Language	Haskell2010

Data.Generics.Internal.Errors

Documentation

type family NoGeneric (a :: Type) (ctxt :: [ErrorMessage]) :: Constraint where ... Source #

Equations

NoGeneric a ctxt = PrettyError ((Text "No instance for " :<>: QuoteType (Generic a)) ': ctxt)

type family Defined (break :: Type -> Type) (err :: Constraint) (a :: k) :: k where ... Source #

Equations

Defined Void1 _ _ = Any
Defined _ _ k = k

type family Defined_list (break :: [*]) (err :: Constraint) (a :: k) :: k where ... Source #

Equations

Defined_list '[Void] _ _ = Any
Defined_list _ _ k = k

type family QuoteType (typ :: k) :: ErrorMessage where ... Source #

Equations

type family PrettyError (ctxt :: [ErrorMessage]) :: k where ... Source #

Equations

PrettyError '[] = TypeError (Text "")
PrettyError (c ': cs) = TypeError ((Text "\| " :<>: c) :$$: PrettyLines cs)