Data.Generics.Product.Param

Derive traversals over type parameters

Documentation

newtype Rec (p :: Type) a x

Constructors

Rec (K1 R a x)

class HasParam (p :: Nat) s t a b | p t a -> s, p s b -> t, p s -> a, p t -> b where

Methods

param :: Applicative g => (a -> g b) -> s -> g t

Instances

(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) ': ([] :: [ErrorMessage])))) (), 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), GHasParam n (RepN s) (RepN t) a b) => HasParam n s t a b

Defined in Data.Generics.Product.Param

Methods

param :: Applicative g => (a -> g b) -> s -> g t

HasParam p (Void1 a) (Void1 b) a b

Defined in Data.Generics.Product.Param

Methods

param :: Applicative g => (a -> g b) -> Void1 a -> g (Void1 b)