HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulegeneric-lens-core-2.2.1.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.2.1.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.2.1.0 · Data.Generics.Internal.GenericN