Data.Generics.Product.Internal.Param

generic-lens-core-2.2.1.0: Generically derive traversals, lenses and prisms.

Safe Haskell | None
Language | Haskell2010

Data.Generics.Product.Internal.Param

# Documentation

type Context (n :: Nat) s t a b = (GenericN s, GenericN t, Defined (Rep s) (NoGeneric s '['Text "arising from a generic traversal of the type parameter at position " ':<>: QuoteType n, (('Text "of type " ':<>: QuoteType a) ':<>: 'Text " in ") ':<>: QuoteType s]) (), s ~ Infer t (P n b 'PTag) a, t ~ Infer s (P n a 'PTag) b, Error (ArgCount s <=? n) n (ArgCount s) s, a ~ (ArgAt s n :: Type), b ~ (ArgAt t n :: Type), GHasTypes ChGeneric (RepN s) (RepN t) (Param n a) (Param n b)) #

derived :: forall (n :: Nat) s t a b. Context n s t a b => Traversal s t a b #