Data.Generics.Product.Param

Derive traversals over type parameters

Documentation

newtype Rec p a (x :: k) :: forall k. Type -> Type -> k -> Type

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 :: Traversal s t a b

Instances

Context n s t a b => HasParam n s t a b

Defined in Data.Generics.Product.Param

Methods

param :: Traversal s t a b

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

Defined in Data.Generics.Product.Param

Methods

param :: Traversal (Void1 a) (Void1 b) a b

data family Param (a :: Nat) (b :: j) :: k

Instances

newtype Param n (a :: Type)

Defined in Data.Generics.Internal.GenericN

newtype Param n (a :: Type) = StarParam {

• getStarParam :: a

}