generic-lens-core-2.2.1.0: Generically derive traversals, lenses and prisms.
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)