Data.ByteArray.Builder.Unsafe

Types

newtype Builder

An unmaterialized sequence of bytes that may be pasted into a mutable byte array.

Constructors

Builder (forall s. MutableByteArray# s -> Int# -> Int# -> Commits s -> State# s -> (#State# s, MutableByteArray# s, Int#, Int#, Commits s#))

Instances

IsString Builder

Defined in Data.ByteArray.Builder.Unsafe

Methods

fromString :: String -> Builder

Semigroup Builder

Defined in Data.ByteArray.Builder.Unsafe

Methods

(<>) :: Builder -> Builder -> Builder

sconcat :: NonEmpty Builder -> Builder

stimes :: Integral b => b -> Builder -> Builder

Monoid Builder

Defined in Data.ByteArray.Builder.Unsafe

Methods

mempty :: Builder

mappend :: Builder -> Builder -> Builder

mconcat :: [Builder] -> Builder

data BuilderState s

Constructors

BuilderState (MutableByteArray# s) Int# Int# !(Commits s)

data Commits s

Constructors

Mutable

Fields

• (MutableByteArray# s)

  Mutable buffer, start index implicitly zero

• Int#

  Length (may be smaller than actual length)

• !(Commits s)

Immutable

Fields

• ByteArray#

  Immutable chunk

• Int#

  Offset into chunk, not necessarily zero

• Int#

  Length (may be smaller than actual length)

• !(Commits s)

Initial

Execution

pasteST :: Builder -> BuilderState s -> ST s (BuilderState s)

Run a builder, performing an in-place update on the state. The BuilderState argument must not be reused after being passed to this function. That is, its use must be affine.

pasteIO :: Builder -> BuilderState RealWorld -> IO (BuilderState RealWorld)

Variant of pasteST that runs in IO.

Construction

fromEffect

Arguments

:: Int

Maximum number of bytes the paste function needs

-> (forall s. MutableByteArray s -> Int -> ST s Int)

Paste function. Takes a byte array and an offset and returns the new offset and having pasted into the buffer.

-> Builder

Finalization

reverseCommitsOntoChunks :: Chunks -> Commits s -> ST s Chunks

Cons the chunks from a list of Commits onto an initial Chunks list (this argument is often ChunksNil). This reverses the order of the chunks, which is desirable since builders assemble Commits with the chunks backwards. This performs an in-place shrink and freezes on any mutable byte arrays it encounters. Consequently, these must not be reused.

copyReverseCommits

Arguments

:: MutableByteArray s

Destination

-> Int

Destination range successor

-> Commits s

Source

-> ST s Int

Copy the contents of the chunks into a mutable array, reversing the order of the chunks. Precondition: The destination must have enough space to house the contents. This is not checked.

addCommitsLength :: Int -> Commits s -> Int

Add the total number of bytes in the commits to first argument.

Safe Functions

These functions are actually completely safe, but they are defined here because they are used by typeclass instances. Import them from Data.ByteArray.Builder instead.

stringUtf8 :: String -> Builder

Create a builder from a cons-list of Char. These are be UTF-8 encoded.

cstring :: CString -> Builder

Create a builder from a NUL-terminated CString. This ignores any textual encoding, copying bytes until NUL is reached.