Http

type NetworkError

Variants

• ConnectionRefused
• Timeout
• DnsError
• SslError
• NotImplemented
• MockEmpty
• Unknown

record HttpResponse

Fields

status

Integer

body

String

headers

Map<String, String>

record HttpError

Fields

kind

NetworkError

message

String

record HttpOptions

Fields

headers

Map<String, String> optional

timeout

Integer optional

module Http

A capability: every member performs a real network request, so a test can replace it for a lexical region with with Http = ... rather than mutating global mock state (kexhq/kex#143).

get(url: String) -> Result<HttpResponse, HttpError>
get(url: String, opts: HttpOptions) -> Result<HttpResponse, HttpError>

post(url: String, body: String) -> Result<HttpResponse, HttpError>
post(url: String, body: String) -> HttpOptions -> Result<HttpResponse, HttpError>

put(url: String, body: String) -> Result<HttpResponse, HttpError>
put(url: String, body: String) -> HttpOptions -> Result<HttpResponse, HttpError>

patch(url: String, body: String) -> Result<HttpResponse, HttpError>
patch(url: String, body: String) -> HttpOptions -> Result<HttpResponse, HttpError>

delete(url: String) -> Result<HttpResponse, HttpError>
delete(url: String, opts: HttpOptions) -> Result<HttpResponse, HttpError>

head(url: String) -> Result<HttpResponse, HttpError>
head(url: String, opts: HttpOptions) -> Result<HttpResponse, HttpError>

options(url: String) -> Result<HttpResponse, HttpError>
options(url: String, opts: HttpOptions) -> Result<HttpResponse, HttpError>