Dahdit.Fancy

Documentation

newtype TermBytes

Bytes terminated with null byte. NOTE: Terminated with TWO null bytes if the string is even length to align to Word16 boundaries, as required for RIFF format, for example.

Constructors

TermBytes

Fields

• unTermBytes :: ShortByteString

Instances

IsString TermBytes

Defined in Dahdit.Fancy

Methods

fromString :: String -> TermBytes

Show TermBytes

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> TermBytes -> ShowS

show :: TermBytes -> String

showList :: [TermBytes] -> ShowS

Binary TermBytes

Defined in Dahdit.Fancy

Methods

get :: Get TermBytes

put :: TermBytes -> Put

HasCodec TermBytes

Defined in Dahdit.Codec

Methods

codec :: Codec TermBytes

ByteSized TermBytes

Defined in Dahdit.Fancy

Methods

byteSize :: TermBytes -> ByteCount

Default TermBytes

Defined in Dahdit.Fancy

Methods

def :: TermBytes

Eq TermBytes

Defined in Dahdit.Fancy

Methods

(==) :: TermBytes -> TermBytes -> Bool

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

Ord TermBytes

Defined in Dahdit.Fancy

Methods

compare :: TermBytes -> TermBytes -> Ordering

(<) :: TermBytes -> TermBytes -> Bool

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

(>) :: TermBytes -> TermBytes -> Bool

(>=) :: TermBytes -> TermBytes -> Bool

max :: TermBytes -> TermBytes -> TermBytes

min :: TermBytes -> TermBytes -> TermBytes

newtype StaticBytes (n :: Nat)

A fixed-length bytestring (truncated or zero-padded on put if length does not match).

Constructors

StaticBytes

Fields

• unStaticBytes :: ShortByteString

Instances

IsString (StaticBytes n)

Defined in Dahdit.Fancy

Methods

fromString :: String -> StaticBytes n

Show (StaticBytes n)

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> StaticBytes n -> ShowS

show :: StaticBytes n -> String

showList :: [StaticBytes n] -> ShowS

KnownNat n => Binary (StaticBytes n)

Defined in Dahdit.Fancy

Methods

get :: Get (StaticBytes n)

put :: StaticBytes n -> Put

KnownNat n => ByteSized (StaticBytes n)

Defined in Dahdit.Fancy

Methods

byteSize :: StaticBytes n -> ByteCount

KnownNat n => StaticByteSized (StaticBytes n)

Defined in Dahdit.Fancy

Methods

staticByteSize :: Proxy (StaticBytes n) -> ByteCount

Default (StaticBytes n)

Defined in Dahdit.Fancy

Methods

def :: StaticBytes n

KnownNat n => Eq (StaticBytes n)

Defined in Dahdit.Fancy

Methods

(==) :: StaticBytes n -> StaticBytes n -> Bool

(/=) :: StaticBytes n -> StaticBytes n -> Bool

KnownNat n => Ord (StaticBytes n)

Defined in Dahdit.Fancy

Methods

compare :: StaticBytes n -> StaticBytes n -> Ordering

(<) :: StaticBytes n -> StaticBytes n -> Bool

(<=) :: StaticBytes n -> StaticBytes n -> Bool

(>) :: StaticBytes n -> StaticBytes n -> Bool

(>=) :: StaticBytes n -> StaticBytes n -> Bool

max :: StaticBytes n -> StaticBytes n -> StaticBytes n

min :: StaticBytes n -> StaticBytes n -> StaticBytes n

mkStaticBytes :: KnownNat n => Proxy n -> ShortByteString -> StaticBytes n

normStaticBytes :: KnownNat n => StaticBytes n -> StaticBytes n

newtype StaticSeq (n :: Nat) a

Constructors

StaticSeq

Fields

• unStaticSeq :: Seq a

Instances

Foldable (StaticSeq n)

Defined in Dahdit.Fancy

Methods

fold :: Monoid m => StaticSeq n m -> m

foldMap :: Monoid m => (a -> m) -> StaticSeq n a -> m

foldMap' :: Monoid m => (a -> m) -> StaticSeq n a -> m

foldr :: (a -> b -> b) -> b -> StaticSeq n a -> b

foldr' :: (a -> b -> b) -> b -> StaticSeq n a -> b

foldl :: (b -> a -> b) -> b -> StaticSeq n a -> b

foldl' :: (b -> a -> b) -> b -> StaticSeq n a -> b

foldr1 :: (a -> a -> a) -> StaticSeq n a -> a

foldl1 :: (a -> a -> a) -> StaticSeq n a -> a

toList :: StaticSeq n a -> [a]

null :: StaticSeq n a -> Bool

length :: StaticSeq n a -> Int

elem :: Eq a => a -> StaticSeq n a -> Bool

maximum :: Ord a => StaticSeq n a -> a

