Z-Data-0.1.0.0: array, vector and text
Safe HaskellNone
LanguageHaskell2010

Z.Data.Generics.Utils

Synopsis

Documentation

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

type class for calculating product size.

Associated Types

type PSize f :: Nat Source #

Instances

Instances details
(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 #

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