| Safe Haskell | None |
|---|
Ivory.Language.SizeOf
- class IvoryArea t => IvorySizeOf t where
- sizeOfBytes :: Proxy t -> Integer
- sizeOf :: (IvorySizeOf t, IvoryExpr a, Num a) => Proxy t -> a
Documentation
class IvoryArea t => IvorySizeOf t whereSource
Methods
sizeOfBytes :: Proxy t -> IntegerSource
Instances
| IvorySizeOf (Stored * IChar) | |
| IvorySizeOf (Stored * Sint64) | |
| IvorySizeOf (Stored * Sint32) | |
| IvorySizeOf (Stored * Sint16) | |
| IvorySizeOf (Stored * Sint8) | |
| IvorySizeOf (Stored * Uint64) | |
| IvorySizeOf (Stored * Uint32) | |
| IvorySizeOf (Stored * Uint16) | |
| IvorySizeOf (Stored * Uint8) | |
| IvorySizeOf (Stored * IDouble) | |
| IvorySizeOf (Stored * IFloat) | |
| (SingI Nat len, IvorySizeOf area) => IvorySizeOf (Array * len area) |