HORIZON HASKELLDocslts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.GenericN

Generic representation of types with multiple parameters

  • 1 type
  • 1 class
  • 1 value
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
#

Fields

  • getStarParam :: a
valuegetStarParam :: Param n a -> a
#
newtypenewtype Rec p a (x :: k)
#

Constructors

  • Rec
    • unRec :: K1 R a x
classclass (Coercible (Rep a) (RepN a), Generic a) => GenericN a where
#

Associated types

Methods

  • toN :: RepN a x -> a
  • fromN :: a -> RepN a x
Instances1GenericN
  • (Coercible (Rep a) (RepN a), Generic a) => GenericN aDefined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.GenericN