Safe Haskell	Safe-Inferred
Language	Haskell2010

Dahdit.Sizes

Synopsis

newtype ByteCount = ByteCount {
- unByteCount :: Int
}
newtype ElemCount = ElemCount {
- unElemCount :: Int
}
class KnownNat (StaticSize a) => StaticByteSized a where
- type StaticSize a :: Nat
- staticByteSize :: Proxy a -> ByteCount
staticByteSizeFoldable :: (Foldable f, StaticByteSized a) => f a -> ByteCount
byteSizeViaStatic :: StaticByteSized a => a -> ByteCount
primByteSize :: Prim a => a -> ByteCount
primByteSizeOf :: forall a. Prim a => Proxy a -> ByteCount

Documentation

newtype ByteCount Source #

Constructors

ByteCount
Fields unByteCount :: Int

Instances

Instances details

Bounded ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods minBound :: ByteCount # maxBound :: ByteCount #
Enum ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods succ :: ByteCount -> ByteCount # pred :: ByteCount -> ByteCount # toEnum :: Int -> ByteCount # fromEnum :: ByteCount -> Int # enumFrom :: ByteCount -> [ByteCount] # enumFromThen :: ByteCount -> ByteCount -> [ByteCount] # enumFromTo :: ByteCount -> ByteCount -> [ByteCount] # enumFromThenTo :: ByteCount -> ByteCount -> ByteCount -> [ByteCount] #
Num ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods (+) :: ByteCount -> ByteCount -> ByteCount # (-) :: ByteCount -> ByteCount -> ByteCount # (*) :: ByteCount -> ByteCount -> ByteCount # negate :: ByteCount -> ByteCount # abs :: ByteCount -> ByteCount # signum :: ByteCount -> ByteCount # fromInteger :: Integer -> ByteCount #
Integral ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods quot :: ByteCount -> ByteCount -> ByteCount # rem :: ByteCount -> ByteCount -> ByteCount # div :: ByteCount -> ByteCount -> ByteCount # mod :: ByteCount -> ByteCount -> ByteCount # quotRem :: ByteCount -> ByteCount -> (ByteCount, ByteCount) # divMod :: ByteCount -> ByteCount -> (ByteCount, ByteCount) # toInteger :: ByteCount -> Integer #
Real ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods toRational :: ByteCount -> Rational #
Show ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods showsPrec :: Int -> ByteCount -> ShowS # show :: ByteCount -> String # showList :: [ByteCount] -> ShowS #
Default ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods def :: ByteCount #
Eq ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods (==) :: ByteCount -> ByteCount -> Bool # (/=) :: ByteCount -> ByteCount -> Bool #
Ord ByteCount Source #
Instance details Defined in Dahdit.Sizes Methods compare :: ByteCount -> ByteCount -> Ordering # (<) :: ByteCount -> ByteCount -> Bool # (<=) :: ByteCount -> ByteCount -> Bool # (>) :: ByteCount -> ByteCount -> Bool # (>=) :: ByteCount -> ByteCount -> Bool # max :: ByteCount -> ByteCount -> ByteCount # min :: ByteCount -> ByteCount -> ByteCount #

newtype ElemCount Source #

Constructors

ElemCount
Fields unElemCount :: Int

Instances

Instances details

