ideas-1.4: Feedback services for intelligent tutoring systems

Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
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
Pretty Attribute

data Reference Source

Constructors

CharRef Int
EntityRef String

Instances

Show Reference
Pretty Reference

data Parameter Source

Constructors

Parameter String

Instances

Show Parameter
Pretty Parameter

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
Pretty XML

data Element Source

Constructors

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

Instances

Show Element
Pretty Element

type Content = [XML] Source

data DTD Source

Constructors

DTD Name (Maybe ExternalID) [DocTypeDecl]

data ContentSpec Source

Constructors

Empty
Any
Mixed Bool [Name]
Children CP

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