Safe Haskell	Safe-Inferred
Language	Haskell98

Text.XML.HaXml.Types

Contents

A simple symbol table mapping strings (references) to values.
- Symbol table operations
XML Types

Description

This module defines an internal (generic) representation for XML documents including their DTDs.

History: The original module was derived by hand from the XML specification, following the grammar precisely. Then we simplified the types, removing layers of indirection and redundancy, and generally making things easier to work with. Then we allowed PEReferences to be ubiquitous, by removing them from the types and resolving all PE references at parse-time. Finally, we added a per-document symbol table for GEReferences, and a whitespace-significance flag for plaintext.

Synopsis

type SymTab a = [(String, a)]
emptyST :: SymTab a
addST :: String -> a -> SymTab a -> SymTab a
lookupST :: String -> SymTab a -> Maybe a
data Document i = Document Prolog (SymTab EntityDef) (Element i) [Misc]
data Element i = Elem QName [Attribute] [Content i]
data ElemTag = ElemTag QName [Attribute]
data Content i
- = CElem (Element i) i
- | CString Bool CharData i
- | CRef Reference i
- | CMisc Misc i
type Attribute = (QName, AttValue)
data AttValue = AttValue [Either String Reference]
info :: Content t -> t
data Prolog = Prolog (Maybe XMLDecl) [Misc] (Maybe DocTypeDecl) [Misc]
data XMLDecl = XMLDecl VersionInfo (Maybe EncodingDecl) (Maybe SDDecl)
data Misc
- = Comment Comment
- | PI ProcessingInstruction
type ProcessingInstruction = (PITarget, String)
type SDDecl = Bool
type VersionInfo = String
type Comment = String
type PITarget = String
data DocTypeDecl = DTD QName (Maybe ExternalID) [MarkupDecl]
data MarkupDecl
- = Element ElementDecl
- | AttList AttListDecl
- | Entity EntityDecl
- | Notation NotationDecl
- | MarkupMisc Misc
data ExtSubset = ExtSubset (Maybe TextDecl) [ExtSubsetDecl]
data ExtSubsetDecl
- = ExtMarkupDecl MarkupDecl
- | ExtConditionalSect ConditionalSect
data ElementDecl = ElementDecl QName ContentSpec
data ContentSpec
- = EMPTY
- | ANY
- | Mixed Mixed
- | ContentSpec CP
data CP
- = TagName QName Modifier
- | Choice [CP] Modifier
- | Seq [CP] Modifier
data Modifier
- = None
- | Query
- | Star
- | Plus
data Mixed
- = PCDATA
- | PCDATAplus [QName]
data AttListDecl = AttListDecl QName [AttDef]
data AttDef = AttDef QName AttType DefaultDecl
data AttType
- = StringType
- | TokenizedType TokenizedType
- | EnumeratedType EnumeratedType
data TokenizedType
- = ID
- | IDREF
- | IDREFS
- | ENTITY
- | ENTITIES
- | NMTOKEN
- | NMTOKENS
data EnumeratedType
- = NotationType NotationType
- | Enumeration Enumeration
type NotationType = [Name]
type Enumeration = [NmToken]
data DefaultDecl
- = REQUIRED
- | IMPLIED
- | DefaultTo AttValue (Maybe FIXED)
data FIXED = FIXED
data ConditionalSect
- = IncludeSect IncludeSect
- | IgnoreSect IgnoreSect
type IncludeSect = [ExtSubsetDecl]
type IgnoreSect = [IgnoreSectContents]
data Ignore = Ignore
data IgnoreSectContents = IgnoreSectContents Ignore [(IgnoreSectContents, Ignore)]
data Reference
- = RefEntity EntityRef
- | RefChar CharRef
type EntityRef = Name
type CharRef = Int
type PEReference = Name
data EntityDecl
- = EntityGEDecl GEDecl
- | EntityPEDecl PEDecl
data GEDecl = GEDecl Name EntityDef
data PEDecl = PEDecl Name PEDef
data EntityDef
- = DefEntityValue EntityValue
- | DefExternalID ExternalID (Maybe NDataDecl)
data PEDef
- = PEDefEntityValue EntityValue
- | PEDefExternalID ExternalID
data ExternalID
- = SYSTEM SystemLiteral
- | PUBLIC PubidLiteral SystemLiteral
newtype NDataDecl = NDATA Name
data TextDecl = TextDecl (Maybe VersionInfo) EncodingDecl
data ExtParsedEnt i = ExtParsedEnt (Maybe TextDecl) (Content i)
data ExtPE = ExtPE (Maybe TextDecl) [ExtSubsetDecl]
data NotationDecl = NOTATION Name (Either ExternalID PublicID)
newtype PublicID = PUBLICID PubidLiteral
newtype EncodingDecl = EncodingDecl String
data EntityValue = EntityValue [EV]
data EV
- = EVString String
- | EVRef Reference
newtype PubidLiteral = PubidLiteral String
newtype SystemLiteral = SystemLiteral String
data QName
- = N Name
- | QN Namespace Name
data Namespace = Namespace {
- nsPrefix :: String
- nsURI :: String
}
type Name = String
type Names = [Name]
type NmToken = String
type NmTokens = [NmToken]
type CharData = String
type CDSect = CharData

