Ideas.Text.XML.Document

Datatype for representing XML documents

Documentation

type Name = String

type Attributes = [Attribute]

data Attribute

Constructors

Name := AttValue

Instances

Show Attribute

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

Pretty Attribute

Methods

pretty :: Attribute -> Doc

prettyList :: [Attribute] -> Doc

data Reference

Constructors

CharRef Int

EntityRef String

Instances

Show Reference

Methods

showsPrec :: Int -> Reference -> ShowS

show :: Reference -> String

showList :: [Reference] -> ShowS

Pretty Reference

Methods

pretty :: Reference -> Doc

prettyList :: [Reference] -> Doc

newtype Parameter

Constructors

Parameter String

Instances

Show Parameter

Methods

showsPrec :: Int -> Parameter -> ShowS

show :: Parameter -> String

showList :: [Parameter] -> ShowS

Pretty Parameter

Methods

pretty :: Parameter -> Doc

prettyList :: [Parameter] -> Doc

data XMLDoc

Constructors

XMLDoc

Fields

• versionInfo :: Maybe String
• encoding :: Maybe String
• standalone :: Maybe Bool
• dtd :: Maybe DTD
• externals :: [(String, External)]
• root :: Element

data XML

Constructors

Tagged Element

CharData String

CDATA String

Reference Reference

Instances

Show XML

Methods

showsPrec :: Int -> XML -> ShowS

show :: XML -> String

showList :: [XML] -> ShowS

Pretty XML

Methods

pretty :: XML -> Doc

prettyList :: [XML] -> Doc

data Element

Constructors

Element

Fields

• name :: Name
• attributes :: Attributes
• content :: Content

Instances

Show Element

Methods

showsPrec :: Int -> Element -> ShowS

show :: Element -> String

showList :: [Element] -> ShowS

Pretty Element

Methods

pretty :: Element -> Doc

prettyList :: [Element] -> Doc

type Content = [XML]

data DTD

Constructors

DTD Name (Maybe ExternalID) [DocTypeDecl]

data DocTypeDecl

Constructors

ElementDecl Name ContentSpec

AttListDecl Name [AttDef]

EntityDecl Bool Name EntityDef

NotationDecl Name (Either ExternalID PublicID)

DTDParameter Parameter

DTDConditional Conditional

data ContentSpec

Constructors

Empty

Any

Mixed Bool [Name]

Children CP

data CP

Constructors

Choice [CP]

Sequence [CP]

QuestionMark CP

Star CP

Plus CP

CPName Name

data AttType

Constructors

IdType

IdRefType

IdRefsType

EntityType

EntitiesType

NmTokenType

NmTokensType

StringType

EnumerationType [String]

NotationType [String]

data DefaultDecl

Constructors

Required

Implied

Value AttValue

Fixed AttValue

type AttDef = (Name, AttType, DefaultDecl)

type EntityDef = Either EntityValue (ExternalID, Maybe String)

type AttValue = [Either Char Reference]

type EntityValue = [Either Char (Either Parameter Reference)]

data ExternalID

Constructors

System String

Public String String

type PublicID = String

data Conditional

Constructors

Include [DocTypeDecl]

Ignore [String]

type TextDecl = (Maybe String, String)

type External = (Maybe TextDecl, Content)

prettyXML :: Bool -> XML -> Doc

prettyElement :: Bool -> Element -> Doc