Data.XML.Types

Contents

• Types
  • Document prologue
  • Document body
  • Doctypes
  • Incremental processing
• Predicates
• Filters

Synopsis

• data Document = Document {
  • documentPrologue :: Prologue
  • documentRoot :: Element
  • documentEpilogue :: [Miscellaneous]
  }
• data Prologue = Prologue {
  • prologueBefore :: [Miscellaneous]
  • prologueDoctype :: Maybe Doctype
  • prologueAfter :: [Miscellaneous]
  }
• data Instruction = Instruction {
  • instructionTarget :: Text
  • instructionData :: Text
  }
• data Miscellaneous
  • = MiscInstruction Instruction
  • | MiscComment Text
• data Node
  • = NodeElement Element
  • | NodeInstruction Instruction
  • | NodeContent Content
  • | NodeComment Text
• data Element = Element {
  • elementName :: Name
  • elementAttributes :: [Attribute]
  • elementNodes :: [Node]
  }
• data Attribute = Attribute {
  • attributeName :: Name
  • attributeContent :: [Content]
  }
• data Content
  • = ContentText Text
  • | ContentEntity Text
• data Name = Name {
  • nameLocalName :: Text
  • nameNamespace :: Maybe Text
  • namePrefix :: Maybe Text
  }
• class Named a where
  • getName :: a -> Name
• data Doctype = Doctype {
  • doctypeName :: Text
  • doctypeExternalID :: Maybe ExternalID
  • doctypeInternalSubsets :: [InternalSubset]
  }
• data ExternalID
  • = SystemID Text
  • | PublicID Text Text
• data InternalSubset
• data Event
  • = EventBeginDocument
  • | EventEndDocument
  • | EventInstruction Instruction
  • | EventDoctype Doctype
  • | EventBeginElement Name [Attribute]
  • | EventEndElement Name
  • | EventContent Content
  • | EventComment Text
• isElement :: Node -> [Element]
• isInstruction :: Node -> [Instruction]
• isContent :: Node -> [Content]
• isComment :: Node -> [Text]
• isNamed :: Named a => Name -> a -> [a]
• nodeChildren :: Node -> [Node]
• elementChildren :: Element -> [Element]
• hasAttribute :: (Attribute -> [Attribute]) -> Element -> [Element]
• position :: Integer -> (a -> [b]) -> a -> [b]

Types

Document prologue

Document body

Doctypes

Incremental processing

Predicates

Filters