A simple symbol table mapping strings (references) to values.

type SymTab a = [(String, a)] Source #

Symbol table operations

emptyST :: SymTab a Source #

addST :: String -> a -> SymTab a -> SymTab a Source #

lookupST :: String -> SymTab a -> Maybe a Source #

XML Types

The top-level document container

data Document i Source #

The symbol table stored in a document holds all its general entity reference definitions.

Constructors

Document Prolog (SymTab EntityDef) (Element i) [Misc]

Instances

Instances details

Functor Document Source #
Instance details Defined in Text.XML.HaXml.Types Methods fmap :: (a -> b) -> Document a -> Document b # (<$) :: a -> Document b -> Document a #
Show i => Show (Document i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Document i -> ShowS # show :: Document i -> String # showList :: [Document i] -> ShowS #
Eq (Document i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Document i -> Document i -> Bool # (/=) :: Document i -> Document i -> Bool #

The main document content

data Element i Source #

Constructors

Elem QName [Attribute] [Content i]

Instances

Instances details

Functor Element Source #
Instance details Defined in Text.XML.HaXml.Types Methods fmap :: (a -> b) -> Element a -> Element b # (<$) :: a -> Element b -> Element a #
Verbatim (Element i) Source #
Instance details Defined in Text.XML.HaXml.Verbatim Methods verbatim :: Element i -> String Source #
Show i => Show (Element i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Element i -> ShowS # show :: Element i -> String # showList :: [Element i] -> ShowS #
Eq (Element i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Element i -> Element i -> Bool # (/=) :: Element i -> Element i -> Bool #

data ElemTag Source #

Constructors

ElemTag QName [Attribute]

Instances

Instances details

Eq ElemTag Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ElemTag -> ElemTag -> Bool # (/=) :: ElemTag -> ElemTag -> Bool #

data Content i Source #

Constructors

CElem (Element i) i
CString Bool CharData i	bool is whether whitespace is significant
CRef Reference i
CMisc Misc i

Instances

Instances details

Functor Content Source #
Instance details Defined in Text.XML.HaXml.Types Methods fmap :: (a -> b) -> Content a -> Content b # (<$) :: a -> Content b -> Content a #
Verbatim (Content i) Source #
Instance details Defined in Text.XML.HaXml.Verbatim Methods verbatim :: Content i -> String Source #
Show i => Show (Content i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Content i -> ShowS # show :: Content i -> String # showList :: [Content i] -> ShowS #
Eq (Content i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Content i -> Content i -> Bool # (/=) :: Content i -> Content i -> Bool #

type Attribute = (QName, AttValue) Source #

data AttValue Source #

Constructors

AttValue [Either String Reference]

Instances

Instances details

Verbatim AttValue Source #
Instance details Defined in Text.XML.HaXml.Verbatim Methods verbatim :: AttValue -> String Source #
Show AttValue Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> AttValue -> ShowS # show :: AttValue -> String # showList :: [AttValue] -> ShowS #
Eq AttValue Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: AttValue -> AttValue -> Bool # (/=) :: AttValue -> AttValue -> Bool #

info :: Content t -> t Source #

Administrative parts of the document

data Prolog Source #

Constructors

Prolog (Maybe XMLDecl) [Misc] (Maybe DocTypeDecl) [Misc]

Instances

Instances details

Show Prolog Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Prolog -> ShowS # show :: Prolog -> String # showList :: [Prolog] -> ShowS #
Eq Prolog Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Prolog -> Prolog -> Bool # (/=) :: Prolog -> Prolog -> Bool #

data XMLDecl Source #

Constructors

XMLDecl VersionInfo (Maybe EncodingDecl) (Maybe SDDecl)

Instances

Instances details

Show XMLDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> XMLDecl -> ShowS # show :: XMLDecl -> String # showList :: [XMLDecl] -> ShowS #
Eq XMLDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: XMLDecl -> XMLDecl -> Bool # (/=) :: XMLDecl -> XMLDecl -> Bool #

data Misc Source #

Constructors

Comment Comment
PI ProcessingInstruction

Instances

Instances details

Show Misc Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Misc -> ShowS # show :: Misc -> String # showList :: [Misc] -> ShowS #
Eq Misc Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Misc -> Misc -> Bool # (/=) :: Misc -> Misc -> Bool #

type ProcessingInstruction = (PITarget, String) Source #

type SDDecl = Bool Source #

type VersionInfo = String Source #

type Comment = String Source #

type PITarget = String Source #

The DTD

content model

data DocTypeDecl Source #

Constructors

DTD QName (Maybe ExternalID) [MarkupDecl]

Instances

Instances details

Show DocTypeDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> DocTypeDecl -> ShowS # show :: DocTypeDecl -> String # showList :: [DocTypeDecl] -> ShowS #
Eq DocTypeDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: DocTypeDecl -> DocTypeDecl -> Bool # (/=) :: DocTypeDecl -> DocTypeDecl -> Bool #

data MarkupDecl Source #

Constructors

Element ElementDecl
AttList AttListDecl
Entity EntityDecl
Notation NotationDecl
MarkupMisc Misc

Instances

Instances details

Show MarkupDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> MarkupDecl -> ShowS # show :: MarkupDecl -> String # showList :: [MarkupDecl] -> ShowS #
Eq MarkupDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: MarkupDecl -> MarkupDecl -> Bool # (/=) :: MarkupDecl -> MarkupDecl -> Bool #

data ExtSubset Source #

Constructors

ExtSubset (Maybe TextDecl) [ExtSubsetDecl]

Instances

Instances details

Show ExtSubset Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ExtSubset -> ShowS # show :: ExtSubset -> String # showList :: [ExtSubset] -> ShowS #
Eq ExtSubset Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ExtSubset -> ExtSubset -> Bool # (/=) :: ExtSubset -> ExtSubset -> Bool #

data ExtSubsetDecl Source #

Constructors

ExtMarkupDecl MarkupDecl
ExtConditionalSect ConditionalSect

Instances

Instances details

Show ExtSubsetDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ExtSubsetDecl -> ShowS # show :: ExtSubsetDecl -> String # showList :: [ExtSubsetDecl] -> ShowS #
Eq ExtSubsetDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ExtSubsetDecl -> ExtSubsetDecl -> Bool # (/=) :: ExtSubsetDecl -> ExtSubsetDecl -> Bool #

data ElementDecl Source #

Constructors

ElementDecl QName ContentSpec

Instances

Instances details

Show ElementDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ElementDecl -> ShowS # show :: ElementDecl -> String # showList :: [ElementDecl] -> ShowS #
Eq ElementDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ElementDecl -> ElementDecl -> Bool # (/=) :: ElementDecl -> ElementDecl -> Bool #

data ContentSpec Source #

Constructors

EMPTY
ANY
Mixed Mixed
ContentSpec CP

Instances

Instances details

Show ContentSpec Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ContentSpec -> ShowS # show :: ContentSpec -> String # showList :: [ContentSpec] -> ShowS #
Eq ContentSpec Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ContentSpec -> ContentSpec -> Bool # (/=) :: ContentSpec -> ContentSpec -> Bool #

data CP Source #

Constructors

TagName QName Modifier
Choice [CP] Modifier
Seq [CP] Modifier

Instances

Instances details

Show CP Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> CP -> ShowS # show :: CP -> String # showList :: [CP] -> ShowS #
Eq CP Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: CP -> CP -> Bool # (/=) :: CP -> CP -> Bool #

data Modifier Source #

Constructors

None	Just One
Query	Zero Or One
Star	Zero Or More
Plus	One Or More

Instances

Instances details

Show Modifier Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Modifier -> ShowS # show :: Modifier -> String # showList :: [Modifier] -> ShowS #
Eq Modifier Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Modifier -> Modifier -> Bool # (/=) :: Modifier -> Modifier -> Bool #

data Mixed Source #

Constructors

PCDATA
PCDATAplus [QName]

Instances

Instances details

Show Mixed Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Mixed -> ShowS # show :: Mixed -> String # showList :: [Mixed] -> ShowS #
Eq Mixed Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Mixed -> Mixed -> Bool # (/=) :: Mixed -> Mixed -> Bool #

attribute model

data AttListDecl Source #

Constructors

AttListDecl QName [AttDef]

Instances

Instances details

Show AttListDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> AttListDecl -> ShowS # show :: AttListDecl -> String # showList :: [AttListDecl] -> ShowS #
Eq AttListDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: AttListDecl -> AttListDecl -> Bool # (/=) :: AttListDecl -> AttListDecl -> Bool #

data AttDef Source #

Constructors

AttDef QName AttType DefaultDecl

Instances

Instances details

Show AttDef Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> AttDef -> ShowS # show :: AttDef -> String # showList :: [AttDef] -> ShowS #
Eq AttDef Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: AttDef -> AttDef -> Bool # (/=) :: AttDef -> AttDef -> Bool #

data AttType Source #

Constructors

StringType
TokenizedType TokenizedType
EnumeratedType EnumeratedType

Instances

Instances details

Show AttType Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> AttType -> ShowS # show :: AttType -> String # showList :: [AttType] -> ShowS #
Eq AttType Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: AttType -> AttType -> Bool # (/=) :: AttType -> AttType -> Bool #

data TokenizedType Source #

Constructors

ID
IDREF
IDREFS
ENTITY
ENTITIES
NMTOKEN
NMTOKENS

Instances

Instances details

Show TokenizedType Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> TokenizedType -> ShowS # show :: TokenizedType -> String # showList :: [TokenizedType] -> ShowS #
Eq TokenizedType Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: TokenizedType -> TokenizedType -> Bool # (/=) :: TokenizedType -> TokenizedType -> Bool #

data EnumeratedType Source #

Constructors

NotationType NotationType
Enumeration Enumeration

Instances

Instances details

Show EnumeratedType Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> EnumeratedType -> ShowS # show :: EnumeratedType -> String # showList :: [EnumeratedType] -> ShowS #
Eq EnumeratedType Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: EnumeratedType -> EnumeratedType -> Bool # (/=) :: EnumeratedType -> EnumeratedType -> Bool #

type NotationType = [Name] Source #

type Enumeration = [NmToken] Source #

data DefaultDecl Source #

Constructors

REQUIRED
IMPLIED
DefaultTo AttValue (Maybe FIXED)

Instances

Instances details

Show DefaultDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> DefaultDecl -> ShowS # show :: DefaultDecl -> String # showList :: [DefaultDecl] -> ShowS #
Eq DefaultDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: DefaultDecl -> DefaultDecl -> Bool # (/=) :: DefaultDecl -> DefaultDecl -> Bool #

data FIXED Source #

Constructors

FIXED

Instances

Instances details

Show FIXED Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> FIXED -> ShowS # show :: FIXED -> String # showList :: [FIXED] -> ShowS #
Eq FIXED Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: FIXED -> FIXED -> Bool # (/=) :: FIXED -> FIXED -> Bool #

conditional sections

data ConditionalSect Source #

Constructors

IncludeSect IncludeSect
IgnoreSect IgnoreSect

Instances

Instances details

Show ConditionalSect Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ConditionalSect -> ShowS # show :: ConditionalSect -> String # showList :: [ConditionalSect] -> ShowS #
Eq ConditionalSect Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ConditionalSect -> ConditionalSect -> Bool # (/=) :: ConditionalSect -> ConditionalSect -> Bool #

type IncludeSect = [ExtSubsetDecl] Source #

type IgnoreSect = [IgnoreSectContents] Source #

data Ignore Source #

Constructors

Ignore

Instances

Instances details

Show Ignore Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Ignore -> ShowS # show :: Ignore -> String # showList :: [Ignore] -> ShowS #
Eq Ignore Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Ignore -> Ignore -> Bool # (/=) :: Ignore -> Ignore -> Bool #

data IgnoreSectContents Source #

Constructors

IgnoreSectContents Ignore [(IgnoreSectContents, Ignore)]

Instances

Instances details

Show IgnoreSectContents Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> IgnoreSectContents -> ShowS # show :: IgnoreSectContents -> String # showList :: [IgnoreSectContents] -> ShowS #
Eq IgnoreSectContents Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: IgnoreSectContents -> IgnoreSectContents -> Bool # (/=) :: IgnoreSectContents -> IgnoreSectContents -> Bool #

References

data Reference Source #

Constructors

RefEntity EntityRef
RefChar CharRef

Instances

Instances details

Verbatim Reference Source #
Instance details Defined in Text.XML.HaXml.Verbatim Methods verbatim :: Reference -> String Source #
Show Reference Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Reference -> ShowS # show :: Reference -> String # showList :: [Reference] -> ShowS #
Eq Reference Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Reference -> Reference -> Bool # (/=) :: Reference -> Reference -> Bool #

type EntityRef = Name Source #

type CharRef = Int Source #

type PEReference = Name Source #

Entities

data EntityDecl Source #

Constructors

EntityGEDecl GEDecl
EntityPEDecl PEDecl

Instances

Instances details

Show EntityDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> EntityDecl -> ShowS # show :: EntityDecl -> String # showList :: [EntityDecl] -> ShowS #
Eq EntityDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: EntityDecl -> EntityDecl -> Bool # (/=) :: EntityDecl -> EntityDecl -> Bool #

data GEDecl Source #

Constructors

GEDecl Name EntityDef

Instances

Instances details

Show GEDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> GEDecl -> ShowS # show :: GEDecl -> String # showList :: [GEDecl] -> ShowS #
Eq GEDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: GEDecl -> GEDecl -> Bool # (/=) :: GEDecl -> GEDecl -> Bool #

data PEDecl Source #

Constructors

PEDecl Name PEDef

Instances

Instances details

Show PEDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> PEDecl -> ShowS # show :: PEDecl -> String # showList :: [PEDecl] -> ShowS #
Eq PEDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: PEDecl -> PEDecl -> Bool # (/=) :: PEDecl -> PEDecl -> Bool #

data EntityDef Source #

Constructors

DefEntityValue EntityValue
DefExternalID ExternalID (Maybe NDataDecl)

Instances

Instances details

Show EntityDef Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> EntityDef -> ShowS # show :: EntityDef -> String # showList :: [EntityDef] -> ShowS #
Eq EntityDef Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: EntityDef -> EntityDef -> Bool # (/=) :: EntityDef -> EntityDef -> Bool #

data PEDef Source #

Constructors

PEDefEntityValue EntityValue
PEDefExternalID ExternalID

Instances

Instances details

Show PEDef Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> PEDef -> ShowS # show :: PEDef -> String # showList :: [PEDef] -> ShowS #
Eq PEDef Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: PEDef -> PEDef -> Bool # (/=) :: PEDef -> PEDef -> Bool #

data ExternalID Source #

Constructors

SYSTEM SystemLiteral
PUBLIC PubidLiteral SystemLiteral

Instances

Instances details

Show ExternalID Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ExternalID -> ShowS # show :: ExternalID -> String # showList :: [ExternalID] -> ShowS #
Eq ExternalID Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ExternalID -> ExternalID -> Bool # (/=) :: ExternalID -> ExternalID -> Bool #

newtype NDataDecl Source #

Constructors

NDATA Name

Instances

Instances details

Show NDataDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> NDataDecl -> ShowS # show :: NDataDecl -> String # showList :: [NDataDecl] -> ShowS #
Eq NDataDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: NDataDecl -> NDataDecl -> Bool # (/=) :: NDataDecl -> NDataDecl -> Bool #

data TextDecl Source #

Constructors

TextDecl (Maybe VersionInfo) EncodingDecl

Instances

Instances details

Show TextDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> TextDecl -> ShowS # show :: TextDecl -> String # showList :: [TextDecl] -> ShowS #
Eq TextDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: TextDecl -> TextDecl -> Bool # (/=) :: TextDecl -> TextDecl -> Bool #

data ExtParsedEnt i Source #

Constructors

ExtParsedEnt (Maybe TextDecl) (Content i)

Instances

Instances details

Show i => Show (ExtParsedEnt i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ExtParsedEnt i -> ShowS # show :: ExtParsedEnt i -> String # showList :: [ExtParsedEnt i] -> ShowS #
Eq (ExtParsedEnt i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ExtParsedEnt i -> ExtParsedEnt i -> Bool # (/=) :: ExtParsedEnt i -> ExtParsedEnt i -> Bool #

data ExtPE Source #

Constructors

ExtPE (Maybe TextDecl) [ExtSubsetDecl]

Instances

Instances details

Show ExtPE Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> ExtPE -> ShowS # show :: ExtPE -> String # showList :: [ExtPE] -> ShowS #
Eq ExtPE Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ExtPE -> ExtPE -> Bool # (/=) :: ExtPE -> ExtPE -> Bool #

data NotationDecl Source #

Constructors

NOTATION Name (Either ExternalID PublicID)

Instances

Instances details

Show NotationDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> NotationDecl -> ShowS # show :: NotationDecl -> String # showList :: [NotationDecl] -> ShowS #
Eq NotationDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: NotationDecl -> NotationDecl -> Bool # (/=) :: NotationDecl -> NotationDecl -> Bool #

newtype PublicID Source #

Constructors

PUBLICID PubidLiteral

Instances

Instances details

Show PublicID Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> PublicID -> ShowS # show :: PublicID -> String # showList :: [PublicID] -> ShowS #
Eq PublicID Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: PublicID -> PublicID -> Bool # (/=) :: PublicID -> PublicID -> Bool #

newtype EncodingDecl Source #

Constructors

EncodingDecl String

Instances

Instances details

Show EncodingDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> EncodingDecl -> ShowS # show :: EncodingDecl -> String # showList :: [EncodingDecl] -> ShowS #
Eq EncodingDecl Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: EncodingDecl -> EncodingDecl -> Bool # (/=) :: EncodingDecl -> EncodingDecl -> Bool #

data EntityValue Source #

Constructors

EntityValue [EV]

Instances

Instances details

Show EntityValue Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> EntityValue -> ShowS # show :: EntityValue -> String # showList :: [EntityValue] -> ShowS #
Eq EntityValue Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: EntityValue -> EntityValue -> Bool # (/=) :: EntityValue -> EntityValue -> Bool #

data EV Source #

Constructors

EVString String
EVRef Reference

Instances

Instances details

Show EV Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> EV -> ShowS # show :: EV -> String # showList :: [EV] -> ShowS #
Eq EV Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: EV -> EV -> Bool # (/=) :: EV -> EV -> Bool #

newtype PubidLiteral Source #

Constructors

PubidLiteral String

Instances

Instances details

Show PubidLiteral Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> PubidLiteral -> ShowS # show :: PubidLiteral -> String # showList :: [PubidLiteral] -> ShowS #
Eq PubidLiteral Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: PubidLiteral -> PubidLiteral -> Bool # (/=) :: PubidLiteral -> PubidLiteral -> Bool #

newtype SystemLiteral Source #

Constructors

SystemLiteral String

Instances

Instances details

Show SystemLiteral Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> SystemLiteral -> ShowS # show :: SystemLiteral -> String # showList :: [SystemLiteral] -> ShowS #
Eq SystemLiteral Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: SystemLiteral -> SystemLiteral -> Bool # (/=) :: SystemLiteral -> SystemLiteral -> Bool #

Namespaces

data QName Source #

A QName is a (possibly) qualified name, in the sense of XML namespaces.

Constructors

N Name
QN Namespace Name

Instances

Instances details

Show QName Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> QName -> ShowS # show :: QName -> String # showList :: [QName] -> ShowS #
Eq QName Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #
Ord QName Source #
Instance details Defined in Text.XML.HaXml.Types Methods compare :: QName -> QName -> Ordering # (<) :: QName -> QName -> Bool # (<=) :: QName -> QName -> Bool # (>) :: QName -> QName -> Bool # (>=) :: QName -> QName -> Bool # max :: QName -> QName -> QName # min :: QName -> QName -> QName #

data Namespace Source #

Namespaces are not defined in the XML spec itself, but at http://www.w3.org/TR/xml-names

Constructors

Namespace
Fields nsPrefix :: String nsURI :: String

Instances

Instances details

Show Namespace Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #
Eq Namespace Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #

Basic value types

type Name = String Source #

type Names = [Name] Source #

type NmToken = String Source #

type NmTokens = [NmToken] Source #

type CharData = String Source #

type CDSect = CharData Source #