Data.ByteArray.Builder.Bounded.Unsafe

Types

newtype Builder :: Nat -> Type where

A builder parameterized by the maximum number of bytes it uses when executed.

Constructors

Builder

Fields

• :: (forall s. MutableByteArray# s -> Int# -> State# s -> (#State# s, Int##))

  This function takes a buffer, an offset, and a number of remaining bytes. It returns the new offset.

• -> Builder n

Construct

construct :: (forall s. MutableByteArray s -> Int -> ST s Int) -> Builder n

Constructor for Builder that works on a function with lifted arguments instead of unlifted ones. This is just as unsafe as the actual constructor.

Run

pasteST :: Builder n -> MutableByteArray s -> Int -> ST s Int

This function does not enforce the known upper bound on the size. It is up to the user to do this.

pasteIO :: Builder n -> MutableByteArray RealWorld -> Int -> IO Int

This function does not enforce the known upper bound on the size. It is up to the user to do this.