stdio-0.2.0.0: A simple and high performance IO toolkit for Haskell

Safe HaskellNone
LanguageHaskell2010

Std.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
(KnownNat (PSize a + PSize b), ProductSize a, ProductSize b) => ProductSize (a :*: b) Source # 
Instance details

Defined in Std.Data.Generics.Utils

Associated Types

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

ProductSize (S1 s a) Source # 
Instance details

Defined in Std.Data.Generics.Utils

Associated Types

type PSize (S1 s a) :: Nat Source #

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