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

Text.XML.Light.Types

Description

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 Source #

A line is an Integer

data Content Source #

XML content

Constructors

Elem Element
Text CData
CRef String

Instances

Data Content Source #
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 :: (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 Source #
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> Content -> ShowS # show :: Content -> String # showList :: [Content] -> ShowS #
Node Content Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> Content -> Element Source #
Node [Content] Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> [Content] -> Element Source #
Node ([Attr], [Content]) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Content]) -> Element Source #
Node ([Attr], Content) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Content) -> Element Source #
Node (Attr, Content) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Content) -> Element Source #

data Element Source #

XML elements

Constructors

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

Instances

Data Element Source #
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 :: (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 Source #
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> Element -> ShowS # show :: Element -> String # showList :: [Element] -> ShowS #
Node Element Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> Element -> Element Source #
Node [Element] Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> [Element] -> Element Source #
Node ([Attr], [Element]) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Element]) -> Element Source #
Node ([Attr], Element) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Element) -> Element Source #
Node (Attr, Element) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Element) -> Element Source #

data Attr Source #

XML attributes

Constructors

Attr
Fields attrKey :: QName attrVal :: String

Instances

Eq Attr Source #
Instance details Defined in Text.XML.Light.Types Methods (==) :: Attr -> Attr -> Bool # (/=) :: Attr -> Attr -> Bool #
Data Attr Source #
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 :: (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 #
Ord Attr Source #
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 #
Show Attr Source #
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Node Attr Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> Attr -> Element Source #
Node [Attr] Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> [Attr] -> Element Source #
Node ([Attr], [CData]) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [CData]) -> Element Source #
Node ([Attr], [Element]) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Element]) -> Element Source #
Node ([Attr], [Content]) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [Content]) -> Element Source #
Node ([Attr], String) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], String) -> Element Source #
Node ([Attr], CData) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], CData) -> Element Source #
Node ([Attr], Element) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Element) -> Element Source #
Node ([Attr], Content) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], Content) -> Element Source #
Node (Attr, String) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, String) -> Element Source #
Node (Attr, CData) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, CData) -> Element Source #
Node (Attr, Element) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Element) -> Element Source #
Node (Attr, Content) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, Content) -> Element Source #

data CData Source #

XML CData

Constructors

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

Instances

Data CData Source #
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 :: (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 Source #
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> CData -> ShowS # show :: CData -> String # showList :: [CData] -> ShowS #
Node CData Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> CData -> Element Source #
Node [CData] Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> [CData] -> Element Source #
Node ([Attr], [CData]) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], [CData]) -> Element Source #
Node ([Attr], CData) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> ([Attr], CData) -> Element Source #
Node (Attr, CData) Source #
Instance details Defined in Text.XML.Light Methods node :: QName -> (Attr, CData) -> Element Source #

data CDataKind Source #

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

Eq CDataKind Source #
Instance details Defined in Text.XML.Light.Types Methods (==) :: CDataKind -> CDataKind -> Bool # (/=) :: CDataKind -> CDataKind -> Bool #
Data CDataKind Source #
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 :: (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 Source #
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> CDataKind -> ShowS # show :: CDataKind -> String # showList :: [CDataKind] -> ShowS #

data QName Source #

XML qualified names

Constructors

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

Instances

Eq QName Source #
Instance details Defined in Text.XML.Light.Types Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #
Data QName Source #
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 :: (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 #
Ord QName Source #
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 #
Show QName Source #
Instance details Defined in Text.XML.Light.Types Methods showsPrec :: Int -> QName -> ShowS # show :: QName -> String # showList :: [QName] -> ShowS #

blank_name :: QName Source #

Blank names

blank_cdata :: CData Source #

Blank cdata

blank_element :: Element Source #

Blank elements