Dahdit.Fancy

Documentation

newtype TermBytes8

Bytes terminated with null byte.

Constructors

TermBytes8

Fields

• unTermBytes8 :: ShortByteString

Instances

IsString TermBytes8

Defined in Dahdit.Fancy

Methods

fromString :: String -> TermBytes8

Show TermBytes8

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> TermBytes8 -> ShowS

show :: TermBytes8 -> String

showList :: [TermBytes8] -> ShowS

Binary TermBytes8

Defined in Dahdit.Fancy

Methods

byteSize :: TermBytes8 -> ByteCount

get :: Get TermBytes8

put :: TermBytes8 -> Put

Default TermBytes8

Defined in Dahdit.Fancy

Methods

def :: TermBytes8

Eq TermBytes8

Defined in Dahdit.Fancy

Methods

(==) :: TermBytes8 -> TermBytes8 -> Bool

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

Ord TermBytes8

Defined in Dahdit.Fancy

Methods

compare :: TermBytes8 -> TermBytes8 -> Ordering

(<) :: TermBytes8 -> TermBytes8 -> Bool

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

(>) :: TermBytes8 -> TermBytes8 -> Bool

(>=) :: TermBytes8 -> TermBytes8 -> Bool

max :: TermBytes8 -> TermBytes8 -> TermBytes8

min :: TermBytes8 -> TermBytes8 -> TermBytes8

newtype TermBytes16

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

TermBytes16

Fields

• unTermBytes16 :: ShortByteString

Instances

IsString TermBytes16

Defined in Dahdit.Fancy

Methods

fromString :: String -> TermBytes16

Show TermBytes16

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> TermBytes16 -> ShowS

show :: TermBytes16 -> String

showList :: [TermBytes16] -> ShowS

Binary TermBytes16

Defined in Dahdit.Fancy

Methods

byteSize :: TermBytes16 -> ByteCount

get :: Get TermBytes16

put :: TermBytes16 -> Put

Default TermBytes16

Defined in Dahdit.Fancy

Methods

def :: TermBytes16

Eq TermBytes16

Defined in Dahdit.Fancy

Methods

(==) :: TermBytes16 -> TermBytes16 -> Bool

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

Ord TermBytes16

Defined in Dahdit.Fancy

Methods

compare :: TermBytes16 -> TermBytes16 -> Ordering

(<) :: TermBytes16 -> TermBytes16 -> Bool

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

(>) :: TermBytes16 -> TermBytes16 -> Bool

(>=) :: TermBytes16 -> TermBytes16 -> Bool

max :: TermBytes16 -> TermBytes16 -> TermBytes16

min :: TermBytes16 -> TermBytes16 -> TermBytes16

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

byteSize :: StaticBytes n -> ByteCount

get :: Get (StaticBytes n)

put :: StaticBytes n -> Put

KnownNat n => StaticByteSized (StaticBytes n)

Defined in Dahdit.Fancy

Associated Types

type StaticSize (StaticBytes n) :: Nat

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

type StaticSize (StaticBytes n)

Defined in Dahdit.Fancy

type StaticSize (StaticBytes n) = 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

byteSize :: StaticSeq n a -> ByteCount

get :: Get (StaticSeq n a)

put :: StaticSeq n a -> Put

(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

(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

type StaticSize (StaticSeq n a)

Defined in Dahdit.Fancy

type StaticSize (StaticSeq n a) = n * StaticSize a

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

byteSize :: StaticArray n a -> ByteCount

get :: Get (StaticArray n a)

put :: StaticArray n a -> Put

(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, 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

type StaticSize (StaticArray n a)

Defined in Dahdit.Fancy

type StaticSize (StaticArray n a) = n * StaticSize a

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

byteSize :: BoolByte -> ByteCount

get :: Get BoolByte

put :: BoolByte -> Put

StaticByteSized BoolByte

Defined in Dahdit.Fancy

Associated Types

type StaticSize BoolByte :: Nat

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

type StaticSize BoolByte

Defined in Dahdit.Fancy

type StaticSize BoolByte = 1

newtype ExactBytes (n :: Nat) (s :: Symbol)

Constructors

ExactBytes

Fields

• unExactBytes :: ()

Instances

Show (ExactBytes n s)

Defined in Dahdit.Fancy

Methods

showsPrec :: Int -> ExactBytes n s -> ShowS

show :: ExactBytes n s -> String

showList :: [ExactBytes n s] -> ShowS

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

Defined in Dahdit.Fancy

Methods

byteSize :: ExactBytes n s -> ByteCount

get :: Get (ExactBytes n s)

put :: ExactBytes n s -> Put

(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

Default (ExactBytes n s)

Defined in Dahdit.Fancy

Methods

def :: ExactBytes n s

Eq (ExactBytes n s)

Defined in Dahdit.Fancy

Methods

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

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

type StaticSize (ExactBytes n s)

Defined in Dahdit.Fancy

type StaticSize (ExactBytes n s) = n