Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Enum ByteCount Source # | |
Defined in Dahdit.Sizes succ :: ByteCount -> ByteCount # pred :: ByteCount -> ByteCount # fromEnum :: ByteCount -> Int # enumFrom :: ByteCount -> [ByteCount] # enumFromThen :: ByteCount -> ByteCount -> [ByteCount] # enumFromTo :: ByteCount -> ByteCount -> [ByteCount] # enumFromThenTo :: ByteCount -> ByteCount -> ByteCount -> [ByteCount] # | |
Num ByteCount Source # | |
Integral ByteCount Source # | |
Defined in Dahdit.Sizes | |
Real ByteCount Source # | |
Defined in Dahdit.Sizes toRational :: ByteCount -> Rational # | |
Show ByteCount Source # | |
Default ByteCount Source # | |
Defined in Dahdit.Sizes | |
Eq ByteCount Source # | |
Ord ByteCount Source # | |
Defined in Dahdit.Sizes |
Instances
Enum ElemCount Source # | |
Defined in Dahdit.Sizes succ :: ElemCount -> ElemCount # pred :: ElemCount -> ElemCount # fromEnum :: ElemCount -> Int # enumFrom :: ElemCount -> [ElemCount] # enumFromThen :: ElemCount -> ElemCount -> [ElemCount] # enumFromTo :: ElemCount -> ElemCount -> [ElemCount] # enumFromThenTo :: ElemCount -> ElemCount -> ElemCount -> [ElemCount] # | |
Num ElemCount Source # | |
Integral ElemCount Source # | |
Defined in Dahdit.Sizes | |
Real ElemCount Source # | |
Defined in Dahdit.Sizes toRational :: ElemCount -> Rational # | |
Show ElemCount Source # | |
Default ElemCount Source # | |
Defined in Dahdit.Sizes | |
Eq ElemCount Source # | |
Ord ElemCount Source # | |
Defined in Dahdit.Sizes |
class KnownNat (StaticSize a) => StaticByteSized a where Source #
Nothing
type StaticSize a :: Nat Source #
staticByteSize :: Proxy a -> ByteCount Source #
Instances
staticByteSizeFoldable :: (Foldable f, StaticByteSized a) => f a -> ByteCount Source #
byteSizeViaStatic :: StaticByteSized a => a -> ByteCount Source #