Safe Haskell	None
Language	Haskell2010

Data.XML.InternalSubset.Parser.Mid

Description

Mid-level parsers for doctype's internal subset, built on top of Data.XML.InternalSubset.Parser.Low:

some formatting details are abstracted away (e.g. quoting, whitespacing), therefore parsers are not reversible
entities delimited by an opening and closing sequence are recognized
token parsers do not overlap, therefore XML document can be tokenized in a stateless way

All documentation examples assume the following setup:

:set -XOverloadedStrings
import Data.Attoparsec.ByteString

Synopsis

module Data.XML.Parser.Mid.Comment
module Data.XML.Parser.Mid.ExternalID
module Data.XML.Parser.Mid.Instruction
data ElementType = ElementType Text ElementTypeContent
newtype AttributeList = AttributeList Text
data GeneralEntity = GeneralEntity Text [Content]
data ParameterEntity = ParameterEntity Text [EntityValue]
data Notation = Notation Text ExternalID
data Token
data TokenParser m a
runTokenParser :: TokenParser m a -> m a
tokenElementType :: CharParsing m => Monad m => TokenParser m ElementType
tokenAttributeList :: CharParsing m => Monad m => TokenParser m AttributeList
tokenGeneralEntity :: CharParsing m => Monad m => TokenParser m GeneralEntity
tokenParameterEntity :: CharParsing m => Monad m => TokenParser m ParameterEntity
tokenNotation :: CharParsing m => Monad m => TokenParser m Notation
tokenInstruction :: CharParsing m => Monad m => TokenParser m Instruction
tokenComment :: CharParsing m => Monad m => TokenParser m Text
anyToken :: CharParsing m => Monad m => TokenParser m Token

Documentation

module Data.XML.Parser.Mid.Comment

module Data.XML.Parser.Mid.ExternalID

module Data.XML.Parser.Mid.Instruction

data ElementType Source #

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

Constructors

ElementType Text ElementTypeContent

Instances

Instances details

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

newtype AttributeList Source #

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

Missing: attribute definition

Constructors

AttributeList Text

Instances

Instances details

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

data GeneralEntity Source #

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

Constructors

GeneralEntity Text [Content]

Instances

Instances details

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

data ParameterEntity Source #

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

Constructors

ParameterEntity Text [EntityValue]

Instances

Instances details

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

data Notation Source #

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

Constructors

Notation Text ExternalID

Instances

Instances details

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

data Token Source #

Constructors

TokenElementType ElementType
TokenAttributeList AttributeList
TokenGeneralEntity GeneralEntity
TokenParameterEntity ParameterEntity
TokenNotation Notation
TokenInstruction Instruction
TokenComment Text

Instances

Instances details

Eq Token Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Ord Token Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods compare :: Token -> Token -> Ordering # (<) :: Token -> Token -> Bool # (<=) :: Token -> Token -> Bool # (>) :: Token -> Token -> Bool # (>=) :: Token -> Token -> Bool # max :: Token -> Token -> Token # min :: Token -> Token -> Token #
Show Token Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #

data TokenParser m a Source #

A parser that consumes whole Tokens.

Instances

Instances details

Monad m => Monad (TokenParser m) Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods (>>=) :: TokenParser m a -> (a -> TokenParser m b) -> TokenParser m b # (>>) :: TokenParser m a -> TokenParser m b -> TokenParser m b # return :: a -> TokenParser m a #
Functor m => Functor (TokenParser m) Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods fmap :: (a -> b) -> TokenParser m a -> TokenParser m b # (<$) :: a -> TokenParser m b -> TokenParser m a #
(Parsing m, Monad m) => MonadFail (TokenParser m) Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods fail :: String -> TokenParser m a #
Applicative m => Applicative (TokenParser m) Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods pure :: a -> TokenParser m a # (<>) :: TokenParser m (a -> b) -> TokenParser m a -> TokenParser m b # liftA2 :: (a -> b -> c) -> TokenParser m a -> TokenParser m b -> TokenParser m c # (>) :: TokenParser m a -> TokenParser m b -> TokenParser m b # (<*) :: TokenParser m a -> TokenParser m b -> TokenParser m a #
Alternative m => Alternative (TokenParser m) Source #
Instance details Defined in Data.XML.InternalSubset.Parser.Mid Methods empty :: TokenParser m a # (<\|>) :: TokenParser m a -> TokenParser m a -> TokenParser m a # some :: TokenParser m a -> TokenParser m [a] # many :: TokenParser m a -> TokenParser m [a] #

runTokenParser :: TokenParser m a -> m a Source #

tokenElementType :: CharParsing m => Monad m => TokenParser m ElementType Source #

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

>>> parseOnly (runTokenParser tokenElementType) "<!ELEMENT br EMPTY>"
Right (ElementType "br" ContentEmpty)
>>> parseOnly (runTokenParser tokenElementType) "<!ELEMENT container ANY>"
Right (ElementType "container" ContentAny)

tokenAttributeList :: CharParsing m => Monad m => TokenParser m AttributeList Source #

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

>>> parseOnly (runTokenParser tokenAttributeList) "<!ATTLIST termdef>"
Right (AttributeList "termdef")

tokenGeneralEntity :: CharParsing m => Monad m => TokenParser m GeneralEntity Source #

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

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

tokenParameterEntity :: CharParsing m => Monad m => TokenParser m ParameterEntity Source #

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

>>> parseOnly (runTokenParser tokenParameterEntity) "<!ENTITY % YN '\"Yes\"' >"
Right (ParameterEntity "YN" [ValueText "\"Yes\""])

tokenNotation :: CharParsing m => Monad m => TokenParser m Notation Source #

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

>>> parseOnly (runTokenParser tokenNotation) "<!NOTATION foo SYSTEM \"identifier\">"
Right (Notation "foo" (SystemID "identifier"))

tokenInstruction :: CharParsing m => Monad m => TokenParser m Instruction Source #

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

tokenComment :: CharParsing m => Monad m => TokenParser m Text Source #

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

anyToken :: CharParsing m => Monad m => TokenParser m Token Source #

Parse any Token.