Body.Full

A body backed by a fixed ByteArray. The first call to recv returns the full byte array as a single chunk; subsequent calls return none (end-of-stream). Closing the body marks it closed. resetInPlace resets state to ready so the body can be read again.

structure Std.Http.Body.Full : Type

A body backed by a fixed ByteArray.

Unlike Body.Stream, a Full body is replayable: resetInPlace resets the state to ready so the same body can be read again.

• data : ByteArray
• state : Std.Mutex State

instance Std.Http.Body.instNonemptyFull : Nonempty Full

def Std.Http.Body.Full.ofByteArray (data : ByteArray) : Async.Async Full

Creates a Full body from a ByteArray.

def Std.Http.Body.Full.ofString (data : String) : Async.Async Full

Creates a Full body from a String.

def Std.Http.Body.Full.recv (full : Full) : Async.Async (Option Chunk)

Receives the body data. Returns the full byte array on the first call as a single chunk, then none on all subsequent calls until the cursor is reset.

def Std.Http.Body.Full.close (full : Full) : Async.Async Unit

Closes the body, discarding any unconsumed data.

def Std.Http.Body.Full.isClosed (full : Full) : Async.Async Bool

Returns true when the body has been closed or consumed.

def Std.Http.Body.Full.getKnownSize (full : Full) : Async.Async (Option Length)

Returns the known size of the remaining data. Returns some (.fixed n) with the byte count if not yet consumed, some (.fixed 0) otherwise.

def Std.Http.Body.Full.tryRecv (full : Full) : Async.Async (Option (Option Chunk))

Non-blocking receive. Full bodies are always in-memory, so data is always immediately available. Returns some chunk on first call, some none (EOF) once consumed or closed.

def Std.Http.Body.Full.recvSelector (full : Full) : Async.Selector (Option Chunk)

Selector that immediately resolves to the remaining chunk (or EOF).

def Std.Http.Body.Full.resetInPlace (full : Full) : Async.Async Unit

Resets the cursor to position zero so the body can be re-read from the start. Since Full.data is always preserved in the struct, this always works regardless of whether close was previously called (e.g. by the connection loop after EOF).

@[instance_reducible]

instance Std.Http.Body.instFull : Body Full

@[instance_reducible]

instance Std.Http.Body.instReplayableFull : Replayable Full

Full is replayable: resetInPlace resets the cursor to zero so the body can be re-read from the start.

@[instance_reducible]

instance Std.Http.Body.instCoeFullAny : Coe Full Any

@[instance_reducible]

instance Std.Http.Body.instCoeResponseFullAny : Coe (Response Full) (Response Any)

@[instance_reducible]

instance Std.Http.Body.instCoeContextAsyncResponseFullAny : Coe (Async.ContextAsync (Response Full)) (Async.ContextAsync (Response Any))

@[instance_reducible]

instance Std.Http.Body.instCoeAsyncResponseFullContextAsyncAny : Coe (Async.Async (Response Full)) (Async.ContextAsync (Response Any))

def Std.Http.Request.Builder.fromBytes (builder : Builder) (content : ByteArray) : Async.Async (Request Body.Full)

Builds a request body from raw bytes without setting any headers. Use bytes instead if you want Content-Type: application/octet-stream set automatically.

def Std.Http.Request.Builder.bytes (builder : Builder) (content : ByteArray) : Async.Async (Request Body.Full)

Builds a request with a binary body. Sets Content-Type: application/octet-stream. Use fromBytes instead if you need to set a different Content-Type or none at all.

def Std.Http.Request.Builder.text (builder : Builder) (content : String) : Async.Async (Request Body.Full)

Builds a request with a text body. Sets Content-Type: text/plain; charset=utf-8.

def Std.Http.Request.Builder.json (builder : Builder) (content : String) : Async.Async (Request Body.Full)

Builds a request with a JSON body. Sets Content-Type: application/json.

def Std.Http.Request.Builder.html (builder : Builder) (content : String) : Async.Async (Request Body.Full)

Builds a request with an HTML body. Sets Content-Type: text/html; charset=utf-8.

def Std.Http.Response.Builder.fromBytes (builder : Builder) (content : ByteArray) : Async.Async (Response Body.Full)

Builds a response body from raw bytes without setting any headers. Use bytes instead if you want Content-Type: application/octet-stream set automatically.

def Std.Http.Response.Builder.bytes (builder : Builder) (content : ByteArray) : Async.Async (Response Body.Full)

Builds a response with a binary body. Sets Content-Type: application/octet-stream. Use fromBytes instead if you need to set a different Content-Type or none at all.

def Std.Http.Response.Builder.text (builder : Builder) (content : String) : Async.Async (Response Body.Full)

Builds a response with a text body. Sets Content-Type: text/plain; charset=utf-8.

def Std.Http.Response.Builder.json (builder : Builder) (content : String) : Async.Async (Response Body.Full)

Builds a response with a JSON body. Sets Content-Type: application/json.

def Std.Http.Response.Builder.html (builder : Builder) (content : String) : Async.Async (Response Body.Full)

Builds a response with an HTML body. Sets Content-Type: text/html; charset=utf-8.