Data.ByteArray.Builder.Small.Unsafe

The functions in this module do not check to see if there is enough space in the buffer.

Builder

newtype Builder :: Nat -> Type where

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

Constructors

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

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.

Execute

run

Arguments

:: KnownNat n

=> Builder n

Builder

-> ByteArray

Execute the builder. This function is safe.

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.

Combine

append :: Builder n -> Builder m -> Builder (n + m) infixr 9

Concatenate two builders.

Encode Integral Types

Human-Readable

word64Dec :: Word64 -> Builder 19

Requires up to 19 bytes. Encodes an unsigned 64-bit integer as decimal. This encoding never starts with a zero unless the argument was zero.

int64Dec :: Int64 -> Builder 20

Requires up to 20 bytes. Encodes a signed 64-bit integer as decimal. This encoding never starts with a zero unless the argument was zero. Negative numbers are preceded by a minus sign. Positive numbers are not preceded by anything.

word64PaddedUpperHex :: Word64 -> Builder 16

Requires exactly 16 bytes. Encodes a 64-bit unsigned integer as hexadecimal, zero-padding the encoding to 16 digits. This uses uppercase for the alphabetical digits. For example, this encodes the number 1022 as 00000000000003FE.

word32PaddedUpperHex :: Word32 -> Builder 8

Requires exactly 8 bytes. Encodes a 32-bit unsigned integer as hexadecimal, zero-padding the encoding to 8 digits. This uses uppercase for the alphabetical digits.

word16PaddedUpperHex :: Word16 -> Builder 4

Requires exactly 4 bytes. Encodes a 16-bit unsigned integer as hexadecimal, zero-padding the encoding to 4 digits. This uses uppercase for the alphabetical digits.

word8PaddedUpperHex :: Word8 -> Builder 2

Requires exactly 2 bytes. Encodes a 8-bit unsigned integer as hexadecimal, zero-padding the encoding to 2 digits. This uses uppercase for the alphabetical digits.

Machine-Readable

word64BE :: Word64 -> Builder 8

Requires exactly 8 bytes. Dump the octets of a 64-bit word in a big-endian fashion.

word32BE :: Word32 -> Builder 4

Requires exactly 4 bytes. Dump the octets of a 32-bit word in a big-endian fashion.

word16BE :: Word16 -> Builder 2

Requires exactly 2 bytes. Dump the octets of a 16-bit word in a big-endian fashion.