Index of values

The monadic bind.

blit src src_pos dst dst_pos len copies len characters starting at src_pos of src into dst starting from dst_post.

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

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

Like chop_prefix_exn but return None instead of throwing an Invalid_argument.

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 for strings.

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 characters.

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

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

The classical concat function.

Just the second part of split_at.

A string of zero length

A string of zero length.

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.

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).

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 from.

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.

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.

Get the length of the string (i.e.

make size char builds a new string of the passed length where the character at every position is char, like String.make.

make size char builds a new string of the passed length where the character at every position is char, 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.

If the representation of strings is bounded, the maximum length of a string.

If the representation of strings is bounded (by a constant other than the process memory), the maximum length of a string is assumed to be this number of characters.

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 the n-th char.

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 start to just before finish if all of the indices are in bounds.

Like slice but throw an exception instead of returning None if the indices are out of bounds.

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

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

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 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.

Serialize the string to a native string.

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).

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_bytes c ~buf ~index serializes the character c at position index in the native bytes buf (writing size c units).