Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Ron.Class.Internal
Documentation
class ProductSize (f :: Type -> Type) where Source #
Methods
productSize :: Proxy f -> Int Source #
Instances
(ProductSize fl, ProductSize fr) => ProductSize (fl :*: fr) Source # | |
Defined in Data.Ron.Class.Internal | |
ProductSize (M1 c s f) Source # | |
Defined in Data.Ron.Class.Internal |