Library
Module
Module type
Parameter
Class
Class type
Encoding helper modules
module type UCS_VALIDATOR = sig ... end
Validates UCS character values.
module UTF8_UCS_validator : UCS_VALIDATOR
Accepts all values within the UCS character value range * except those which are invalid for all UTF-8 documents.
module XML_UTF8_UCS_validator : UCS_VALIDATOR
Accepts all values within the UCS character value range except * those which are invalid for all UTF-8-encoded XML documents.
module UCS : sig ... end
module XML : sig ... end
module type CHARACTER_ENCODER = sig ... end
module type CHARACTER_DECODER = sig ... end
module UTF8_CODEC (UCS_validator : UCS_VALIDATOR) : sig ... end
module UTF8_codec : sig ... end
module XML_UTF8_codec : sig ... end
module type STRING_VALIDATOR = sig ... end
Provides functionality for validating and processing * strings according to a particular character encoding.
module String_validator (Decoder : CHARACTER_DECODER) : STRING_VALIDATOR
Represents a validation error as a tuple (i,e)
, where: * i
= the index of the first non-compliant character; * e
= the reason for non-compliance.
module UTF8 : STRING_VALIDATOR
Provides functions for validating and processing * strings according to the UTF-8 character encoding. * * Validly-encoded strings must satisfy RFC 3629. * * For further information, see: * http://www.rfc.net/rfc3629.html
module UTF8_XML : STRING_VALIDATOR
Provides functions for validating and processing * strings according to the UTF-8 character encoding, * with certain additional restrictions on UCS values * imposed by the XML specification. * * Validly-encoded strings must satisfy both RFC 3629 * and section 2.2 of the XML specification. * * For further information, see: * http://www.rfc.net/rfc3629.html * http://www.w3.org/TR/REC-xml/#charsets