Safe Haskell	None
Language	GHC2021

Bytezap.Write.Internal

Synopsis

Documentation

A Poke buffer write operation with the associated length to be written.

The length may be either exact or a maximum.

TODO strictness?

Constructors

Write
Fields writeLength :: Int Length of the write in bytes. This is not statically asserted. Any time you construct a `Write`, you must promise this. For `Write ExactLength s`, this is an exact measurement. For `Write MaxLength s`, this is a maximum. writeOp :: Poke s The `Poke` buffer write operation.

Instances details

Monoid (Write lt s) Source #	The empty `Write` is the empty `Poke`, which writes zero bytes.
Instance details Defined in Bytezap.Write.Internal Methods mempty :: Write lt s # mappend :: Write lt s -> Write lt s -> Write lt s # mconcat :: [Write lt s] -> Write lt s #
Semigroup (Write lt s) Source #	Sequence the writes, sum the lengths.
Instance details Defined in Bytezap.Write.Internal Methods (<>) :: Write lt s -> Write lt s -> Write lt s # sconcat :: NonEmpty (Write lt s) -> Write lt s # stimes :: Integral b => b -> Write lt s -> Write lt s #

What a buffer write length field means.

Constructors

ExactLength	Exact length to be written.
MaxLength	Maximum length to be written.

Sequence a Write MaxLength and a Write ExactLength left-to-right.

Sequence a Write MaxLength and a Write ExactLength left-to-right.

writeCombine :: forall (ltl :: LengthType) s (ltr :: LengthType) (lt :: LengthType). Write ltl s -> Write ltr s -> Write lt s Source #

Sequence two Writes left-to-right.

Unsafe, as it ignores LengthTypes.

TODO strictness? INLINE[1]? INLINE[0]?