Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type Context_ field s t a b = ( HasTotalFieldP field ( Rep s) ~ ' Just a, HasTotalFieldP field ( Rep t) ~ ' Just b, UnifyHead s t, UnifyHead t s) Source #
type Context' field 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]) (() :: Constraint )) Source #
type Context0 field 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]) (() :: Constraint )) Source #
class Context (field :: Symbol ) s t a b | s field -> a, t field -> b, s field b -> t, t field a -> s Source #
Instances
( 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 :: Type ) (t :: Type ) (a :: Type ) (b :: Type ) Source # | |
Defined in Data.Generics.Product.Internal.Fields |