Bounded ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods minBound :: ElemCount # maxBound :: ElemCount #
Enum ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods succ :: ElemCount -> ElemCount # pred :: ElemCount -> ElemCount # toEnum :: Int -> ElemCount # fromEnum :: ElemCount -> Int # enumFrom :: ElemCount -> [ElemCount] # enumFromThen :: ElemCount -> ElemCount -> [ElemCount] # enumFromTo :: ElemCount -> ElemCount -> [ElemCount] # enumFromThenTo :: ElemCount -> ElemCount -> ElemCount -> [ElemCount] #
Num ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods (+) :: ElemCount -> ElemCount -> ElemCount # (-) :: ElemCount -> ElemCount -> ElemCount # (*) :: ElemCount -> ElemCount -> ElemCount # negate :: ElemCount -> ElemCount # abs :: ElemCount -> ElemCount # signum :: ElemCount -> ElemCount # fromInteger :: Integer -> ElemCount #
Integral ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods quot :: ElemCount -> ElemCount -> ElemCount # rem :: ElemCount -> ElemCount -> ElemCount # div :: ElemCount -> ElemCount -> ElemCount # mod :: ElemCount -> ElemCount -> ElemCount # quotRem :: ElemCount -> ElemCount -> (ElemCount, ElemCount) # divMod :: ElemCount -> ElemCount -> (ElemCount, ElemCount) # toInteger :: ElemCount -> Integer #
Real ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods toRational :: ElemCount -> Rational #
Show ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods showsPrec :: Int -> ElemCount -> ShowS # show :: ElemCount -> String # showList :: [ElemCount] -> ShowS #
Default ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods def :: ElemCount #
Eq ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods (==) :: ElemCount -> ElemCount -> Bool # (/=) :: ElemCount -> ElemCount -> Bool #
Ord ElemCount Source #
Instance details Defined in Dahdit.Sizes Methods compare :: ElemCount -> ElemCount -> Ordering # (<) :: ElemCount -> ElemCount -> Bool # (<=) :: ElemCount -> ElemCount -> Bool # (>) :: ElemCount -> ElemCount -> Bool # (>=) :: ElemCount -> ElemCount -> Bool # max :: ElemCount -> ElemCount -> ElemCount # min :: ElemCount -> ElemCount -> ElemCount #

class KnownNat (StaticSize a) => StaticByteSized a where Source #

For types with Prim instances, this will match sizeOfType.

Minimal complete definition

Nothing

Associated Types

type StaticSize a :: Nat Source #

Methods

staticByteSize :: Proxy a -> ByteCount Source #

Instances

Instances details

