Safe Haskell	None
Language	Haskell2010

Data.XML.Parser.Mid.Doctype

Description

Document type declaration parsers.

https://www.w3.org/TR/REC-xml/#dt-doctype

All documentation examples assume the following setup:

:set -XOverloadedStrings
import Data.Attoparsec.ByteString

Synopsis

data ExternalID
- = PublicID Text Text
- | SystemID Text
externalID :: CharParsing m => Monad m => m ExternalID
data GeneralEntityDeclaration = GeneralEntityDeclaration Text [Content]
generalEntityDeclaration :: CharParsing m => Monad m => m GeneralEntityDeclaration
data Doctype = Doctype Text (Maybe ExternalID) [GeneralEntityDeclaration]
doctype :: CharParsing m => Monad m => m Doctype

Documentation

data ExternalID Source #

External entity identifier

https://www.w3.org/TR/REC-xml/#dt-extent

Constructors

PublicID Text Text
SystemID Text

Instances

Eq ExternalID Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods (==) :: ExternalID -> ExternalID -> Bool # (/=) :: ExternalID -> ExternalID -> Bool #
Ord ExternalID Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods compare :: ExternalID -> ExternalID -> Ordering # (<) :: ExternalID -> ExternalID -> Bool # (<=) :: ExternalID -> ExternalID -> Bool # (>) :: ExternalID -> ExternalID -> Bool # (>=) :: ExternalID -> ExternalID -> Bool # max :: ExternalID -> ExternalID -> ExternalID # min :: ExternalID -> ExternalID -> ExternalID #
Read ExternalID Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods readsPrec :: Int -> ReadS ExternalID # readList :: ReadS [ExternalID] # readPrec :: ReadPrec ExternalID # readListPrec :: ReadPrec [ExternalID] #
Show ExternalID Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods showsPrec :: Int -> ExternalID -> ShowS # show :: ExternalID -> String # showList :: [ExternalID] -> ShowS #

externalID :: CharParsing m => Monad m => m ExternalID Source #

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

>>> parseOnly externalID "PUBLIC '-//Textuality//TEXT Standard open-hatch boilerplate//EN' 'http://www.textuality.com/boilerplate/OpenHatch.xml'"
Right (PublicID "-//Textuality//TEXT Standard open-hatch boilerplate//EN" "http://www.textuality.com/boilerplate/OpenHatch.xml")
>>> parseOnly externalID "SYSTEM '../grafix/OpenHatch.gif'"
Right (SystemID "../grafix/OpenHatch.gif")

data GeneralEntityDeclaration Source #

https://www.w3.org/TR/REC-xml/#gen-entity

Constructors

GeneralEntityDeclaration Text [Content]

Instances

Eq GeneralEntityDeclaration Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods (==) :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Bool # (/=) :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Bool #
Ord GeneralEntityDeclaration Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods compare :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Ordering # (<) :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Bool # (<=) :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Bool # (>) :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Bool # (>=) :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> Bool # max :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> GeneralEntityDeclaration # min :: GeneralEntityDeclaration -> GeneralEntityDeclaration -> GeneralEntityDeclaration #
Read GeneralEntityDeclaration Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods readsPrec :: Int -> ReadS GeneralEntityDeclaration # readList :: ReadS [GeneralEntityDeclaration] # readPrec :: ReadPrec GeneralEntityDeclaration # readListPrec :: ReadPrec [GeneralEntityDeclaration] #
Show GeneralEntityDeclaration Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods showsPrec :: Int -> GeneralEntityDeclaration -> ShowS # show :: GeneralEntityDeclaration -> String # showList :: [GeneralEntityDeclaration] -> ShowS #

generalEntityDeclaration :: CharParsing m => Monad m => m GeneralEntityDeclaration Source #

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

>>> parseOnly generalEntityDeclaration "<!ENTITY d '&#xD;'>"
Right (GeneralEntityDeclaration "d" [ContentReference (CharRef '\r')])
>>> parseOnly generalEntityDeclaration "<!ENTITY da '&#xD;&#xA;'>"
Right (GeneralEntityDeclaration "da" [ContentReference (CharRef '\r'),ContentReference (CharRef '\n')])
>>> parseOnly generalEntityDeclaration "<!ENTITY Pub-Status 'This is a pre-release of the specification.'>"
Right (GeneralEntityDeclaration "Pub-Status" [ContentText "This is a pre-release of the specification."])

data Doctype Source #

https://www.w3.org/TR/REC-xml/#dt-doctype

Constructors

Doctype Text (Maybe ExternalID) [GeneralEntityDeclaration]

Instances

Eq Doctype Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods (==) :: Doctype -> Doctype -> Bool # (/=) :: Doctype -> Doctype -> Bool #
Ord Doctype Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods compare :: Doctype -> Doctype -> Ordering # (<) :: Doctype -> Doctype -> Bool # (<=) :: Doctype -> Doctype -> Bool # (>) :: Doctype -> Doctype -> Bool # (>=) :: Doctype -> Doctype -> Bool # max :: Doctype -> Doctype -> Doctype # min :: Doctype -> Doctype -> Doctype #
Read Doctype Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods readsPrec :: Int -> ReadS Doctype # readList :: ReadS [Doctype] # readPrec :: ReadPrec Doctype # readListPrec :: ReadPrec [Doctype] #
Show Doctype Source #
Instance details Defined in Data.XML.Parser.Mid.Doctype Methods showsPrec :: Int -> Doctype -> ShowS # show :: Doctype -> String # showList :: [Doctype] -> ShowS #

doctype :: CharParsing m => Monad m => m Doctype Source #

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

>>> parseOnly doctype "<!DOCTYPE greeting SYSTEM 'hello.dtd'>"
Right (Doctype "greeting" (Just (SystemID "hello.dtd")) [])
>>> parseOnly doctype "<!DOCTYPE foo [ <!ENTITY x '&lt;'> ]>"
Right (Doctype "foo" Nothing [GeneralEntityDeclaration "x" [ContentReference (EntityRef "lt")]])