ChunkedBuffer

This module provides an efficient way to concatenate multiple ByteArrays by deferring the actual concatenation until necessary. This is particularly useful in HTTP response building and streaming scenarios where data is accumulated incrementally.

structure Std.Http.Internal.ChunkedBuffer : Type

A structure that accumulates multiple ByteArrays efficiently by tracking them in an array and maintaining the total size. This allows building large buffers without repeated allocations and copies.

• data : Array ByteArray

  The accumulated byte arrays.

• size : Nat

  The total size in bytes of all accumulated arrays

@[inline]

def Std.Http.Internal.ChunkedBuffer.empty : ChunkedBuffer

An empty ChunkedBuffer.

@[inline]

def Std.Http.Internal.ChunkedBuffer.push (c : ChunkedBuffer) (b : ByteArray) : ChunkedBuffer

Append a single ByteArray to the ChunkedBuffer.

@[inline]

def Std.Http.Internal.ChunkedBuffer.write (buffer : ChunkedBuffer) (data : ByteArray) : ChunkedBuffer

Writes a ByteArray to the ChunkedBuffer.

@[inline]

def Std.Http.Internal.ChunkedBuffer.append (buffer data : ChunkedBuffer) : ChunkedBuffer

Writes a ChunkedBuffer to the ChunkedBuffer.

@[inline]

def Std.Http.Internal.ChunkedBuffer.writeChar (buffer : ChunkedBuffer) (data : Char) : ChunkedBuffer

Writes a Char to the ChunkedBuffer. Only the low byte is written (Char.toUInt8), so this is only correct for ASCII characters.

@[inline]

def Std.Http.Internal.ChunkedBuffer.writeString (buffer : ChunkedBuffer) (data : String) : ChunkedBuffer

Writes a String to the ChunkedBuffer.

@[inline]

def Std.Http.Internal.ChunkedBuffer.toByteArray (cb : ChunkedBuffer) : ByteArray

Turn the combined structure into a single contiguous ByteArray.

@[inline]

def Std.Http.Internal.ChunkedBuffer.ofByteArray (bs : ByteArray) : ChunkedBuffer

Build from a ByteArray directly.

@[inline]

def Std.Http.Internal.ChunkedBuffer.ofArray (bs : Array ByteArray) : ChunkedBuffer

Build from an array of ByteArrays directly.

@[inline]

def Std.Http.Internal.ChunkedBuffer.isEmpty (bb : ChunkedBuffer) : Bool

Checks whether the buffer is empty.

@[implicit_reducible]

instance Std.Http.Internal.ChunkedBuffer.instInhabited : Inhabited ChunkedBuffer

@[implicit_reducible]

instance Std.Http.Internal.ChunkedBuffer.instEmptyCollection : EmptyCollection ChunkedBuffer

@[implicit_reducible]

instance Std.Http.Internal.ChunkedBuffer.instCoeByteArray : Coe ByteArray ChunkedBuffer

@[implicit_reducible]

instance Std.Http.Internal.ChunkedBuffer.instCoeArrayByteArray : Coe (Array ByteArray) ChunkedBuffer