Http

In std/io/net.

type Http : {Replayable, Writable} { url : String method : String // "GET" unless written headers : Data // a map of header names to values }

An HTTP resource at url. Read, it is a GET whose response body is its bytes; the host reads it once per evaluation, so it is Replayable. Written, it is a request by method whose body is the document, and the response is not read beyond its status. Both send headers, a map of header names to values. Authentication belongs in a configured source, not in the program.