String

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

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

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

Signatures

String.make(any) => String

Namespace optional

Signatures

String.concat(String, String) => String

String.concat(String, any) => String

infix: +

Namespace optional

Signatures

String.add(String, String) => String

String.add(String, any) => String

Signatures

String.split(String, String) => List(String)