Modulegeneric-lens-core-2.3.0.0Haskell2010
Data.Generics.Product.Internal.Fields
- 3 types
- 1 class
- 1 value
- Packagegeneric-lens-core-2.3.0.0
- Exports5
- LanguageHaskell2010
- LicenceBSD-3-Clause
type
type Context' (field :: Symbol) s a = (Generic s, ErrorUnless field s (CollectField field (Rep s)), GLens' (HasTotalFieldPSym field) (Rep s) a, Defined (Rep s) (NoGeneric s '[(('Text "arising from a generic lens focusing on the "
':<>: QuoteType field) ':<>: 'Text " field of type "
) ':<>: QuoteType a, 'Text "in "
':<>: QuoteType s]) ())type
type Context0 (field :: Symbol) s t a b = (Generic s, Generic t, GLens (HasTotalFieldPSym field) (Rep s) (Rep t) a b, ErrorUnless field s (CollectField field (Rep s)), Defined (Rep s) (NoGeneric s '[(('Text "arising from a generic lens focusing on the "
':<>: QuoteType field) ':<>: 'Text " field of type "
) ':<>: QuoteType a, 'Text "in "
':<>: QuoteType s]) ())class
class Context (field :: Symbol) (s :: k) (t :: k1) (a :: k2) (b :: k3) | s field -> a, t field -> b, s field b -> t, t field a -> sInstances1Context
(HasTotalFieldP field (Rep s) ~ 'Just a, HasTotalFieldP field (Rep t) ~ 'Just b, HasTotalFieldP field (Rep (Indexed s)) ~ 'Just a', HasTotalFieldP field (Rep (Indexed t)) ~ 'Just b', t ~ Infer s a' b, s ~ Infer t b' a) => Context field s t a bDefined in generic-lens-core-2.3.0.0 · Data.Generics.Product.Internal.Fields