Z.Data.Generics.Utils

This module provides a helper class to compute product size via Generic instance, e.g. This class is useful during JSON deserializing, to decide the array length used to store record KVs.

Documentation

class KnownNat (PSize f) => ProductSize (f :: * -> *)

type class for calculating product size.

Associated Types

type PSize f :: Nat

Instances

(KnownNat (PSize a + PSize b), ProductSize a, ProductSize b) => ProductSize (a :*: b)

Defined in Z.Data.Generics.Utils

Associated Types

type PSize (a :*: b) :: Nat

ProductSize (S1 s a)

Defined in Z.Data.Generics.Utils

Associated Types

type PSize (S1 s a) :: Nat

productSize :: forall f. KnownNat (PSize f) => Proxy# f -> Int