Skip to main content
Version: 1.5.0

string

let chr: (_: nat) => option<string>

String consisting of the character represented by a `nat` in the interval `[0, 255]`.

let nl: string

String consisting of only a newline.

let show: <a>(_: a) => string

Converts a value to a string (same conversion as used by `Test.log`).

let json: <a>(_: a) => string

Converts a value to its JSON representation (as a string).

let debugger_json: <a>(_: a) => string