Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	Safe
Language	Haskell98

Ideas.Text.XML.Document

Description

Datatype for representing XML documents

Documentation

type Name = String Source #

type Attributes = [Attribute] Source #

data Attribute Source #

Constructors

Name := AttValue

Instances

Show Attribute Source #
Instance details Defined in Ideas.Text.XML.Document Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #
Pretty Attribute Source #
Instance details Defined in Ideas.Text.XML.Document Methods pretty :: Attribute -> Doc prettyList :: [Attribute] -> Doc

data Reference Source #

Constructors

CharRef Int
EntityRef String

Instances

Show Reference Source #
Instance details Defined in Ideas.Text.XML.Document Methods showsPrec :: Int -> Reference -> ShowS # show :: Reference -> String # showList :: [Reference] -> ShowS #
Pretty Reference Source #
Instance details Defined in Ideas.Text.XML.Document Methods pretty :: Reference -> Doc prettyList :: [Reference] -> Doc

newtype Parameter Source #

Constructors

Parameter String

Instances

Show Parameter Source #
Instance details Defined in Ideas.Text.XML.Document Methods showsPrec :: Int -> Parameter -> ShowS # show :: Parameter -> String # showList :: [Parameter] -> ShowS #
Pretty Parameter Source #
Instance details Defined in Ideas.Text.XML.Document Methods pretty :: Parameter -> Doc prettyList :: [Parameter] -> Doc

data XMLDoc Source #

Constructors

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

data XML Source #

Constructors

Tagged Element
CharData String
CDATA String
Reference Reference

Instances

Show XML Source #
Instance details Defined in Ideas.Text.XML.Document Methods showsPrec :: Int -> XML -> ShowS # show :: XML -> String # showList :: [XML] -> ShowS #
Pretty XML Source #
Instance details Defined in Ideas.Text.XML.Document Methods pretty :: XML -> Doc prettyList :: [XML] -> Doc

data Element Source #

Constructors

Element
Fields name :: Name attributes :: Attributes content :: Content

Instances

Show Element Source #
Instance details Defined in Ideas.Text.XML.Document Methods showsPrec :: Int -> Element -> ShowS # show :: Element -> String # showList :: [Element] -> ShowS #
Pretty Element Source #
Instance details Defined in Ideas.Text.XML.Document Methods pretty :: Element -> Doc prettyList :: [Element] -> Doc

type Content = [XML] Source #

data DTD Source #

Constructors

DTD Name (Maybe ExternalID) [DocTypeDecl]

data ContentSpec Source #

Constructors

Empty
Any
Mixed Bool [Name]
Children CP

data CP Source #

Constructors

Choice [CP]
Sequence [CP]
QuestionMark CP
Star CP
Plus CP
CPName Name

data AttType Source #

Constructors

IdType
IdRefType
IdRefsType
EntityType
EntitiesType
NmTokenType
NmTokensType
StringType
EnumerationType [String]
NotationType [String]

data DefaultDecl Source #

Constructors

Required
Implied
Value AttValue
Fixed AttValue

type AttDef = (Name, AttType, DefaultDecl) Source #

type EntityDef = Either EntityValue (ExternalID, Maybe String) Source #

type AttValue = [Either Char Reference] Source #

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

data ExternalID Source #

Constructors

System String
Public String String

type PublicID = String Source #

data Conditional Source #

Constructors

Include [DocTypeDecl]
Ignore [String]

type TextDecl = (Maybe String, String) Source #

type External = (Maybe TextDecl, Content) Source #

prettyXML :: Bool -> XML -> Doc Source #

prettyElement :: Bool -> Element -> Doc Source #

escape :: String -> String Source #

ElementDecl Name ContentSpec
AttListDecl Name [AttDef]
EntityDecl Bool Name EntityDef
NotationDecl Name (Either ExternalID PublicID)
DTDParameter Parameter
DTDConditional Conditional