Mavryk_stdlib.TzStringsplit delim ~limit str splits str into a list of strings. Splitting occurs on delim characters (which are removed from output) at most limit times. Remaining delim characters are included in the last element of the resulting list.
limit defaults to max_int.
This function obeys the invariant that for all limits, delims and strs: String.concat (String.init 1 (fun _ -> delim)) (split delim ~limit str) = str.
Splits a string on a delimiter character. It strips delimiters at the beginning and at the end. It considers groups of delimiters as one. If limit is passed, stops after limit split(s). limit defaults to max_int. It's guaranteed to never produce empty strings in the output. Therefore, it's capable of producing an empty list as a result.
For example, split_no_empty ',' ",hello,,world," returns "hello"; "world"
chunk_bytes n b chunks the sequence of bytes b into a list of strings, each of length n. The last chunk may be a non-empty string of length less than n, in which case the behaviour of the function depends on whether error_on_partial_chunk is set:
error_on_partial_chunk is set, then the function returns Error error_on_partial_chunk,n.Some (input with prefix removed), if string has prefix, else None
Some (input with suffix removed), if string has suffix, else None
Functional iteration over the characters of a string from first to last