Data.Bytes.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

Instances

ToBoundedBuilder (Builder n)

Identity

Defined in Data.Bytes.Builder.Bounded.Class

Associated Types

type BoundedBuilderLength (Builder n) :: Nat

Methods

toBuilder :: Builder n -> Builder (BoundedBuilderLength (Builder n))

type BoundedBuilderLength (Builder n)

Defined in Data.Bytes.Builder.Bounded.Class

type BoundedBuilderLength (Builder n) = 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.