Dahdit.Free

Documentation

data GetStaticSeqF a where

Constructors

GetStaticSeqF :: StaticByteSized z => !ElemCount -> Get z -> (Seq z -> a) -> GetStaticSeqF a

Instances

Functor GetStaticSeqF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> GetStaticSeqF a -> GetStaticSeqF b

(<$) :: a -> GetStaticSeqF b -> GetStaticSeqF a

data GetStaticArrayF a where

Constructors

GetStaticArrayF :: LiftedPrim z => !ElemCount -> Proxy z -> (LiftedPrimArray z -> a) -> GetStaticArrayF a

Instances

Functor GetStaticArrayF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> GetStaticArrayF a -> GetStaticArrayF b

(<$) :: a -> GetStaticArrayF b -> GetStaticArrayF a

data GetLookAheadF a where

Constructors

GetLookAheadF :: Get z -> (z -> a) -> GetLookAheadF a

Instances

Functor GetLookAheadF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> GetLookAheadF a -> GetLookAheadF b

(<$) :: a -> GetLookAheadF b -> GetLookAheadF a

data GetScopeF a where

Constructors

GetScopeF :: !ScopeMode -> !ByteCount -> Get z -> (z -> a) -> GetScopeF a

Instances

Functor GetScopeF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> GetScopeF a -> GetScopeF b

(<$) :: a -> GetScopeF b -> GetScopeF a

data ScopeMode

Constructors

ScopeModeExact

ScopeModeWithin

Instances

Show ScopeMode

Defined in Dahdit.Free

Methods

showsPrec :: Int -> ScopeMode -> ShowS

show :: ScopeMode -> String

showList :: [ScopeMode] -> ShowS

Eq ScopeMode

Defined in Dahdit.Free

Methods

(==) :: ScopeMode -> ScopeMode -> Bool

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

data GetF a

Constructors

GetFWord8 (Word8 -> a)

GetFInt8 (Int8 -> a)

GetFWord16LE (Word16LE -> a)

GetFInt16LE (Int16LE -> a)

GetFWord24LE (Word24LE -> a)

GetFInt24LE (Int24LE -> a)

GetFWord32LE (Word32LE -> a)

GetFInt32LE (Int32LE -> a)

GetFWord64LE (Word64LE -> a)

GetFInt64LE (Int64LE -> a)

GetFFloatLE (FloatLE -> a)

GetFDoubleLE (DoubleLE -> a)

GetFWord16BE (Word16BE -> a)

GetFInt16BE (Int16BE -> a)

GetFWord24BE (Word24BE -> a)

GetFInt24BE (Int24BE -> a)

GetFWord32BE (Word32BE -> a)

GetFInt32BE (Int32BE -> a)

GetFWord64BE (Word64BE -> a)

GetFInt64BE (Int64BE -> a)

GetFFloatBE (FloatBE -> a)

GetFDoubleBE (DoubleBE -> a)

GetFShortByteString !ByteCount (ShortByteString -> a)

GetFStaticSeq !(GetStaticSeqF a)

GetFStaticArray !(GetStaticArrayF a)

GetFByteArray !ByteCount (ByteArray -> a)

GetFScope !(GetScopeF a)

GetFSkip !ByteCount a

GetFLookAhead !(GetLookAheadF a)

GetFRemainingSize (ByteCount -> a)

GetFFail !Text

Instances

Functor GetF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> GetF a -> GetF b

(<$) :: a -> GetF b -> GetF a

newtype Get a

Constructors

Get

Fields

• unGet :: F GetF a

Instances

MonadFail Get

Defined in Dahdit.Free

Methods

fail :: String -> Get a

Applicative Get

Defined in Dahdit.Free

Methods

pure :: a -> Get a

(<*>) :: Get (a -> b) -> Get a -> Get b

liftA2 :: (a -> b -> c) -> Get a -> Get b -> Get c

(*>) :: Get a -> Get b -> Get b

(<*) :: Get a -> Get b -> Get a

Functor Get

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> Get a -> Get b

