Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Bytes.Builder.Bounded.Unsafe

Contents

Synopsis

Types

newtype Builder :: Nat -> Type where Source #

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 details

ToBoundedBuilder (Builder n) Source #	Identity
Instance details Defined in Data.Bytes.Builder.Bounded.Class Associated Types type BoundedBuilderLength (Builder n) :: Nat Source # Methods toBuilder :: Builder n -> Builder (BoundedBuilderLength (Builder n)) Source #
type BoundedBuilderLength (Builder n) Source #
Instance details Defined in Data.Bytes.Builder.Bounded.Class type BoundedBuilderLength (Builder n) = n

Construct

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

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

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