WasiHttp

type @Fields

The fields resource of wasi:http/types@0.2.3, as a handle. It comes only from the functions here that return one. Release it with dropFields.

type @IncomingRequest

The incoming-request resource of wasi:http/types@0.2.3, as a handle. It comes only from the functions here that return one. Release it with dropIncomingRequest.

type @ResponseOutparam

The response-outparam resource of wasi:http/types@0.2.3, as a handle. It comes only from the functions here that return one. Release it with dropResponseOutparam.

type @IncomingBody

The incoming-body resource of wasi:http/types@0.2.3, as a handle. It comes only from the functions here that return one. Release it with dropIncomingBody.

type @OutgoingResponse

The outgoing-response resource of wasi:http/types@0.2.3, as a handle. It comes only from the functions here that return one. Release it with dropOutgoingResponse.

type @OutgoingBody

The outgoing-body resource of wasi:http/types@0.2.3, as a handle. It comes only from the functions here that return one. Release it with dropOutgoingBody.

Scheme = [HTTP | HTTPS | Other(String)]

The view of WIT's scheme type, from wasi:http/types@0.2.3.

HeaderError = [InvalidSyntax | Forbidden | Immutable]

The view of WIT's header-error type, from wasi:http/types@0.2.3.

ErrorCode = [DNSTimeout | DNSError(DNSErrorPayload) | DestinationNotFound | DestinationUnavailable | DestinationIPProhibited | DestinationIPUnroutable | ConnectionRefused | ConnectionTerminated | ConnectionTimeout | ConnectionReadTimeout | ConnectionWriteTimeout | ConnectionLimitReached | TLSProtocolError | TLSCertificateError | TLSAlertReceived(TLSAlertReceivedPayload) | HTTPRequestDenied | HTTPRequestLengthRequired | HTTPRequestBodySize(Http.Option(Int)) | HTTPRequestMethodInvalid | HTTPRequestURIInvalid | HTTPRequestURITooLong | HTTPRequestHeaderSectionSize(Http.Option(Int)) | HTTPRequestHeaderSize(Http.Option(FieldSizePayload)) | HTTPRequestTrailerSectionSize(Http.Option(Int)) | HTTPRequestTrailerSize(FieldSizePayload) | HTTPResponseIncomplete | HTTPResponseHeaderSectionSize(Http.Option(Int)) | HTTPResponseHeaderSize(FieldSizePayload) | HTTPResponseBodySize(Http.Option(Int)) | HTTPResponseTrailerSectionSize(Http.Option(Int)) | HTTPResponseTrailerSize(FieldSizePayload) | HTTPResponseTransferCoding(Http.Option(String)) | HTTPResponseContentCoding(Http.Option(String)) | HTTPResponseTimeout | HTTPUpgradeFailed | HTTPProtocolError | LoopDetected | ConfigurationError | InternalError(Http.Option(String))]

The view of WIT's error-code type, from wasi:http/types@0.2.3.

DNSErrorPayload = { rcode: Http.Option(String), infoCode: Http.Option(Int) }

The view of WIT's DNS-error-payload type, from wasi:http/types@0.2.3.

TLSAlertReceivedPayload = { alertId: Http.Option(Int), alertMessage: Http.Option(String) }

The view of WIT's TLS-alert-received-payload type, from wasi:http/types@0.2.3.

FieldSizePayload = { fieldName: Http.Option(String), fieldSize: Http.Option(Int) }

The view of WIT's field-size-payload type, from wasi:http/types@0.2.3.

(@IncomingRequest, @ResponseOutparam, (Http.Request(Bytes.@Bytes)) -> Http.Response(Bytes.@Bytes)) -> Unitimpure

Read the request, run handler on it, and answer with what it returns. The response is handed to the host before its body is written: the host sends the body as it is written, so a body larger than the stream's buffer would otherwise never drain.

The request's headers are every header the host passes on, in the order it lists them, names lowercase and a header sent twice as two entries.

The whole request body is read into memory before the handler runs, and a body that arrives in more than one read is held twice while its pieces are joined. With the default 1 MiB of memory that caps a request body at about half of it, 500 KB; past it the instance runs out of memory and the host answers 500. Building with --memory raises the cap.

A status the host refuses, such as one below 100, answers 500; one outside 0 … 65535 traps, and the host answers 500 for it. A header the host refuses, a forbidden one such as connection or one whose name or value is not valid header syntax, is left out. So is a content-length the handler sets: the host frames the body itself, and a length that disagreed with the body would cut it short or break the response.

() -> @Fieldsimpure

WIT's fields constructor, from wasi:http/types@0.2.3, in Bert's view of its types.

(@Fields) -> List({ first: String, second: String })impure

WIT's fields.entries method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@Fields, String, String) -> [Ok(Unit) | Err(HeaderError)]impure

WIT's fields.append method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingRequest) -> Http.Methodimpure

WIT's incoming-request.method method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingRequest) -> Http.Option(String)impure

WIT's incoming-request.path-with-query method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingRequest) -> Http.Option(Scheme)impure

WIT's incoming-request.scheme method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingRequest) -> Http.Option(String)impure

WIT's incoming-request.authority method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingRequest) -> @Fieldsimpure

WIT's incoming-request.headers method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingRequest) -> [Ok(@IncomingBody) | Err(Unit)]impure

WIT's incoming-request.consume method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@ResponseOutparam, [Ok(@OutgoingResponse) | Err(ErrorCode)]) -> Unitimpure

WIT's response-outparam.set static function, from wasi:http/types@0.2.3, in Bert's view of its types.

(@IncomingBody) -> [Ok(WasiIo.@InputStream) | Err(Unit)]impure

WIT's incoming-body.stream method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@Fields) -> @OutgoingResponseimpure

WIT's outgoing-response constructor, from wasi:http/types@0.2.3, in Bert's view of its types.

(@OutgoingResponse, Int) -> [Ok(Unit) | Err(Unit)]impure

A status outside 0 … 65535 traps; one the host refuses is an Err.

(@OutgoingResponse) -> [Ok(@OutgoingBody) | Err(Unit)]impure

WIT's outgoing-response.body method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@OutgoingBody) -> [Ok(WasiIo.@OutputStream) | Err(Unit)]impure

WIT's outgoing-body.write method, from wasi:http/types@0.2.3, in Bert's view of its types.

(@OutgoingBody, Http.Option(@Fields)) -> [Ok(Unit) | Err(ErrorCode)]impure

WIT's outgoing-body.finish static function, from wasi:http/types@0.2.3, in Bert's view of its types.

(@Fields) -> Unitimpure

Drops the fields handle, from wasi:http/types@0.2.3. Nothing else releases it, and the handle is not used after.

(@IncomingRequest) -> Unitimpure

Drops the incoming-request handle, from wasi:http/types@0.2.3. Nothing else releases it, and the handle is not used after.

(@ResponseOutparam) -> Unitimpure

Drops the response-outparam handle, from wasi:http/types@0.2.3. Nothing else releases it, and the handle is not used after.

(@IncomingBody) -> Unitimpure

Drops the incoming-body handle, from wasi:http/types@0.2.3. Nothing else releases it, and the handle is not used after.

(@OutgoingResponse) -> Unitimpure

Drops the outgoing-response handle, from wasi:http/types@0.2.3. Nothing else releases it, and the handle is not used after.

(@OutgoingBody) -> Unitimpure

Drops the outgoing-body handle, from wasi:http/types@0.2.3. Nothing else releases it, and the handle is not used after.