Modulegeneric-optics-2.3.0.0Haskell2010

Data.Generics.Product.Param

Derive traversals over type parameters

newtypenewtype Rec p a (x :: k)

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

Instances2HasParam

Context n s t a b => HasParam n s t a bDefined in generic-optics-2.3.0.0 · Data.Generics.Product.Param
HasParam p (Void1 a) (Void1 b) a bDefined in generic-optics-2.3.0.0 · Data.Generics.Product.Param

data familydata family Param :: Nat -> j -> k

Instances1Param

data Param
- StarParamgetStarParam :: a
Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.GenericN

constructorStarParam

valuegetStarParam :: Param n a -> a