Generic.Data.Internal.Functions

Type-level functions on generic representations.

Warning

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.

Documentation

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

Number of constructors of a data type.

Instances

type NConstructors (f :+: g :: k -> Type)

Defined in Generic.Data.Internal.Functions

type NConstructors (f :+: g :: k -> Type) = NConstructors f + NConstructors g

type NConstructors (M1 C c f :: k -> Type)

Defined in Generic.Data.Internal.Functions

type NConstructors (M1 C c f :: k -> Type) = 1

type NConstructors (M1 D c f :: k -> Type)

Defined in Generic.Data.Internal.Functions

type NConstructors (M1 D c f :: k -> Type) = NConstructors f

nconstructors :: forall r. KnownNat (NConstructors r) => Integer

Number of constructors of a data type.

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

Arity of a constructor.

Instances

type NFields (f :*: g :: k -> Type)

Defined in Generic.Data.Internal.Functions

type NFields (f :*: g :: k -> Type) = NFields f + NFields g

type NFields (M1 S c f :: k -> Type)

Defined in Generic.Data.Internal.Functions

type NFields (M1 S c f :: k -> Type) = 1

type NFields (M1 C c f :: k -> Type)

Defined in Generic.Data.Internal.Functions

type NFields (M1 C c f :: k -> Type) = NFields f

nfields :: forall r. KnownNat (NFields r) => Integer

Arity of a constructor.