Index of values

The monadic bind.

Copy length characters from src (starting at src_index) to dst (starting at dst_index).

Like Sosa.UNSAFELY_MUTABLE.blit but fail with a non-specified exception.

Like chop_prefix_exn but return None instead of throwing an exception.

Return a copy of t with prefix removed from the beginning.

Like chop_suffix_exn but return None instead of throwing an exception.

Return a copy of t with suffix removed from the end.

Comparison function (as expected by most common functors in the ecosystem).

Comparison function (as expected by most common functors in the ecosystem).

Comparison function for substrings: use as compare_substring (s1, index1, length1) (s2, index2, length2).

Do like Sosa.BASIC_STRING.compare_substring but return Some _ only when it is well defined (same validity criteria as Sosa.BASIC_STRING.sub: if length is 0, index is irrelevant).

The classical concat function.

Just the second part of split_at

An “empty” string.

Return true if-and-only-if f returns true on at least one character.

Create a new string with the characters for which f c is true.

Create a new string with the characters for which f c returned Some c.

Find the index of the first character c for which f c is true.

Find the index of the last character c for which f c is true.

The standard fold function, see List.fold_left for example.

The standard fold2 function, see List.fold_left2 for example.

Pass an accumulator over the string's characters and their ordinals, starting with the first; left most.

Return true if-and-only-if f returns true on all characters.

Get the n-th char, indexes are not necessarily bytes, they can be bits.

Like get but fail with an exception

Find the first occurrence of a character in the string (starting at position from).

Do like index_of_character but start from the end of the string.

Find the first occurrence of the substring (sub, sub_index, sub_length) in a given string, starting at index from.

Do like index_of_string but start from the end of the string.

Test whether a string is empty.

Does t start with prefix ?

Does t end with suffix ?

Tell whether a character is considered whitespace.

Apply f on every character successively.

Apply f on every character successively in reverse order.

Apply f on every character and its index.

Get the length of the string (i.e.

Build a new string like String.make.

Make a new string by applying f to all characters of the input.

Make a new string by applying f to all pairs of characters of the inputs.

Make a new string by applying f to all characters and their indices.

Set the index-th character of the string.

Set the index-th character of the string, but fail with a non-specified exception.

Make a string with one character.

Make a string out of a list of characters.

Import an integer, returns None if there is no character for that value.

Import a native char, returns None if the character is not representable.

Convert a native string to the current representation.

Convert a native string like of_native_string but take a subset of the string.

Output a string to a channel.

The function to output a given native string to a channel.

Read a character at a given index in a native string, returns Some (c, s), the character c and the number of units read s, or None if there is no representable/valid character at that index.

The monadic return.

Reverse the string.

set str ~index ~v creates a new string equal to t with character v at position index.

Like set but fail with an exception

Get the size of the character, the exact semantics are implementation-specific (c.f.

Create a sub-string from the start (default 0, within [0,length\)) position to before the finish (default length, within [0,length]) if all of the indices are in bounds.

Like slice but throw an exception instead of returning None

Split the string using on as separator.

Return a tuple where the first string is a prefix of the specified length and the second is the rest.

Remove any whitespace characters at the beginning and/or the end of the string (default `Both).

Get the sub-string of size length at position index.

Do like sub but throw an exception instead of returning None

Just the first part of split_at

Take a prefix of the string until f returns false.

Like Sosa.BASIC_STRING.take_while but the function also takes the current index.

Explode a string into a list of characters.

Returns the integer representation of the character.

to_native_string c creates a string containing the serialization of the character c (if size c is not a multiple of 8, the end-padding is undefined).

Serialize the string to a native string.

Convert the string to a human-readable native string (à la sprintf "%S").

Convert the character to a human-readable native string (in the spirit of sprintf "%s").

write_to_native_string c ~buf ~index serializes the character c at position index in the native string buf (writing size c units).