Modulegeneric-data-1.1.0.2Haskell2010

Generic.Data.Internal.Functions

Type-level functions on generic representations.

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.

If something here seems useful, please report it or create a pull request to export it from an external module.

familytype family NConstructors (r :: k -> Type) :: Nat

Number of constructors of a data type.

Instances3NConstructors

type NConstructors (M1 C c f) = 1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Functions
type NConstructors (M1 D c f) = NConstructors fDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Functions
type NConstructors (f :+: g) = NConstructors f + NConstructors gDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Functions

valuenconstructors :: KnownNat (NConstructors r) => Integer

Number of constructors of a data type.

familytype family NFields (r :: k -> Type) :: Nat

Arity of a constructor.

Instances3NFields

type NFields (M1 C c f) = NFields fDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Functions
type NFields (M1 S c f) = 1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Functions
type NFields (f :*: g) = NFields f + NFields gDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Functions

valuenfields :: KnownNat (NFields r) => Integer

Arity of a constructor.