Safe Haskell	None
Language	Haskell2010

Z.Data.Generics.Utils

Synopsis

class KnownNat (PSize f) => ProductSize (f :: * -> *) where
- type PSize f :: Nat
productSize :: forall f. KnownNat (PSize f) => Proxy# f -> Int

Documentation

type class for calculating product size.

Associated Types

Instances

(KnownNat (PSize a + PSize b), ProductSize a, ProductSize b) => ProductSize (a :*: b) Source #
Instance details Defined in Z.Data.Generics.Utils Associated Types type PSize (a :*: b) :: Nat Source #
ProductSize (S1 s a) Source #
Instance details Defined in Z.Data.Generics.Utils Associated Types type PSize (S1 s a) :: Nat Source #