HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.GenericN

Generic representation of types with multiple parameters

Synopsis
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