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
Eq (Document i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Document i -> Document i -> Bool (/=) :: Document i -> Document i -> Bool
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

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
Eq (Element i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Element i -> Element i -> Bool (/=) :: Element i -> Element i -> Bool
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
Verbatim (Element i) Source #
Instance details Defined in Text.XML.HaXml.Verbatim Methods verbatim :: Element i -> String Source #

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
Eq (Content i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: Content i -> Content i -> Bool (/=) :: Content i -> Content i -> Bool
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
Verbatim (Content i) Source #
Instance details Defined in Text.XML.HaXml.Verbatim Methods verbatim :: Content i -> String Source #

type Attribute = (QName, AttValue) Source #

data AttValue Source #

Constructors

AttValue [Either String Reference]

Instances

Instances details

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

info :: Content t -> t Source #

Administrative parts of the document

data Prolog Source #

Constructors

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

Instances

Instances details

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

data XMLDecl Source #

Constructors

XMLDecl VersionInfo (Maybe EncodingDecl) (Maybe SDDecl)

Instances

Instances details

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

data Misc Source #

Constructors

Comment Comment
PI ProcessingInstruction

Instances

Instances details

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

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

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

data MarkupDecl Source #

Constructors

Element ElementDecl
AttList AttListDecl
Entity EntityDecl
Notation NotationDecl
MarkupMisc Misc

Instances

Instances details

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

data ExtSubset Source #

Constructors

ExtSubset (Maybe TextDecl) [ExtSubsetDecl]

Instances

Instances details

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

data ExtSubsetDecl Source #

Constructors

ExtMarkupDecl MarkupDecl
ExtConditionalSect ConditionalSect

Instances

Instances details

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

data ElementDecl Source #

Constructors

ElementDecl QName ContentSpec

Instances

Instances details

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

data ContentSpec Source #

Constructors

EMPTY
ANY
Mixed Mixed
ContentSpec CP

Instances

Instances details

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

data CP Source #

Constructors

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

Instances

Instances details

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

data Modifier Source #

Constructors

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

Instances

Instances details

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

data Mixed Source #

Constructors

PCDATA
PCDATAplus [QName]

Instances

Instances details

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

attribute model

data AttListDecl Source #

Constructors

AttListDecl QName [AttDef]

Instances

Instances details

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

data AttDef Source #

Constructors

AttDef QName AttType DefaultDecl

Instances

Instances details

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

data AttType Source #

Constructors

StringType
TokenizedType TokenizedType
EnumeratedType EnumeratedType

Instances

Instances details

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

data TokenizedType Source #

Constructors

ID
IDREF
IDREFS
ENTITY
ENTITIES
NMTOKEN
NMTOKENS

Instances

Instances details

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

data EnumeratedType Source #

Constructors

NotationType NotationType
Enumeration Enumeration

Instances

Instances details

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

type NotationType = [Name] Source #

type Enumeration = [NmToken] Source #

data DefaultDecl Source #

Constructors

REQUIRED
IMPLIED
DefaultTo AttValue (Maybe FIXED)

Instances

Instances details

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

data FIXED Source #

Constructors

FIXED

Instances

Instances details

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

conditional sections

data ConditionalSect Source #

Constructors

IncludeSect IncludeSect
IgnoreSect IgnoreSect

Instances

Instances details

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

type IncludeSect = [ExtSubsetDecl] Source #

type IgnoreSect = [IgnoreSectContents] Source #

data Ignore Source #

Constructors

Ignore

Instances

Instances details

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

data IgnoreSectContents Source #

Constructors

IgnoreSectContents Ignore [(IgnoreSectContents, Ignore)]

Instances

Instances details

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

References

data Reference Source #

Constructors

RefEntity EntityRef
RefChar CharRef

Instances

Instances details

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

type EntityRef = Name Source #

type CharRef = Int Source #

type PEReference = Name Source #

Entities

data EntityDecl Source #

Constructors

EntityGEDecl GEDecl
EntityPEDecl PEDecl

Instances

Instances details

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

data GEDecl Source #

Constructors

GEDecl Name EntityDef

Instances

Instances details

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

data PEDecl Source #

Constructors

PEDecl Name PEDef

Instances

Instances details

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

data EntityDef Source #

Constructors

DefEntityValue EntityValue
DefExternalID ExternalID (Maybe NDataDecl)

Instances

Instances details

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

data PEDef Source #

Constructors

PEDefEntityValue EntityValue
PEDefExternalID ExternalID

Instances

Instances details

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

data ExternalID Source #

Constructors

SYSTEM SystemLiteral
PUBLIC PubidLiteral SystemLiteral

Instances

Instances details

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

newtype NDataDecl Source #

Constructors

NDATA Name

Instances

Instances details

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

data TextDecl Source #

Constructors

TextDecl (Maybe VersionInfo) EncodingDecl

Instances

Instances details

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

data ExtParsedEnt i Source #

Constructors

ExtParsedEnt (Maybe TextDecl) (Content i)

Instances

Instances details

Eq (ExtParsedEnt i) Source #
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: ExtParsedEnt i -> ExtParsedEnt i -> Bool (/=) :: ExtParsedEnt i -> ExtParsedEnt i -> Bool
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

data ExtPE Source #

Constructors

ExtPE (Maybe TextDecl) [ExtSubsetDecl]

Instances

Instances details

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

data NotationDecl Source #

Constructors

NOTATION Name (Either ExternalID PublicID)

Instances

Instances details

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

newtype PublicID Source #

Constructors

PUBLICID PubidLiteral

Instances

Instances details

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

newtype EncodingDecl Source #

Constructors

EncodingDecl String

Instances

Instances details

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

data EntityValue Source #

Constructors

EntityValue [EV]

Instances

Instances details

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

data EV Source #

Constructors

EVString String
EVRef Reference

Instances

Instances details

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

newtype PubidLiteral Source #

Constructors

PubidLiteral String

Instances

Instances details

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

newtype SystemLiteral Source #

Constructors

SystemLiteral String

Instances

Instances details

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

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

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
Show QName Source #
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> QName -> ShowS show :: QName -> String showList :: [QName] -> ShowS

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

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

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 #