Documentation
API
String

String

Strings support all JSON escape sequences, with addition of escaped single-quotes (for single-quoted strings)

a = "'\" NUL:\u0000"
b = '\'" NUL:\u0000'

make

Converts any value to a string. Some information is often lost.

Signatures
String.make(any) => String

concat

Namespace optional
Signatures
String.concat(String, String) => String
String.concat(String, any) => String

add

infix: +
Namespace optional
Signatures
String.add(String, String) => String
String.add(String, any) => String

split

Signatures
String.split(String, separator: String) => List(String)
ScaleTable