minimum :: Ord a => StaticSeq n a -> a

sum :: Num a => StaticSeq n a -> a

product :: Num a => StaticSeq n a -> a

Functor (StaticSeq n)

Defined in Dahdit.Fancy

Methods

fmap :: (a -> b) -> StaticSeq n a -> StaticSeq n b

(<$) :: a -> StaticSeq n b -> StaticSeq n a

Show a => Show (StaticSeq n a)

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> StaticSeq n a -> ShowS

show :: StaticSeq n a -> String

showList :: [StaticSeq n a] -> ShowS

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

Defined in Dahdit.Fancy

Methods

get :: Get (StaticSeq n a)

put :: StaticSeq n a -> Put

(KnownNat n, Binary a, StaticByteSized a, Default a) => HasCodec (StaticSeq n a)

Defined in Dahdit.Codec

Methods

codec :: Codec (StaticSeq n a)

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

Defined in Dahdit.Fancy

Methods

byteSize :: StaticSeq n a -> ByteCount

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

Defined in Dahdit.Fancy

Methods

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

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

Defined in Dahdit.Fancy

Methods

def :: StaticSeq n a

Eq a => Eq (StaticSeq n a)

Defined in Dahdit.Fancy

Methods

(==) :: StaticSeq n a -> StaticSeq n a -> Bool

(/=) :: StaticSeq n a -> StaticSeq n a -> Bool

newtype StaticArray (n :: Nat) a

Constructors

StaticArray

Fields

• unStaticArray :: LiftedPrimArray a

Instances

Show (StaticArray n a)

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> StaticArray n a -> ShowS

show :: StaticArray n a -> String

showList :: [StaticArray n a] -> ShowS

(KnownNat n, LiftedPrim a, Default a) => Binary (StaticArray n a)

Defined in Dahdit.Fancy

Methods

get :: Get (StaticArray n a)

put :: StaticArray n a -> Put

(KnownNat n, LiftedPrim a, Default a) => HasCodec (StaticArray n a)

Defined in Dahdit.Codec

Methods

codec :: Codec (StaticArray n a)

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

Defined in Dahdit.Fancy

Methods

byteSize :: StaticArray n a -> ByteCount

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

Defined in Dahdit.Fancy

Methods

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

(KnownNat n, LiftedPrim a, Default a) => Default (StaticArray n a)

Defined in Dahdit.Fancy

Methods

def :: StaticArray n a

Eq (StaticArray n a)

Defined in Dahdit.Fancy

Methods

(==) :: StaticArray n a -> StaticArray n a -> Bool

(/=) :: StaticArray n a -> StaticArray n a -> Bool

newtype BoolByte

Constructors

BoolByte

Fields

• unBoolByte :: Bool

Instances

Show BoolByte

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> BoolByte -> ShowS

show :: BoolByte -> String

showList :: [BoolByte] -> ShowS

Binary BoolByte

Defined in Dahdit.Fancy

Methods

get :: Get BoolByte

put :: BoolByte -> Put

HasCodec BoolByte

Defined in Dahdit.Codec

Methods

codec :: Codec BoolByte

ByteSized BoolByte

Defined in Dahdit.Fancy

Methods

byteSize :: BoolByte -> ByteCount

StaticByteSized BoolByte

Defined in Dahdit.Fancy

Methods

staticByteSize :: Proxy BoolByte -> ByteCount

Default BoolByte

Defined in Dahdit.Fancy

Methods

def :: BoolByte

Eq BoolByte

Defined in Dahdit.Fancy

Methods

(==) :: BoolByte -> BoolByte -> Bool

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

newtype ExactBytes (s :: Symbol)

Constructors

ExactBytes

Fields

• unExactBytes :: ()

Instances

Show (ExactBytes s)

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> ExactBytes s -> ShowS

show :: ExactBytes s -> String

showList :: [ExactBytes s] -> ShowS

KnownSymbol s => Binary (ExactBytes s)

Defined in Dahdit.Fancy

Methods

get :: Get (ExactBytes s)

put :: ExactBytes s -> Put

KnownSymbol s => HasCodec (ExactBytes s)

Defined in Dahdit.Codec

Methods

codec :: Codec (ExactBytes s)

KnownSymbol s => ByteSized (ExactBytes s)

Defined in Dahdit.Fancy

Methods

byteSize :: ExactBytes s -> ByteCount

KnownSymbol s => StaticByteSized (ExactBytes s)

Defined in Dahdit.Fancy

Methods

staticByteSize :: Proxy (ExactBytes s) -> ByteCount

Default (ExactBytes s)

Defined in Dahdit.Fancy

Methods

def :: ExactBytes s

Eq (ExactBytes s)

Defined in Dahdit.Fancy

Methods

(==) :: ExactBytes s -> ExactBytes s -> Bool

(/=) :: ExactBytes s -> ExactBytes s -> Bool