string

Strings of characters

let length: (_: string) => nat

The call String.length(s) is the number of characters in the string s. Note: String.length is another name for String.size.

let size: (_: string) => nat

The call String.size(s) is the number of characters in the string s.

let concat: (_: string) => (_: string) => string

The call String.concat(left, right) is the concatenation of the string left and the string right, in that order.

let concats: (_: list<string>) => string

The call String.concats(list) is the concatenation of the strings in the list list, from left to right.

let sub: (_: nat) => (_: nat) => (_: string) => string

The call String.sub(index, len, str) is the substring of string str starting at index index (0 denoting the first character) and of length len. If the index or length are invalid, an exception interrupts the execution.

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

The call String.sub_opt(index, len, str) is Some of the substring of string str starting at index index (0 denoting the first character) and of length len, or None if the index or length are invalid. This matches Michelson SLICE.

let slice: (_: nat) => (_: nat) => (_: string) => string

The call String.slice(index, len, str) is the substring of string str starting at index index (0 denoting the first character) and of length len. If the index or length are invalid, an exception interrupts the execution.

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

The call String.slice_opt(index, len, str) is another name for String.sub_opt(index, len, str).