Std.Data.Generics.Utils

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 Std.Data.Generics.Utils

Associated Types

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

ProductSize (S1 s a)

Defined in Std.Data.Generics.Utils

Associated Types

type PSize (S1 s a) :: Nat

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