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 : Internal.IO.Async.Async (Option Chunk)

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

• close : Internal.IO.Async.Async Unit

  Closes the body stream.

• isClosed : Internal.IO.Async.Async Bool

  Returns true when the body stream is closed.

• recvSelector : Internal.IO.Async.Selector (Option Chunk)

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

• getKnownSize : Internal.IO.Async.Async (Option Length)

  Returns the declared size.

• setKnownSize : Option Length → Internal.IO.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.