Safe Haskell	Safe-Inferred
Language	Haskell2010

Dahdit.Fancy

Synopsis

newtype TermBytes8 = TermBytes8 {
- unTermBytes8 :: ShortByteString
}
newtype TermBytes16 = TermBytes16 {
- unTermBytes16 :: ShortByteString
}
newtype StaticBytes (n :: Nat) = StaticBytes {
- unStaticBytes :: ShortByteString
}
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 :: LiftedPrimArray a
}
newtype BoolByte = BoolByte {
- unBoolByte :: Bool
}
newtype ExactBytes (n :: Nat) (s :: Symbol) = ExactBytes {
- unExactBytes :: ()
}

Documentation

newtype TermBytes8 Source #

Bytes terminated with null byte.

Constructors

TermBytes8
Fields unTermBytes8 :: ShortByteString

Instances

Instances details

IsString TermBytes8 Source #
Instance details Defined in Dahdit.Fancy Methods fromString :: String -> TermBytes8 #
Show TermBytes8 Source #
Instance details Defined in Dahdit.Fancy Methods showsPrec :: Int -> TermBytes8 -> ShowS # show :: TermBytes8 -> String # showList :: [TermBytes8] -> ShowS #
Binary TermBytes8 Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: TermBytes8 -> ByteCount Source # get :: Get TermBytes8 Source # put :: TermBytes8 -> Put Source #
Default TermBytes8 Source #
Instance details Defined in Dahdit.Fancy Methods def :: TermBytes8 #
Eq TermBytes8 Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: TermBytes8 -> TermBytes8 -> Bool # (/=) :: TermBytes8 -> TermBytes8 -> Bool #
Ord TermBytes8 Source #
Instance details 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 Source #

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

Instances details

IsString TermBytes16 Source #
Instance details Defined in Dahdit.Fancy Methods fromString :: String -> TermBytes16 #
Show TermBytes16 Source #
Instance details Defined in Dahdit.Fancy Methods showsPrec :: Int -> TermBytes16 -> ShowS # show :: TermBytes16 -> String # showList :: [TermBytes16] -> ShowS #
Binary TermBytes16 Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: TermBytes16 -> ByteCount Source # get :: Get TermBytes16 Source # put :: TermBytes16 -> Put Source #
Default TermBytes16 Source #
Instance details Defined in Dahdit.Fancy Methods def :: TermBytes16 #
Eq TermBytes16 Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: TermBytes16 -> TermBytes16 -> Bool # (/=) :: TermBytes16 -> TermBytes16 -> Bool #
Ord TermBytes16 Source #
Instance details 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) Source #

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

Constructors

StaticBytes
Fields unStaticBytes :: ShortByteString

Instances

Instances details

