Safe Haskell	Safe-Inferred
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

QuoteType typ = ('Text "\8216" :<>: 'ShowType typ) :<>: 'Text "\8217"

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

Equations

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