Text.XML.Light.Types

xml-1.3.14: A simple XML library.

Copyright | (c) Galois Inc. 2007
License | BSD3
Maintainer | Iavor S. Diatchki <diatchki@galois.com>
Stability | provisional
Portability |
Safe Haskell | Safe-Inferred
Language | Haskell98

Text.XML.Light.Types

Description

Basic XML types.

Synopsis

- type Line = Integer
- data Content
  - = Elem Element
  - | Text CData
  - | CRef String
- data Element = Element {
  - elName :: QName
  - elAttribs :: [Attr]
  - elContent :: [Content]
  - elLine :: Maybe Line
  }
- data Attr = Attr {
  - attrKey :: QName
  - attrVal :: String
  }
- data CData = CData {
  - cdVerbatim :: CDataKind
  - cdData :: String
  - cdLine :: Maybe Line
  }
- data CDataKind
  - = CDataText
  - | CDataVerbatim
  - | CDataRaw
- data QName = QName {
  - qName :: String
  - qURI :: Maybe String
  - qPrefix :: Maybe String
  }
- blank_name :: QName
- blank_cdata :: CData
- blank_element :: Element

# Documentation

type Line = Integer #

A line is an Integer

data Content #

XML content

Constructors

Elem Element |
Text CData |
CRef String |

#### Instances

Instances details

Data Content # |
Instance details Defined in Text.XML.Light.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Content -> c Content gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Content toConstr :: Content -> Constr dataTypeOf :: Content -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Content) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Content) gmapT :: (forall b. Data b => b -> b) -> Content -> Content gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Content -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Content -> r gmapQ :: (forall d. Data d => d -> u) -> Content -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Content -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Content -> m Content gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Content -> m Content gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Content -> m Content
Show Content # |
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> Content -> ShowS show :: Content -> String showList :: [Content] -> ShowS
Node Content # |
Instance details Defined in Text.XML.Light Methods node :: QName -> Content -> Element #
Node [Content] # |
Instance details Defined in Text.XML.Light Methods node :: QName -> [Content] -> Element #
Node (Attr, Content) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Content) -> Element #
Node ([Attr], Content) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Content) -> Element #
Node ([Attr], [Content]) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Content]) -> Element #

data Element #

XML elements

Constructors

Element |
Fields elName :: QName elAttribs :: [Attr] elContent :: [Content] elLine :: Maybe Line

#### Instances

Instances details

Data Element # |
Instance details Defined in Text.XML.Light.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Element -> c Element gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Element toConstr :: Element -> Constr dataTypeOf :: Element -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Element) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Element) gmapT :: (forall b. Data b => b -> b) -> Element -> Element gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Element -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Element -> r gmapQ :: (forall d. Data d => d -> u) -> Element -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Element -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Element -> m Element gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Element -> m Element gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Element -> m Element
Show Element # |
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> Element -> ShowS show :: Element -> String showList :: [Element] -> ShowS
Node Element # |
Instance details Defined in Text.XML.Light Methods node :: QName -> Element -> Element #
Node [Element] # |
Instance details Defined in Text.XML.Light Methods node :: QName -> [Element] -> Element #
Node (Attr, Element) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Element) -> Element #
Node ([Attr], Element) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Element) -> Element #
Node ([Attr], [Element]) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Element]) -> Element #

data Attr #

XML attributes

Constructors

Attr |
Fields attrKey :: QName attrVal :: String

#### Instances

Instances details

Data Attr # |
Instance details Defined in Text.XML.Light.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr toConstr :: Attr -> Constr dataTypeOf :: Attr -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr
Show Attr # |
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> Attr -> ShowS show :: Attr -> String showList :: [Attr] -> ShowS
Eq Attr # |
Instance details Defined in Text.XML.Light.Types Methods (==) :: Attr -> Attr -> Bool (/=) :: Attr -> Attr -> Bool
Ord Attr # |
Instance details Defined in Text.XML.Light.Types Methods compare :: Attr -> Attr -> Ordering (<) :: Attr -> Attr -> Bool (<=) :: Attr -> Attr -> Bool (>) :: Attr -> Attr -> Bool (>=) :: Attr -> Attr -> Bool max :: Attr -> Attr -> Attr min :: Attr -> Attr -> Attr
Node Attr # |
Instance details Defined in Text.XML.Light Methods node :: QName -> Attr -> Element #
Node [Attr] # |
Instance details Defined in Text.XML.Light Methods node :: QName -> [Attr] -> Element #
Node (Attr, CData) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, CData) -> Element #
Node (Attr, Content) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Content) -> Element #
Node (Attr, Element) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Element) -> Element #
Node (Attr, String) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, String) -> Element #
Node ([Attr], CData) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], CData) -> Element #
Node ([Attr], Content) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Content) -> Element #
Node ([Attr], Element) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Element) -> Element #
Node ([Attr], String) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], String) -> Element #
Node ([Attr], [CData]) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [CData]) -> Element #
Node ([Attr], [Content]) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Content]) -> Element #
Node ([Attr], [Element]) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Element]) -> Element #

