Documentation

type Context n 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]) (() :: Constraint), 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, b ~ ArgAt t n, GHasTypes ChGeneric (RepN s) (RepN t) (Param n a) (Param n b)) Source #

derived :: forall n s t a b. Context n s t a b => Traversal s t a b Source #