IsString (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Methods fromString :: String -> StaticBytes n #
Show (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Methods showsPrec :: Int -> StaticBytes n -> ShowS # show :: StaticBytes n -> String # showList :: [StaticBytes n] -> ShowS #
KnownNat n => Binary (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: StaticBytes n -> ByteCount Source # get :: Get (StaticBytes n) Source # put :: StaticBytes n -> Put Source #
KnownNat n => StaticByteSized (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (StaticBytes n) :: Nat Source # Methods staticByteSize :: Proxy (StaticBytes n) -> ByteCount Source #
Default (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Methods def :: StaticBytes n #
KnownNat n => Eq (StaticBytes n) Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: StaticBytes n -> StaticBytes n -> Bool # (/=) :: StaticBytes n -> StaticBytes n -> Bool #
KnownNat n => Ord (StaticBytes n) Source #
Instance details 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) Source #
Instance details Defined in Dahdit.Fancy type StaticSize (StaticBytes n) = n

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 unStaticSeq :: Seq a

Instances

Instances details

Foldable (StaticSeq n) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: StaticSeq n a -> ByteCount Source # get :: Get (StaticSeq n a) Source # put :: StaticSeq n a -> Put Source #
(KnownNat n, StaticByteSized a) => StaticByteSized (StaticSeq n a) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (StaticSeq n a) :: Nat Source # Methods staticByteSize :: Proxy (StaticSeq n a) -> ByteCount Source #
(KnownNat n, Default a) => Default (StaticSeq n a) Source #
Instance details Defined in Dahdit.Fancy Methods def :: StaticSeq n a #
Eq a => Eq (StaticSeq n a) Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: StaticSeq n a -> StaticSeq n a -> Bool # (/=) :: StaticSeq n a -> StaticSeq n a -> Bool #
type StaticSize (StaticSeq n a) Source #
Instance details Defined in Dahdit.Fancy type StaticSize (StaticSeq n a) = n * StaticSize a

newtype StaticArray (n :: Nat) a Source #

Constructors

StaticArray
Fields unStaticArray :: LiftedPrimArray a

Instances

Instances details

Show (StaticArray n a) Source #
Instance details 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) Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: StaticArray n a -> ByteCount Source # get :: Get (StaticArray n a) Source # put :: StaticArray n a -> Put Source #
(KnownNat n, StaticByteSized a) => StaticByteSized (StaticArray n a) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (StaticArray n a) :: Nat Source # Methods staticByteSize :: Proxy (StaticArray n a) -> ByteCount Source #
(KnownNat n, LiftedPrim a, Default a) => Default (StaticArray n a) Source #
Instance details Defined in Dahdit.Fancy Methods def :: StaticArray n a #
Eq (StaticArray n a) Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: StaticArray n a -> StaticArray n a -> Bool # (/=) :: StaticArray n a -> StaticArray n a -> Bool #
type StaticSize (StaticArray n a) Source #
Instance details Defined in Dahdit.Fancy type StaticSize (StaticArray n a) = n * StaticSize a

newtype BoolByte Source #

Constructors

BoolByte
Fields unBoolByte :: Bool

Instances

Instances details

Show BoolByte Source #
Instance details Defined in Dahdit.Fancy Methods showsPrec :: Int -> BoolByte -> ShowS # show :: BoolByte -> String # showList :: [BoolByte] -> ShowS #
Binary BoolByte Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: BoolByte -> ByteCount Source # get :: Get BoolByte Source # put :: BoolByte -> Put Source #
StaticByteSized BoolByte Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize BoolByte :: Nat Source # Methods staticByteSize :: Proxy BoolByte -> ByteCount Source #
Default BoolByte Source #
Instance details Defined in Dahdit.Fancy Methods def :: BoolByte #
Eq BoolByte Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: BoolByte -> BoolByte -> Bool # (/=) :: BoolByte -> BoolByte -> Bool #
type StaticSize BoolByte Source #
Instance details Defined in Dahdit.Fancy type StaticSize BoolByte = 1

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

Constructors

ExactBytes
Fields unExactBytes :: ()

Instances

Instances details

Show (ExactBytes n s) Source #
Instance details 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) Source #
Instance details Defined in Dahdit.Fancy Methods byteSize :: ExactBytes n s -> ByteCount Source # get :: Get (ExactBytes n s) Source # put :: ExactBytes n s -> Put Source #
(SymLen n s, KnownSymbol s, KnownNat n) => StaticByteSized (ExactBytes n s) Source #
Instance details Defined in Dahdit.Fancy Associated Types type StaticSize (ExactBytes n s) :: Nat Source # Methods staticByteSize :: Proxy (ExactBytes n s) -> ByteCount Source #
Default (ExactBytes n s) Source #
Instance details Defined in Dahdit.Fancy Methods def :: ExactBytes n s #
Eq (ExactBytes n s) Source #
Instance details Defined in Dahdit.Fancy Methods (==) :: ExactBytes n s -> ExactBytes n s -> Bool # (/=) :: ExactBytes n s -> ExactBytes n s -> Bool #
type StaticSize (ExactBytes n s) Source #
Instance details Defined in Dahdit.Fancy type StaticSize (ExactBytes n s) = n