data CData #

XML CData

Constructors

CData |
Fields cdVerbatim :: CDataKind cdData :: String cdLine :: Maybe Line

#### Instances

Instances details

Data CData # |
Instance details Defined in Text.XML.Light.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CData -> c CData gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CData toConstr :: CData -> Constr dataTypeOf :: CData -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CData) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CData) gmapT :: (forall b. Data b => b -> b) -> CData -> CData gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CData -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CData -> r gmapQ :: (forall d. Data d => d -> u) -> CData -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CData -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CData -> m CData gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CData -> m CData gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CData -> m CData
Show CData # |
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> CData -> ShowS show :: CData -> String showList :: [CData] -> ShowS
Node CData # |
Instance details Defined in Text.XML.Light Methods node :: QName -> CData -> Element #
Node [CData] # |
Instance details Defined in Text.XML.Light Methods node :: QName -> [CData] -> Element #
Node (Attr, CData) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, CData) -> Element #
Node ([Attr], CData) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], CData) -> Element #
Node ([Attr], [CData]) # |
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [CData]) -> Element #

data CDataKind #

Constructors

CDataText | Ordinary character data; pretty printer escapes &, < etc.
CDataVerbatim | Unescaped character data; pretty printer embeds it in <![CDATA[..
CDataRaw | As-is character data; pretty printer passes it along without any escaping or CDATA wrap-up.

#### Instances

Instances details

Data CDataKind # |
Instance details Defined in Text.XML.Light.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CDataKind -> c CDataKind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CDataKind toConstr :: CDataKind -> Constr dataTypeOf :: CDataKind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CDataKind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CDataKind) gmapT :: (forall b. Data b => b -> b) -> CDataKind -> CDataKind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CDataKind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CDataKind -> r gmapQ :: (forall d. Data d => d -> u) -> CDataKind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CDataKind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CDataKind -> m CDataKind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CDataKind -> m CDataKind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CDataKind -> m CDataKind
Show CDataKind # |
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> CDataKind -> ShowS show :: CDataKind -> String showList :: [CDataKind] -> ShowS
Eq CDataKind # |
Instance details Defined in Text.XML.Light.Types Methods (==) :: CDataKind -> CDataKind -> Bool (/=) :: CDataKind -> CDataKind -> Bool

data QName #

XML qualified names

Constructors

QName |
Fields qName :: String qURI :: Maybe String qPrefix :: Maybe String

#### Instances

Instances details

Data QName # |
Instance details Defined in Text.XML.Light.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QName -> c QName gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QName toConstr :: QName -> Constr dataTypeOf :: QName -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QName) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QName) gmapT :: (forall b. Data b => b -> b) -> QName -> QName gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QName -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QName -> r gmapQ :: (forall d. Data d => d -> u) -> QName -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> QName -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> QName -> m QName gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QName -> m QName gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QName -> m QName
Show QName # |
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> QName -> ShowS show :: QName -> String showList :: [QName] -> ShowS
Eq QName # |
Instance details Defined in Text.XML.Light.Types Methods (==) :: QName -> QName -> Bool (/=) :: QName -> QName -> Bool
Ord QName # |
Instance details Defined in Text.XML.Light.Types Methods compare :: QName -> QName -> Ordering (<) :: QName -> QName -> Bool (<=) :: QName -> QName -> Bool (>) :: QName -> QName -> Bool (>=) :: QName -> QName -> Bool max :: QName -> QName -> QName min :: QName -> QName -> QName

blank_name :: QName #

Blank names

blank_cdata :: CData #

Blank cdata

blank_element :: Element #

Blank elements