| 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 | |