browser.remote
An API over HTTP, a page’s side: a client’s
transport by the browser’s fetch (browser.http), each call a POST
of its frame to the server, std.remote’s (C), the answer the
response’s body. Import it by a name beside remote’s,
import browser.remote as RemoteHTTP (as std.remote is, in C).
contentType
contentType : StringWhat a frame is sent as, its Content-Type (std.remote’s).
exchanged
exchanged : String -> Either HTTP.HttpError HTTP.Response -> Either Remote.RemoteError Bytesposted
posted : {e : HFunctor} -> {{web : HTTP.http <: e}} -> {timeout : Int := 0} -> String -> Remote.Transport eA client’s transport: each frame a POST to the URL ("/api", the
page’s server’s), by fetch, the answer the response’s body; where
no response came, or one of a status that is no 200, Unreachable
(a timeout, in milliseconds, 0 for none).