(<$) :: a -> Get b -> Get a

Monad Get

Defined in Dahdit.Free

Methods

(>>=) :: Get a -> (a -> Get b) -> Get b

(>>) :: Get a -> Get b -> Get b

return :: a -> Get a

data PutStaticSeqF a where

Constructors

PutStaticSeqF :: StaticByteSized z => !ElemCount -> !(Maybe z) -> (z -> Put) -> !(Seq z) -> a -> PutStaticSeqF a

Instances

Functor PutStaticSeqF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> PutStaticSeqF a -> PutStaticSeqF b

(<$) :: a -> PutStaticSeqF b -> PutStaticSeqF a

data PutStaticArrayF a where

Constructors

PutStaticArrayF :: LiftedPrim z => !ElemCount -> !(Maybe z) -> !(LiftedPrimArray z) -> a -> PutStaticArrayF a

Instances

Functor PutStaticArrayF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> PutStaticArrayF a -> PutStaticArrayF b

(<$) :: a -> PutStaticArrayF b -> PutStaticArrayF a

data PutStaticHintF a where

Constructors

PutStaticHintF :: !ByteCount -> Put -> a -> PutStaticHintF a

Instances

Functor PutStaticHintF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> PutStaticHintF a -> PutStaticHintF b

(<$) :: a -> PutStaticHintF b -> PutStaticHintF a

data PutF a

Constructors

PutFWord8 !Word8 a

PutFInt8 !Int8 a

PutFWord16LE !Word16LE a

PutFInt16LE !Int16LE a

PutFWord24LE !Word24LE a

PutFInt24LE !Int24LE a

PutFWord32LE !Word32LE a

PutFInt32LE !Int32LE a

PutFWord64LE !Word64LE a

PutFInt64LE !Int64LE a

PutFFloatLE !FloatLE a

PutFDoubleLE !DoubleLE a

PutFWord16BE !Word16BE a

PutFInt16BE !Int16BE a

PutFWord24BE !Word24BE a

PutFInt24BE !Int24BE a

PutFWord32BE !Word32BE a

PutFWord64BE !Word64BE a

PutFInt64BE !Int64BE a

PutFInt32BE !Int32BE a

PutFFloatBE !FloatBE a

PutFDoubleBE !DoubleBE a

PutFShortByteString !ByteCount !ShortByteString a

PutFStaticSeq !(PutStaticSeqF a)

PutFStaticArray !(PutStaticArrayF a)

PutFByteArray !ByteCount !ByteArray a

PutFStaticHint !(PutStaticHintF a)

Instances

Functor PutF

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> PutF a -> PutF b

(<$) :: a -> PutF b -> PutF a

newtype PutM a

Constructors

PutM

Fields

• unPutM :: F PutF a

Instances

Applicative PutM

Defined in Dahdit.Free

Methods

pure :: a -> PutM a

(<*>) :: PutM (a -> b) -> PutM a -> PutM b

liftA2 :: (a -> b -> c) -> PutM a -> PutM b -> PutM c

(*>) :: PutM a -> PutM b -> PutM b

(<*) :: PutM a -> PutM b -> PutM a

Functor PutM

Defined in Dahdit.Free

Methods

fmap :: (a -> b) -> PutM a -> PutM b

(<$) :: a -> PutM b -> PutM a

Monad PutM

Defined in Dahdit.Free

Methods

(>>=) :: PutM a -> (a -> PutM b) -> PutM b

(>>) :: PutM a -> PutM b -> PutM b

return :: a -> PutM a

Monoid (PutM ())

Defined in Dahdit.Free

Methods

mempty :: PutM ()

mappend :: PutM () -> PutM () -> PutM ()

mconcat :: [PutM ()] -> PutM ()

Semigroup (PutM ())

Defined in Dahdit.Free

Methods

(<>) :: PutM () -> PutM () -> PutM ()

sconcat :: NonEmpty (PutM ()) -> PutM ()

stimes :: Integral b => b -> PutM () -> PutM ()

type Put = PutM ()