Convert a character to a string.

O(n). Return the number of characters in a string.

Convert a list of characters to a string.

Convert a maybestd/core/types/maybe: V -> V string to a string using the empty sting for Nothingstd/core/types/Nothing: forall<a> maybe<a>.

Split a string into parts that were delimited by sep. The delimiters are not included in the results. For example: split("1,,2",",") == ["1","","2"].

Split a string into at most n parts that were delimited by a string sep. The delimiters are not included in the results (except for possibly the final part). For example: split("1,2,3",",",2) == ["1","2,3"].

Count occurrences of pattern in a string.

Concatenate a vector of strings.

Convert a vector of characters to a string.

Concatenate a vector of strings with a separator sep.

Are two strings not equal?

Are two strings equal? Uses exact equality between character codes.

Choose a non-empty string.

Compare two strings. Uses the character codes directly for comparison.

Does string s contain the string sub?

Is a string empty?

Is a string not empty?

Convert a string to a list of characters.

Transform a string to a maybe type, using Nothingstd/core/types/Nothing: forall<a> maybe<a> for an empty string.

Right-align a string to width width using fill (default is a space) to fill from the left.

Left-align a string to width width using fill (default is a space) to fill on the right.

Repeat a string n times.

Replace every occurrence of pattern to repl in a string.

Convert a string to lower-case.

Convert a string to upper-case.

Trim whitespace on the left and right side of a string.

Trim the starting white space of a string.

Trim the ending white space of a string.

Convert a string to a vector of characters.