Dahdit.Sizes

Documentation

newtype ElementCount

Constructors

ElementCount

Fields

• unElementCount :: Word64

Instances

Bounded ElementCount

Defined in Dahdit.Sizes

Methods

minBound :: ElementCount

maxBound :: ElementCount

Enum ElementCount

Defined in Dahdit.Sizes

Methods

succ :: ElementCount -> ElementCount

pred :: ElementCount -> ElementCount

toEnum :: Int -> ElementCount

fromEnum :: ElementCount -> Int

enumFrom :: ElementCount -> [ElementCount]

enumFromThen :: ElementCount -> ElementCount -> [ElementCount]

enumFromTo :: ElementCount -> ElementCount -> [ElementCount]

enumFromThenTo :: ElementCount -> ElementCount -> ElementCount -> [ElementCount]

Num ElementCount

Defined in Dahdit.Sizes

Methods

(+) :: ElementCount -> ElementCount -> ElementCount

(-) :: ElementCount -> ElementCount -> ElementCount

(*) :: ElementCount -> ElementCount -> ElementCount

negate :: ElementCount -> ElementCount

abs :: ElementCount -> ElementCount

signum :: ElementCount -> ElementCount

fromInteger :: Integer -> ElementCount

Integral ElementCount

Defined in Dahdit.Sizes

Methods

quot :: ElementCount -> ElementCount -> ElementCount

rem :: ElementCount -> ElementCount -> ElementCount

div :: ElementCount -> ElementCount -> ElementCount

mod :: ElementCount -> ElementCount -> ElementCount

quotRem :: ElementCount -> ElementCount -> (ElementCount, ElementCount)

divMod :: ElementCount -> ElementCount -> (ElementCount, ElementCount)

toInteger :: ElementCount -> Integer

Real ElementCount

Defined in Dahdit.Sizes

Methods

toRational :: ElementCount -> Rational

Show ElementCount

Defined in Dahdit.Sizes

Methods

showsPrec :: Int -> ElementCount -> ShowS

show :: ElementCount -> String

showList :: [ElementCount] -> ShowS

Default ElementCount

Defined in Dahdit.Sizes

Methods

def :: ElementCount

Eq ElementCount

Defined in Dahdit.Sizes

Methods

(==) :: ElementCount -> ElementCount -> Bool

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

Ord ElementCount

Defined in Dahdit.Sizes

Methods

compare :: ElementCount -> ElementCount -> Ordering

(<) :: ElementCount -> ElementCount -> Bool

(<=) :: ElementCount -> ElementCount -> Bool

(>) :: ElementCount -> ElementCount -> Bool

(>=) :: ElementCount -> ElementCount -> Bool

max :: ElementCount -> ElementCount -> ElementCount

min :: ElementCount -> ElementCount -> ElementCount

newtype ByteCount

Constructors

ByteCount

Fields

• unByteCount :: Word64

Instances

Bounded ByteCount

Defined in Dahdit.Sizes

Methods

minBound :: ByteCount

maxBound :: ByteCount

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

class ByteSized a => StaticByteSized a where

Methods

staticByteSize :: Proxy a -> ByteCount

Instances

StaticByteSized Int16

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int16 -> ByteCount

StaticByteSized Int32

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int32 -> ByteCount

StaticByteSized Int64

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int64 -> ByteCount

StaticByteSized Int8

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int8 -> ByteCount

StaticByteSized Word16

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word16 -> ByteCount

StaticByteSized Word32

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word32 -> ByteCount

StaticByteSized Word64

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word64 -> ByteCount

StaticByteSized Word8

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word8 -> ByteCount

StaticByteSized BoolByte

Defined in Dahdit.Fancy

Methods

staticByteSize :: Proxy BoolByte -> ByteCount

StaticByteSized FloatBE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy FloatBE -> ByteCount

StaticByteSized FloatLE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy FloatLE -> ByteCount

StaticByteSized Int16BE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int16BE -> ByteCount

StaticByteSized Int16LE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int16LE -> ByteCount

StaticByteSized Int24BE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int24BE -> ByteCount

StaticByteSized Int24LE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int24LE -> ByteCount

StaticByteSized Int32BE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int32BE -> ByteCount

StaticByteSized Int32LE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Int32LE -> ByteCount

StaticByteSized Word16BE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word16BE -> ByteCount

StaticByteSized Word16LE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word16LE -> ByteCount

StaticByteSized Word24BE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word24BE -> ByteCount

StaticByteSized Word24LE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word24LE -> ByteCount

StaticByteSized Word32BE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word32BE -> ByteCount

StaticByteSized Word32LE

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy Word32LE -> ByteCount

StaticByteSized ()

Defined in Dahdit.Sizes

Methods

staticByteSize :: Proxy () -> ByteCount

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

Defined in Dahdit.BinaryRep

Methods

staticByteSize :: Proxy (ViaBinaryRep a) -> ByteCount

KnownSymbol s => StaticByteSized (ExactBytes s)

Defined in Dahdit.Fancy

Methods

staticByteSize :: Proxy (ExactBytes s) -> ByteCount

KnownNat n => StaticByteSized (StaticBytes n)

Defined in Dahdit.Fancy

Methods

staticByteSize :: Proxy (StaticBytes n) -> ByteCount

(Generic t, GStaticByteSized (Rep t)) => StaticByteSized (ViaStaticGeneric t)

Defined in Dahdit.Generic

Methods

staticByteSize :: Proxy (ViaStaticGeneric t) -> ByteCount

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

Defined in Dahdit.Fancy

Methods

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

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

