dahdit-0.5.1: Binary parsing and serialization with integrated size
Safe HaskellSafe-Inferred
LanguageHaskell2010

Dahdit.Sizes

Documentation

newtype ByteCount Source #

Constructors

ByteCount 

Fields

Instances

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

Instances

Instances details
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 #

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) => 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 #

(StaticByteSized le, n ~ StaticSize le) => StaticByteSized (ViaEndianPair n le be) Source # 
Instance details

Defined in Dahdit.Sizes

Associated Types

type StaticSize (ViaEndianPair n le be) :: Nat Source #

Methods

staticByteSize :: Proxy (ViaEndianPair n le be) -> ByteCount Source #

(StaticByteSized x, n ~ StaticSize x) => StaticByteSized (ViaFromIntegral n x y) Source # 
Instance details

Defined in Dahdit.Sizes

Associated Types

type StaticSize (ViaFromIntegral n x y) :: Nat Source #

Methods

staticByteSize :: Proxy (ViaFromIntegral n x y) -> ByteCount Source #

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

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