Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Dahdit.Fancy
Synopsis
- newtype TermBytes = TermBytes {}
- newtype StaticBytes (n :: Nat) = StaticBytes {}
- mkStaticBytes :: KnownNat n => Proxy n -> ShortByteString -> StaticBytes n
- normStaticBytes :: KnownNat n => StaticBytes n -> StaticBytes n
- newtype StaticSeq (n :: Nat) a = StaticSeq {
- unStaticSeq :: Seq a
- newtype StaticArray (n :: Nat) a = StaticArray {
- unStaticArray :: PrimArray a
- newtype BoolByte = BoolByte {
- unBoolByte :: Bool
- newtype ExactBytes (s :: Symbol) = ExactBytes {
- unExactBytes :: ()
Documentation
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 |
Instances
IsString TermBytes Source # | |
Defined in Dahdit.Fancy Methods fromString :: String -> TermBytes # | |
Show TermBytes Source # | |
Binary TermBytes Source # | |
ByteSized TermBytes Source # | |
Default TermBytes Source # | |
Defined in Dahdit.Fancy | |
Eq TermBytes Source # | |
Ord TermBytes Source # | |
newtype StaticBytes (n :: Nat) Source #
A fixed-length bytestring (truncated or zero-padded on put if length does not match).
Constructors
StaticBytes | |
Fields |
Instances
mkStaticBytes :: KnownNat n => Proxy n -> ShortByteString -> StaticBytes n Source #
normStaticBytes :: KnownNat n => StaticBytes n -> StaticBytes n Source #
newtype StaticSeq (n :: Nat) a Source #
Constructors
StaticSeq | |
Fields
|
Instances
newtype StaticArray (n :: Nat) a Source #
Constructors
StaticArray | |
Fields
|
Instances
(Show a, Prim a) => Show (StaticArray n a) Source # | |
Defined in Dahdit.Fancy Methods showsPrec :: Int -> StaticArray n a -> ShowS # show :: StaticArray n a -> String # showList :: [StaticArray n a] -> ShowS # | |
(KnownNat n, Prim a, StaticByteSized a, Default a) => Binary (StaticArray n a) Source # | |
Defined in Dahdit.Fancy | |
(KnownNat n, StaticByteSized a) => ByteSized (StaticArray n a) Source # | |
Defined in Dahdit.Fancy Methods byteSize :: StaticArray n a -> ByteCount Source # | |
(KnownNat n, StaticByteSized a) => StaticByteSized (StaticArray n a) Source # | |
Defined in Dahdit.Fancy Methods staticByteSize :: Proxy (StaticArray n a) -> ByteCount Source # | |
(KnownNat n, Prim a, Default a) => Default (StaticArray n a) Source # | |
Defined in Dahdit.Fancy Methods def :: StaticArray n a # | |
(Eq a, Prim a) => Eq (StaticArray n a) Source # | |
Defined in Dahdit.Fancy Methods (==) :: StaticArray n a -> StaticArray n a -> Bool # (/=) :: StaticArray n a -> StaticArray n a -> Bool # |
Constructors
BoolByte | |
Fields
|
newtype ExactBytes (s :: Symbol) Source #
Constructors
ExactBytes | |
Fields
|
Instances
Show (ExactBytes s) Source # | |
Defined in Dahdit.Fancy Methods showsPrec :: Int -> ExactBytes s -> ShowS # show :: ExactBytes s -> String # showList :: [ExactBytes s] -> ShowS # | |
KnownSymbol s => Binary (ExactBytes s) Source # | |
Defined in Dahdit.Fancy | |
KnownSymbol s => ByteSized (ExactBytes s) Source # | |
Defined in Dahdit.Fancy Methods byteSize :: ExactBytes s -> ByteCount Source # | |
KnownSymbol s => StaticByteSized (ExactBytes s) Source # | |
Defined in Dahdit.Fancy Methods staticByteSize :: Proxy (ExactBytes s) -> ByteCount Source # | |
Default (ExactBytes s) Source # | |
Defined in Dahdit.Fancy Methods def :: ExactBytes s # | |
Eq (ExactBytes s) Source # | |
Defined in Dahdit.Fancy |