Data.Generics.Internal.Errors

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 (ctxt :: [ErrorMessage]) where ... #

Equations

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

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

Equations

Defined (Void1 :: Type -> Type) _1 (_2 :: k) = Any :: k |
Defined _1 _2 (k2 :: k1) = k2 |

type family Defined_list (break :: [Type]) err (a :: k) :: k where ... #

Equations

Defined_list '[Void] _1 (_2 :: k) = Any :: k |
Defined_list _1 _2 (k2 :: k1) = k2 |

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

Equations

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

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

Equations

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