std.net

The networking module.

use std.net

This module depends on the operating system's networking capabilities and is not exported on the wasm32 target.

Implementation status warning (#56): Of the 4 functions in this module, only url_encode / url_decode are real implementations. http_get / http_post are placeholder implementations—they do not send any network requests; they only concatenate the arguments into a string and return it. See each section below for details.

Function overview

Function	Signature
http_get	(url: &String) -> String
http_post	(url: &String, body: &String) -> String
url_encode	(s: &String) -> String
url_decode	(s: &String) -> String

Functions

http_get

http_get: (url: &String) -> String

Placeholder implementation, not wired to an HTTP client (#56). The current behavior is to concatenate the argument into the string "GET: {url}" and return it, without initiating any network request or returning a response body. Relying on it for real HTTP calls will silently fail—you will get a descriptive string rather than the response content.

• url — Request URL (read-only borrow)

Returns: a string of the form "GET: http://example.com". Errors: throws E6007 when the argument is missing; throws a type error when the argument is not a String.

use std.assert
use std.net

main: () -> Void = {
    // The current implementation returns a descriptive string, not the response body
    r = net.http_get("http://example.com")
    assert(r == "GET: http://example.com")
}

http_post

http_post: (url: &String, body: &String) -> String

Placeholder implementation, not wired to an HTTP client (#56). The current behavior is to concatenate the string "POST {url}: {body}" and return it, without initiating any network request.

• url — Request URL (read-only borrow)
• body — Request body (read-only borrow)

Returns: a string of the form "POST http://example.com: hello". Errors: throws E6007 when arguments are insufficient; throws a type error when argument types do not match.

use std.assert
use std.net

main: () -> Void = {
    r = net.http_post("http://example.com", "hello")
    assert(r == "POST http://example.com: hello")
}

url_encode

url_encode: (s: &String) -> String

Percent-encoding.

• s — The string to be encoded (read-only borrow)

Returns: the encoded string. Spaces are encoded as %20 (not +); reserved characters are escaped per RFC 3986; unreserved characters are passed through unchanged.

Errors: throws E6007 when the argument is missing; throws a type error when the argument is not a String.

use std.assert
use std.net

main: () -> Void = {
    assert(net.url_encode("a b") == "a%20b")
    assert(net.url_encode("a&b=c?d") == "a%26b%3Dc%3Fd")
}

url_decode

url_decode: (s: &String) -> String

Percent-decoding; the inverse of url_encode.

• s — The encoded string (read-only borrow)

Returns: the decoded string. Illegal escape sequences are preserved as-is.

Errors: throws E6007 when the argument is missing; throws a type error when the argument is not a String.

use std.assert
use std.net

main: () -> Void = {
    assert(net.url_decode("a%20b") == "a b")

    // Round-trip consistency
    orig = "hello world & friends"
    assert(net.url_decode(net.url_encode(orig)) == orig)
}

Related

• Error code reference — E6007 generic runtime error