Modulegeneric-lens-core-2.2.1.0Haskell2010

Data.Generics.Product.Internal.GLens

Derive record field getters and setters generically.

classclass GLens (pred :: Pred) (s :: Type -> Type) (t :: Type -> Type) a b | s pred -> a, t pred -> b where

Instances4GLens

GLens pred (K1 r a) (K1 r b) a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.GLens
GProductLens (Eval pred l) pred l r l' r' a b => GLens pred (l :*: r) (l' :*: r') a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.GLens
(GLens pred l l' a b, GLens pred r r' a b) => GLens pred (l :+: r) (l' :+: r') a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.GLens
GLens pred f g a b => GLens pred (M1 m meta f) (M1 m meta g) a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.GLens

typetype GLens' (pred :: Pred) (s :: Type -> Type) a = GLens pred s s a a

typetype TyFun a b = a -> b -> Type

familytype family Eval (f :: TyFun a b) (x :: a) :: b

Instances4Eval

type Eval (HasTotalFieldPSym sym) tt = HasTotalFieldP sym ttDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.Fields
type Eval (HasTotalPositionPSym t) tt = HasTotalPositionP t ttDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.Positions
type Eval (HasTotalFieldPSym sym) tt = HasTotalFieldP sym ttDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.Subtype
type Eval (HasTotalTypePSym t) tt = HasTotalTypeP t ttDefined in generic-lens-core-2.2.1.0 · Data.Generics.Product.Internal.Typed