Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulegeneric-lens-core-2.2.1.0Haskell2010

Data.Generics.Internal.Errors

Packagegeneric-lens-core-2.2.1.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause

familytype family NoGeneric a (ctxt :: [ErrorMessage]) :: Constraint where

Equations

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

familytype family Defined (break :: Type -> Type) (err :: Constraint) (a :: k) :: k where

Equations

Defined Void1 _1 _2 = Any
Defined _1 _2 k2 = k2

familytype family Defined_list (break :: [Type]) (err :: Constraint) (a :: k) :: k where

Equations

Defined_list '[Void] _1 _2 = Any
Defined_list _1 _2 k2 = k2

familytype family QuoteType (typ :: k) :: ErrorMessage where

Equations

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

familytype family PrettyError (ctxt :: [ErrorMessage]) :: k where

Equations

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