ideas-1.2: Feedback services for intelligent tutoring systems

Portabilityportable (depends on ghc)
Stabilityprovisional
Maintainerbastiaan.heeren@ou.nl
Safe HaskellNone

Ideas.Text.XML.Document

Description

Datatype for representing XML documents

Documentation

type Name = StringSource

type Attributes = [Attribute]Source

data Attribute Source

Constructors

Name := AttValue 

Instances

data Reference Source

Constructors

CharRef Int 
EntityRef String 

Instances

data Parameter Source

Constructors

Parameter String 

Instances

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

data Element Source

Constructors

Element 

Fields

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

Instances

type Content = [XML]Source

data DTD Source

Constructors

DTD Name (Maybe ExternalID) [DocTypeDecl] 

data DocTypeDecl Source

Constructors

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

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 = StringSource

data Conditional Source

Constructors

Include [DocTypeDecl] 
Ignore [String] 

type TextDecl = (Maybe String, String)Source

type External = (Maybe TextDecl, Content)Source

prettyXML :: Bool -> XML -> DocSource

prettyElement :: Bool -> Element -> DocSource