Net.HttpLayer

Definitions

def bytesToString(v: Vector[Int8]): String Source

Decodes the byte vector v as a UTF-8 string.

def doRequest(defaultClient: java.net.http.HttpClient, req: HttpRequest): Result[IoError, HttpResponse] \ IO Source

Performs the actual HTTP request using the Java HTTP client.

Reuses defaultClient when the request has default client-level settings (connectTimeout == None and followRedirects == true). Otherwise, builds a one-off client with the request's specific settings.

def execute(validate: HttpRequest -> Result[IoError, Unit], defaultClient: java.net.http.HttpClient, req: HttpRequest): Result[IoError, HttpResponse] \ IO

Source

Validates then performs an HTTP request.

def newDefaultClient(): java.net.http.HttpClient \ IO Source

Builds a default HttpClient with Redirect.NORMAL and no connect timeout.

def sleep(ms: Int64): Unit \ IO Source

Sleeps the current thread for ms milliseconds.

def stringToBytes(s: String): Vector[Int8] Source

Encodes the string s as a UTF-8 byte vector.

def urlEncode(s: String): String Source

Returns the URL-encoded form of the string s.