Dahdit.Sizes

Documentation

newtype ByteCount

Constructors

ByteCount

Fields

• unByteCount :: Int

Instances

Enum ByteCount

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

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

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

Defined in Dahdit.Sizes

Methods

toRational :: ByteCount -> Rational

Show ByteCount

Defined in Dahdit.Sizes

Methods

showsPrec :: Int -> ByteCount -> ShowS

show :: ByteCount -> String

showList :: [ByteCount] -> ShowS

Default ByteCount

Defined in Dahdit.Sizes

Methods

def :: ByteCount

Eq ByteCount

Defined in Dahdit.Sizes

Methods

(==) :: ByteCount -> ByteCount -> Bool

(/=) :: ByteCount -> ByteCount -> Bool

Ord ByteCount

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

Constructors

ElemCount

Fields

• unElemCount :: Int

Instances

Enum ElemCount

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

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

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

Defined in Dahdit.Sizes

Methods

toRational :: ElemCount -> Rational

Show ElemCount

Defined in Dahdit.Sizes

Methods

showsPrec :: Int -> ElemCount -> ShowS

show :: ElemCount -> String

showList :: [ElemCount] -> ShowS

Default ElemCount

Defined in Dahdit.Sizes

Methods

def :: ElemCount

Eq ElemCount

Defined in Dahdit.Sizes

Methods

(==) :: ElemCount -> ElemCount -> Bool

(/=) :: ElemCount -> ElemCount -> Bool

Ord ElemCount

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

Minimal complete definition

Nothing

Associated Types

type StaticSize a :: Nat

Methods

staticByteSize :: Proxy a -> ByteCount

Instances

StaticByteSized Int16

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int16 :: Nat

Methods

staticByteSize :: Proxy Int16 -> ByteCount

StaticByteSized Int32

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int32 :: Nat

Methods

staticByteSize :: Proxy Int32 -> ByteCount

StaticByteSized Int64

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int64 :: Nat

Methods

staticByteSize :: Proxy Int64 -> ByteCount

StaticByteSized Int8

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int8 :: Nat

Methods

staticByteSize :: Proxy Int8 -> ByteCount

StaticByteSized Word16

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word16 :: Nat

Methods

staticByteSize :: Proxy Word16 -> ByteCount

StaticByteSized Word32

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word32 :: Nat

Methods

staticByteSize :: Proxy Word32 -> ByteCount

StaticByteSized Word64

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word64 :: Nat

Methods

staticByteSize :: Proxy Word64 -> ByteCount

StaticByteSized Word8

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word8 :: Nat

Methods

staticByteSize :: Proxy Word8 -> ByteCount

StaticByteSized BoolByte

Defined in Dahdit.Fancy

Associated Types

type StaticSize BoolByte :: Nat

Methods

staticByteSize :: Proxy BoolByte -> ByteCount

StaticByteSized DoubleBE

Defined in Dahdit.Sizes

Associated Types

type StaticSize DoubleBE :: Nat

Methods

staticByteSize :: Proxy DoubleBE -> ByteCount

StaticByteSized DoubleLE

Defined in Dahdit.Sizes

Associated Types

type StaticSize DoubleLE :: Nat

Methods

staticByteSize :: Proxy DoubleLE -> ByteCount

StaticByteSized FloatBE

Defined in Dahdit.Sizes

Associated Types

type StaticSize FloatBE :: Nat

Methods

staticByteSize :: Proxy FloatBE -> ByteCount

StaticByteSized FloatLE

Defined in Dahdit.Sizes

Associated Types

type StaticSize FloatLE :: Nat

Methods

staticByteSize :: Proxy FloatLE -> ByteCount

StaticByteSized Int16BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int16BE :: Nat

Methods

staticByteSize :: Proxy Int16BE -> ByteCount

StaticByteSized Int16LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int16LE :: Nat

Methods

staticByteSize :: Proxy Int16LE -> ByteCount

StaticByteSized Int24BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int24BE :: Nat

Methods

staticByteSize :: Proxy Int24BE -> ByteCount

StaticByteSized Int24LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int24LE :: Nat

Methods

staticByteSize :: Proxy Int24LE -> ByteCount

StaticByteSized Int32BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int32BE :: Nat

Methods

staticByteSize :: Proxy Int32BE -> ByteCount

StaticByteSized Int32LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int32LE :: Nat

Methods

staticByteSize :: Proxy Int32LE -> ByteCount

StaticByteSized Int64BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int64BE :: Nat

Methods

staticByteSize :: Proxy Int64BE -> ByteCount

StaticByteSized Int64LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int64LE :: Nat

Methods

staticByteSize :: Proxy Int64LE -> ByteCount

StaticByteSized Word16BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word16BE :: Nat

