Body.Any

A type-erased body backed by closures. Implements Http.Body and can be constructed from any type that also implements Http.Body. Used as the default handler response body type.

structure Std.Http.Body.Any : Type

A type-erased body handle. Operations are stored as closures, making it open to any body type that implements Http.Body.

• recv : Async.Async (Option Chunk)

  Receives the next body chunk. Returns none at end-of-stream.

• close : Async.Async Unit

  Closes the body stream.

• isClosed : Async.Async Bool

  Returns true when the body stream is closed.

• recvSelector : Async.Selector (Option Chunk)

  Selector that resolves when a chunk is available or EOF is reached.

• tryRecv : Async.Async (Option (Option Chunk))

  Non-blocking receive attempt. Returns none if no chunk is immediately available, some (some chunk) when a chunk is ready, or some none at end-of-stream.

• getKnownSize : Async.Async (Option Length)

  Returns the declared size.

• setKnownSize : Option Length → Async.Async Unit

  Sets the size of the body.

def Std.Http.Body.Any.ofBody {α : Type} [Body α] (body : α) : Any

Erases a body of any Http.Body instance into a Body.Any.

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Std.Http.Body.instAny : Body Any

Equations

• One or more equations did not get rendered due to their size.