Modulebytebuild-0.3.17.0Haskell2010

Data.Bytes.Builder.Bounded.Unsafe

Contents

Synopsis

Types

newtypenewtype Builder (a :: Nat) where

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

Instances2ToBoundedBuilder, BoundedBuilderLength

ToBoundedBuilder (Builder n)Defined in bytebuild-0.3.17.0 · Data.Bytes.Builder.Bounded.Class
Identity
type BoundedBuilderLength (Builder n) = nDefined in bytebuild-0.3.17.0 · Data.Bytes.Builder.Bounded.Class

valueconstruct :: (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.

valuepasteST :: 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.

valuepasteIO :: 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.