StaticByteSized Int16 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int16 :: Nat Source # Methods staticByteSize :: Proxy Int16 -> ByteCount Source #
StaticByteSized Int32 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int32 :: Nat Source # Methods staticByteSize :: Proxy Int32 -> ByteCount Source #
StaticByteSized Int64 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int64 :: Nat Source # Methods staticByteSize :: Proxy Int64 -> ByteCount Source #
StaticByteSized Int8 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int8 :: Nat Source # Methods staticByteSize :: Proxy Int8 -> ByteCount Source #
StaticByteSized Word16 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word16 :: Nat Source # Methods staticByteSize :: Proxy Word16 -> ByteCount Source #
StaticByteSized Word32 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word32 :: Nat Source # Methods staticByteSize :: Proxy Word32 -> ByteCount Source #
StaticByteSized Word64 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word64 :: Nat Source # Methods staticByteSize :: Proxy Word64 -> ByteCount Source #
StaticByteSized Word8 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word8 :: Nat Source # Methods staticByteSize :: Proxy Word8 -> ByteCount Source #
StaticByteSized BoolByte Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize BoolByte :: Nat Source # Methods staticByteSize :: Proxy BoolByte -> ByteCount Source #
StaticByteSized DoubleBE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize DoubleBE :: Nat Source # Methods staticByteSize :: Proxy DoubleBE -> ByteCount Source #
StaticByteSized DoubleLE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize DoubleLE :: Nat Source # Methods staticByteSize :: Proxy DoubleLE -> ByteCount Source #
StaticByteSized FloatBE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize FloatBE :: Nat Source # Methods staticByteSize :: Proxy FloatBE -> ByteCount Source #
StaticByteSized FloatLE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize FloatLE :: Nat Source # Methods staticByteSize :: Proxy FloatLE -> ByteCount Source #
StaticByteSized Int16BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int16BE :: Nat Source # Methods staticByteSize :: Proxy Int16BE -> ByteCount Source #
StaticByteSized Int16LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int16LE :: Nat Source # Methods staticByteSize :: Proxy Int16LE -> ByteCount Source #
StaticByteSized Int24BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int24BE :: Nat Source # Methods staticByteSize :: Proxy Int24BE -> ByteCount Source #
StaticByteSized Int24LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int24LE :: Nat Source # Methods staticByteSize :: Proxy Int24LE -> ByteCount Source #
StaticByteSized Int32BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int32BE :: Nat Source # Methods staticByteSize :: Proxy Int32BE -> ByteCount Source #
StaticByteSized Int32LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int32LE :: Nat Source # Methods staticByteSize :: Proxy Int32LE -> ByteCount Source #
StaticByteSized Int64BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int64BE :: Nat Source # Methods staticByteSize :: Proxy Int64BE -> ByteCount Source #
StaticByteSized Int64LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int64LE :: Nat Source # Methods staticByteSize :: Proxy Int64LE -> ByteCount Source #
StaticByteSized Word16BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word16BE :: Nat Source # Methods staticByteSize :: Proxy Word16BE -> ByteCount Source #
StaticByteSized Word16LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word16LE :: Nat Source # Methods staticByteSize :: Proxy Word16LE -> ByteCount Source #
StaticByteSized Word24BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word24BE :: Nat Source # Methods staticByteSize :: Proxy Word24BE -> ByteCount Source #
StaticByteSized Word24LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word24LE :: Nat Source # Methods staticByteSize :: Proxy Word24LE -> ByteCount Source #
StaticByteSized Word32BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word32BE :: Nat Source # Methods staticByteSize :: Proxy Word32BE -> ByteCount Source #
StaticByteSized Word32LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word32LE :: Nat Source # Methods staticByteSize :: Proxy Word32LE -> ByteCount Source #
StaticByteSized Word64BE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word64BE :: Nat Source # Methods staticByteSize :: Proxy Word64BE -> ByteCount Source #
StaticByteSized Word64LE Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word64LE :: Nat Source # Methods staticByteSize :: Proxy Word64LE -> ByteCount Source #
StaticByteSized Int24 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int24 :: Nat Source # Methods staticByteSize :: Proxy Int24 -> ByteCount Source #
StaticByteSized Word24 Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Word24 :: Nat Source # Methods staticByteSize :: Proxy Word24 -> ByteCount Source #
StaticByteSized () Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize () :: Nat Source # Methods staticByteSize :: Proxy () -> ByteCount Source #
StaticByteSized Bool Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Bool :: Nat Source # Methods staticByteSize :: Proxy Bool -> ByteCount Source #
StaticByteSized Char Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Char :: Nat Source # Methods staticByteSize :: Proxy Char -> ByteCount Source #
StaticByteSized Double Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Double :: Nat Source # Methods staticByteSize :: Proxy Double -> ByteCount Source #
StaticByteSized Float Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Float :: Nat Source # Methods staticByteSize :: Proxy Float -> ByteCount Source #
StaticByteSized Int Source #
Instance details Defined in Dahdit.Sizes Associated Types type StaticSize Int :: Nat Source # Methods staticByteSize :: Proxy Int -> ByteCount Source #
KnownNat n => StaticByteSized (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (StaticBytes n) :: Nat Source # Methods staticByteSize :: Proxy (StaticBytes n) -> ByteCount Source #
(GStaticByteSized (Rep t), KnownNat (GStaticSize (Rep t))) => StaticByteSized (ViaStaticGeneric t) Source #
Instance details Defined in Dahdit.Generic Associated Types type StaticSize (ViaStaticGeneric t) :: Nat Source # Methods staticByteSize :: Proxy (ViaStaticGeneric t) -> ByteCount Source #
(StaticByteSized x, BinaryRep x a) => StaticByteSized (ViaBinaryRep x a) Source #
Instance details Defined in Dahdit.BinaryRep Associated Types type StaticSize (ViaBinaryRep x a) :: Nat Source # Methods staticByteSize :: Proxy (ViaBinaryRep x a) -> ByteCount Source #
(SymLen n s, KnownSymbol s, KnownNat n) => StaticByteSized (ExactBytes n s) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (ExactBytes n s) :: Nat Source # Methods staticByteSize :: Proxy (ExactBytes n s) -> ByteCount Source #
(KnownNat n, StaticByteSized a) => StaticByteSized (StaticArray n a) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (StaticArray n a) :: Nat Source # Methods staticByteSize :: Proxy (StaticArray n a) -> ByteCount Source #
(KnownNat n, StaticByteSized a) => StaticByteSized (StaticSeq n a) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (StaticSeq n a) :: Nat Source # Methods staticByteSize :: Proxy (StaticSeq n a) -> ByteCount Source #

staticByteSizeFoldable :: (Foldable f, StaticByteSized a) => f a -> ByteCount Source #

byteSizeViaStatic :: StaticByteSized a => a -> ByteCount Source #

primByteSize :: Prim a => a -> ByteCount Source #

primByteSizeOf :: forall a. Prim a => Proxy a -> ByteCount Source #