keen/string

Source
This is a standard module and does not need to be explicitly imported.
char8 builtin
This could be any byte in a UTF-8 string.
char32 builtin
32-bit Unicode character.
string record (has private fields)
to char8(a nat8)
to nat8(a char8)
== bool(a char8, b char8)
string-view alias char8 array-view
show string(a char8 array-view)
~~ string(a string, b string)
~ string(a char8, b string)
~ string(a string, b char8)
interpolate-string string(a string)
interpolate-value[t] string(a t) t show
interpolate string(parts string[])
interpolate String(parts string[]) java
interpolate js-any(parts string[]) js
new string()
Same as "".
is-empty bool(a string)
Same as a == "".
size nat64(a string)
== bool(a string, b string)
<=> comparison(a string, b string)
<=> comparison(a char8, b char8)
hash void(a string, state hash-state)
hash void(a char8, state hash-state)
subscript char8(a string, index nat64)
subscript char8(a string, index index-relative-to-end)
subscript char8 array-view(a string, indices nat64 range)
subscript char8 array-view(a string, indices range-relative-to-end)
to char8[](a string)
to string(a char8[])
Treats UTF-8 character codes as a string.
to string(a char8 array-view)
move-to string(a char8 mut[])
as-string string(bytes nat8[])
as-string string(bytes nat8 array-view)
to nat8[](a string)
Treats a string as UTF-8 bytes. This is O(1).
to int8[](a string)
show[t] spec
show string(a t)
show string(a bool)
"true" or "false".
to string(a char8)
String containing a single character.
show string(a char8)
show string(a comparison)
show[t] string(a t option) t show
show string(a nat8)
show string(a nat16)
show string(a nat32)
show string(a nat64)
Converts a nat to a string. Returns only digits without punctuation, e.g. 1234.
to-binary string(a nat64)
to-hex string(a nat64)
show string(a string)
show string(a int8)
show string(a int16)
show string(a int32)
show string(a int64)
show string(a float32)
show string(a float64)
some bool(a string, f bool mut(char8))
some-reverse bool(a string, f bool mut(char8))
string-iterator alias char8 array-iterator
begin char8 array-iterator(a string)
end char8 array-iterator(a string)
with-block string(a build-options, f void mut(char8 builder))
join string(parts string[])
join string(joiner string, parts string[])
Equivalent to parts[0] ~~ joiner ~~ parts[1] ~~ joiner ~~ ... ~~ parts[end - 1].