Methods

staticByteSize :: Proxy Word16BE -> ByteCount

StaticByteSized Word16LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word16LE :: Nat

Methods

staticByteSize :: Proxy Word16LE -> ByteCount

StaticByteSized Word24BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word24BE :: Nat

Methods

staticByteSize :: Proxy Word24BE -> ByteCount

StaticByteSized Word24LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word24LE :: Nat

Methods

staticByteSize :: Proxy Word24LE -> ByteCount

StaticByteSized Word32BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word32BE :: Nat

Methods

staticByteSize :: Proxy Word32BE -> ByteCount

StaticByteSized Word32LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word32LE :: Nat

Methods

staticByteSize :: Proxy Word32LE -> ByteCount

StaticByteSized Word64BE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word64BE :: Nat

Methods

staticByteSize :: Proxy Word64BE -> ByteCount

StaticByteSized Word64LE

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word64LE :: Nat

Methods

staticByteSize :: Proxy Word64LE -> ByteCount

StaticByteSized Int24

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int24 :: Nat

Methods

staticByteSize :: Proxy Int24 -> ByteCount

StaticByteSized Word24

Defined in Dahdit.Sizes

Associated Types

type StaticSize Word24 :: Nat

Methods

staticByteSize :: Proxy Word24 -> ByteCount

StaticByteSized ()

Defined in Dahdit.Sizes

Associated Types

type StaticSize () :: Nat

Methods

staticByteSize :: Proxy () -> ByteCount

StaticByteSized Bool

Defined in Dahdit.Sizes

Associated Types

type StaticSize Bool :: Nat

Methods

staticByteSize :: Proxy Bool -> ByteCount

StaticByteSized Char

Defined in Dahdit.Sizes

Associated Types

type StaticSize Char :: Nat

Methods

staticByteSize :: Proxy Char -> ByteCount

StaticByteSized Double

Defined in Dahdit.Sizes

Associated Types

type StaticSize Double :: Nat

Methods

staticByteSize :: Proxy Double -> ByteCount

StaticByteSized Float

Defined in Dahdit.Sizes

Associated Types

type StaticSize Float :: Nat

Methods

staticByteSize :: Proxy Float -> ByteCount

StaticByteSized Int

Defined in Dahdit.Sizes

Associated Types

type StaticSize Int :: Nat

Methods

staticByteSize :: Proxy Int -> ByteCount

KnownNat n => StaticByteSized (StaticBytes n)

Defined in Dahdit.Fancy

Associated Types

type StaticSize (StaticBytes n) :: Nat

Methods

staticByteSize :: Proxy (StaticBytes n) -> ByteCount

(GStaticByteSized (Rep t), KnownNat (GStaticSize (Rep t))) => StaticByteSized (ViaStaticGeneric t)

Defined in Dahdit.Generic

Associated Types

type StaticSize (ViaStaticGeneric t) :: Nat

Methods

staticByteSize :: Proxy (ViaStaticGeneric t) -> ByteCount

(StaticByteSized x, BinaryRep x a) => StaticByteSized (ViaBinaryRep x a)

Defined in Dahdit.BinaryRep

Associated Types

type StaticSize (ViaBinaryRep x a) :: Nat

Methods

staticByteSize :: Proxy (ViaBinaryRep x a) -> ByteCount

(SymLen n s, KnownSymbol s, KnownNat n) => StaticByteSized (ExactBytes n s)

Defined in Dahdit.Fancy

Associated Types

type StaticSize (ExactBytes n s) :: Nat

Methods

staticByteSize :: Proxy (ExactBytes n s) -> ByteCount

(KnownNat n, StaticByteSized a) => StaticByteSized (StaticArray n a)

Defined in Dahdit.Fancy

Associated Types

type StaticSize (StaticArray n a) :: Nat

Methods

staticByteSize :: Proxy (StaticArray n a) -> ByteCount

(KnownNat n, StaticByteSized a) => StaticByteSized (StaticSeq n a)

Defined in Dahdit.Fancy

Associated Types

type StaticSize (StaticSeq n a) :: Nat

Methods

staticByteSize :: Proxy (StaticSeq n a) -> ByteCount

(StaticByteSized le, n ~ StaticSize le) => StaticByteSized (ViaEndianPair n le be)

Defined in Dahdit.Sizes

Associated Types

type StaticSize (ViaEndianPair n le be) :: Nat

Methods

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

(StaticByteSized x, n ~ StaticSize x) => StaticByteSized (ViaFromIntegral n x y)

Defined in Dahdit.Sizes

Associated Types

type StaticSize (ViaFromIntegral n x y) :: Nat

Methods

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

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

byteSizeViaStatic :: StaticByteSized a => a -> ByteCount