Defined in Dahdit.Fancy

Methods

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

byteSizeViaStatic :: StaticByteSized a => a -> ByteCount

class ByteSized a where

Methods

byteSize :: a -> ByteCount

Instances

ByteSized Int16

Defined in Dahdit.Sizes

Methods

byteSize :: Int16 -> ByteCount

ByteSized Int32

Defined in Dahdit.Sizes

Methods

byteSize :: Int32 -> ByteCount

ByteSized Int64

Defined in Dahdit.Sizes

Methods

byteSize :: Int64 -> ByteCount

ByteSized Int8

Defined in Dahdit.Sizes

Methods

byteSize :: Int8 -> ByteCount

ByteSized Word16

Defined in Dahdit.Sizes

Methods

byteSize :: Word16 -> ByteCount

ByteSized Word32

Defined in Dahdit.Sizes

Methods

byteSize :: Word32 -> ByteCount

ByteSized Word64

Defined in Dahdit.Sizes

Methods

byteSize :: Word64 -> ByteCount

ByteSized Word8

Defined in Dahdit.Sizes

Methods

byteSize :: Word8 -> ByteCount

ByteSized ShortByteString

Defined in Dahdit.Sizes

Methods

byteSize :: ShortByteString -> ByteCount

ByteSized BoolByte

Defined in Dahdit.Fancy

Methods

byteSize :: BoolByte -> ByteCount

ByteSized TermBytes

Defined in Dahdit.Fancy

Methods

byteSize :: TermBytes -> ByteCount

ByteSized FloatBE

Defined in Dahdit.Sizes

Methods

byteSize :: FloatBE -> ByteCount

ByteSized FloatLE

Defined in Dahdit.Sizes

Methods

byteSize :: FloatLE -> ByteCount

ByteSized Int16BE

Defined in Dahdit.Sizes

Methods

byteSize :: Int16BE -> ByteCount

ByteSized Int16LE

Defined in Dahdit.Sizes

Methods

byteSize :: Int16LE -> ByteCount

ByteSized Int24BE

Defined in Dahdit.Sizes

Methods

byteSize :: Int24BE -> ByteCount

ByteSized Int24LE

Defined in Dahdit.Sizes

Methods

byteSize :: Int24LE -> ByteCount

ByteSized Int32BE

Defined in Dahdit.Sizes

Methods

byteSize :: Int32BE -> ByteCount

ByteSized Int32LE

Defined in Dahdit.Sizes

Methods

byteSize :: Int32LE -> ByteCount

ByteSized Word16BE

Defined in Dahdit.Sizes

Methods

byteSize :: Word16BE -> ByteCount

ByteSized Word16LE

Defined in Dahdit.Sizes

Methods

byteSize :: Word16LE -> ByteCount

ByteSized Word24BE

Defined in Dahdit.Sizes

Methods

byteSize :: Word24BE -> ByteCount

ByteSized Word24LE

Defined in Dahdit.Sizes

Methods

byteSize :: Word24LE -> ByteCount

ByteSized Word32BE

Defined in Dahdit.Sizes

Methods

byteSize :: Word32BE -> ByteCount

ByteSized Word32LE

Defined in Dahdit.Sizes

Methods

byteSize :: Word32LE -> ByteCount

ByteSized ()

Defined in Dahdit.Sizes

Methods

byteSize :: () -> ByteCount

StaticByteSized a => ByteSized (Seq a)

Defined in Dahdit.Sizes

Methods

byteSize :: Seq a -> ByteCount

BinaryRep x a => ByteSized (ViaBinaryRep a)

Defined in Dahdit.BinaryRep

Methods

byteSize :: ViaBinaryRep a -> ByteCount

KnownSymbol s => ByteSized (ExactBytes s)

Defined in Dahdit.Fancy

Methods

byteSize :: ExactBytes s -> ByteCount

KnownNat n => ByteSized (StaticBytes n)

Defined in Dahdit.Fancy

Methods

byteSize :: StaticBytes n -> ByteCount

(Generic t, GByteSized (Rep t)) => ByteSized (ViaGeneric t)

Defined in Dahdit.Generic

Methods

byteSize :: ViaGeneric t -> ByteCount

(Generic t, GByteSized (Rep t)) => ByteSized (ViaStaticGeneric t)

Defined in Dahdit.Generic

Methods

byteSize :: ViaStaticGeneric t -> ByteCount

(StaticByteSized a, LiftedPrim a) => ByteSized (LiftedPrimArray a)

Defined in Dahdit.Sizes

Methods

byteSize :: LiftedPrimArray a -> ByteCount

StaticByteSized a => ByteSized (ViaStaticByteSized a)

Defined in Dahdit.Sizes

Methods

byteSize :: ViaStaticByteSized a -> ByteCount

(StaticByteSized a, Prim a) => ByteSized (PrimArray a)

Defined in Dahdit.Sizes

Methods

byteSize :: PrimArray a -> ByteCount

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

Defined in Dahdit.Fancy

Methods

byteSize :: StaticArray n a -> ByteCount

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

Defined in Dahdit.Fancy

Methods

byteSize :: StaticSeq n a -> ByteCount

newtype ViaStaticByteSized a

Constructors

ViaStaticByteSized

Fields

• unViaStaticByteSized :: a

Instances

StaticByteSized a => ByteSized (ViaStaticByteSized a)

Defined in Dahdit.Sizes

Methods

byteSize :: ViaStaticByteSized a -> ByteCount

byteSizeFoldable :: (Foldable f, ByteSized a) => f a -> ByteCount

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