Portability | portable |
---|---|
Stability | experimental |
Maintainer | Uwe Schmidt (uwe@fh-wedel.de) |
XML character properties
- isXmlChar :: CharSet
- isXmlSpaceChar :: CharSet
- isXml11SpaceChar :: CharSet
- isXmlNameChar :: CharSet
- isXmlNameStartChar :: CharSet
- isXmlNCNameChar :: CharSet
- isXmlNCNameStartChar :: CharSet
- isXmlPubidChar :: CharSet
- isXmlLetter :: CharSet
- isXmlBaseChar :: CharSet
- isXmlIdeographicChar :: CharSet
- isXmlCombiningChar :: CharSet
- isXmlDigit :: CharSet
- isXmlExtender :: CharSet
- isXmlControlOrPermanentlyUndefined :: CharSet
Documentation
isXmlSpaceChar :: CharSetSource
checking for XML space character: \n, \r, \t and " "
isXml11SpaceChar :: CharSetSource
checking for XML1.1 space character: additional space 0x85 and 0x2028
see also : isXmlSpaceChar
isXmlNameChar :: CharSetSource
checking for XML name character
isXmlNameStartChar :: CharSetSource
checking for XML name start character
see also : isXmlNameChar
isXmlNCNameChar :: CharSetSource
checking for XML NCName character: no ":" allowed
see also : isXmlNameChar
isXmlNCNameStartChar :: CharSetSource
checking for XML NCName start character: no ":" allowed
see also : isXmlNameChar
, isXmlNCNameChar
isXmlPubidChar :: CharSetSource
checking for XML public id character
checking for XML letter
isXmlBaseChar :: CharSetSource
checking for XML base charater
isXmlIdeographicChar :: CharSetSource
checking for XML ideographic charater
isXmlCombiningChar :: CharSetSource
checking for XML combining charater
checking for XML digit
isXmlExtender :: CharSetSource
checking for XML extender
isXmlControlOrPermanentlyUndefined :: CharSetSource
checking for XML control or permanently discouraged char
see Errata to XML1.0 (http://www.w3.org/XML/xml-V10-2e-errata) No 46
Document authors are encouraged to avoid compatibility characters, as defined in section 6.8 of [Unicode] (see also D21 in section 3.6 of [Unicode3]). The characters defined in the following ranges are also discouraged. They are either control characters or permanently undefined Unicode characters: