Data.XML.Parser.Low

Low-level XML parsers:

• parsed tokens are small and may overlap; it is not possible to tokenize XML document in a stateless way
• parsers are reversible: all formatting details are retained (e.g. whitespacing)

All documentation examples assume the following setup:

:set -XOverloadedStrings
import Data.Attoparsec.ByteString

Documentation

module Data.XML.Parser.Low.Entity

module Data.XML.Parser.Low.Name

module Data.XML.Parser.Low.Reference

data Content

Raw text or reference.

Constructors

ContentText Text

ContentReference Reference

Instances

Eq Content

Defined in Data.XML.Parser.Low

Methods

(==) :: Content -> Content -> Bool

(/=) :: Content -> Content -> Bool

Ord Content

Defined in Data.XML.Parser.Low

Methods

compare :: Content -> Content -> Ordering

(<) :: Content -> Content -> Bool

(<=) :: Content -> Content -> Bool

(>) :: Content -> Content -> Bool

(>=) :: Content -> Content -> Bool

max :: Content -> Content -> Content

min :: Content -> Content -> Content

Read Content

Defined in Data.XML.Parser.Low

Methods

readsPrec :: Int -> ReadS Content

readList :: ReadS [Content]

readPrec :: ReadPrec Content

readListPrec :: ReadPrec [Content]

Show Content

Defined in Data.XML.Parser.Low

Methods

showsPrec :: Int -> Content -> ShowS

show :: Content -> String

showList :: [Content] -> ShowS

expandContent :: Alternative m => EntityDecoder -> Content -> m Text

Expand content reference, if any.

expandContents :: Alternative m => Monad m => EntityDecoder -> [Content] -> m Text

Same as expandContent, but on a list. Provided for convenience.

tokenSingleQuote :: CharParsing m => m Char

'

tokenDoubleQuote :: CharParsing m => m Char

"

tokenQuote :: CharParsing m => m Char

Single or double quote.

tokenWhitespace :: CharParsing m => m String

https://www.w3.org/TR/REC-xml/#NT-S

tokenEqual :: CharParsing m => Monad m => m ()

https://www.w3.org/TR/REC-xml/#NT-Eq

tokenContent :: CharParsing m => Monad m => String -> m Content

tokenInstructionOpen :: CharParsing m => Monad m => m Text

Return processing instruction name.

>>> parseOnly tokenInstructionOpen "<?php"
Right "php"

tokenInstructionClose :: CharParsing m => m ()

?>

tokenCdataOpen :: CharParsing m => m ()

<![CDATA[

https://www.w3.org/TR/REC-xml/#NT-CDStart

tokenCdataClose :: CharParsing m => m ()

]]>

https://www.w3.org/TR/REC-xml/#NT-CDEnd

tokenCommentOpen :: CharParsing m => m ()

<!--

tokenCommentClose :: CharParsing m => m ()

-->

tokenDoctypeOpen :: CharParsing m => m ()

<!DOCTYPE

tokenXmlDeclarationOpen :: CharParsing m => m ()

<?xml

tokenXmlDeclarationClose :: CharParsing m => m ()

?>

tokenEmptyElementTagClose :: CharParsing m => m ()

/>

tokenStartTagOpen :: CharParsing m => Monad m => m QName

Return tag name.

>>> parseOnly tokenStartTagOpen "<foo"
Right (QName {namePrefix = "", nameLocal = "foo"})

tokenEndTagOpen :: CharParsing m => Monad m => m QName

Return tag name.

>>> parseOnly tokenEndTagOpen "</foo"
Right (QName {namePrefix = "", nameLocal = "foo"})

tokenElementClose :: CharParsing m => m ()

>

module Data.XML.InternalSubset.Parser.Low