Type of a UTF-8 character code
Module OgamlUtils.UTF8String
UTF-8 String representation and manipulation
Type of a UTF-8 encoded string
Raised when a string is not correctly encoded
Raised when an operation violates the bounds of the string
Empty UTF-8 string
Makes a UTF-8 string filled with one character
Raises UTF8_error if the code is not a valid UTF-8 character code
Raises UTF8_error if the code is not a valid UTF-8 character code
Returns the ith character of a UTF-8 string
Sets the ith character of a UTF-8 string.
Raises UTF8_error if the code is not a valid UTF-8 character code
Raises UTF8_error if the code is not a valid UTF-8 character code
Returns the length of a UTF-8 string
Returns the byte length of a UTF-8 string (the number of bytes required to encode it)
Returns a UTF-8 encoded string from a string.
Raises UTF8_error if the string is not a valid UTF-8 encoding
Raises UTF8_error if the string is not a valid UTF-8 encoding
Returns a string from a UTF-8 encoded string
Iterates through a UTF-8 string
Folds a UTF-8 string
Maps a UTF-8 string
Raises UTF8_error if the function returns an invalid UTF-8 code
Raises UTF8_error if the function returns an invalid UTF-8 code