ideas-1.5: Feedback services for intelligent tutoring systems

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

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

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