generic-lens-core-2.2.1.0: Generically derive traversals, lenses and prisms.
Safe HaskellSafe-Inferred
LanguageHaskell2010

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)