xml-1.3.14: A simple XML library.

Copyright(c) Galois Inc. 2007
LicenseBSD3
MaintainerIavor S. Diatchki <diatchki@galois.com>
Stabilityprovisional
PortabilityBasic XML types.
Safe HaskellSafe
LanguageHaskell98

Text.XML.Light.Types

Description

 

Synopsis

Documentation

type Line = Integer #

A line is an Integer

data Content #

XML content

Constructors

Elem Element 
Text CData 
CRef String 

Instances

Data Content # 

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 # 
Node Content # 

Methods

node :: QName -> Content -> Element #

Node [Content] # 

Methods

node :: QName -> [Content] -> Element #

Node ([Attr], [Content]) # 

Methods

node :: QName -> ([Attr], [Content]) -> Element #

Node ([Attr], Content) # 

Methods

node :: QName -> ([Attr], Content) -> Element #

Node (Attr, Content) # 

Methods

node :: QName -> (Attr, Content) -> Element #

data Element #

XML elements

Constructors

Element 

Instances

Data Element # 

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 # 
Node Element # 

Methods

node :: QName -> Element -> Element #

Node [Element] # 

Methods

node :: QName -> [Element] -> Element #

Node ([Attr], [Element]) # 

Methods

node :: QName -> ([Attr], [Element]) -> Element #

Node ([Attr], Element) # 

Methods

node :: QName -> ([Attr], Element) -> Element #

Node (Attr, Element) # 

Methods

node :: QName -> (Attr, Element) -> Element #

data Attr #

XML attributes

Constructors

Attr 

Fields

Instances

Eq Attr # 

Methods

(==) :: Attr -> Attr -> Bool #

(/=) :: Attr -> Attr -> Bool #

Data Attr # 

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 # 

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 # 

Methods

showsPrec :: Int -> Attr -> ShowS #

show :: Attr -> String #

showList :: [Attr] -> ShowS #

Node Attr # 

Methods

node :: QName -> Attr -> Element #

Node [Attr] # 

Methods

node :: QName -> [Attr] -> Element #

Node ([Attr], [CData]) # 

Methods

node :: QName -> ([Attr], [CData]) -> Element #

Node ([Attr], [Element]) # 

Methods

node :: QName -> ([Attr], [Element]) -> Element #

Node ([Attr], [Content]) # 

Methods

node :: QName -> ([Attr], [Content]) -> Element #

Node ([Attr], String) # 

Methods

node :: QName -> ([Attr], String) -> Element #

Node ([Attr], CData) # 

Methods

node :: QName -> ([Attr], CData) -> Element #

Node ([Attr], Element) # 

Methods

node :: QName -> ([Attr], Element) -> Element #

Node ([Attr], Content) # 

Methods

node :: QName -> ([Attr], Content) -> Element #

Node (Attr, String) # 

Methods

node :: QName -> (Attr, String) -> Element #

Node (Attr, CData) # 

Methods

node :: QName -> (Attr, CData) -> Element #

Node (Attr, Element) # 

Methods

node :: QName -> (Attr, Element) -> Element #

Node (Attr, Content) # 

Methods

node :: QName -> (Attr, Content) -> Element #

data CData #

XML CData

Constructors

CData 

Instances

Data CData # 

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 # 

Methods

showsPrec :: Int -> CData -> ShowS #

show :: CData -> String #

showList :: [CData] -> ShowS #

Node CData # 

Methods

node :: QName -> CData -> Element #

Node [CData] # 

Methods

node :: QName -> [CData] -> Element #

Node ([Attr], [CData]) # 

Methods

node :: QName -> ([Attr], [CData]) -> Element #

Node ([Attr], CData) # 

Methods

node :: QName -> ([Attr], CData) -> Element #

Node (Attr, CData) # 

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

Eq CDataKind # 
Data CDataKind # 

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 # 

data QName #

XML qualified names

Constructors

QName 

Instances

Eq QName # 

Methods

(==) :: QName -> QName -> Bool #

(/=) :: QName -> QName -> Bool #

Data QName # 

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 # 

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 # 

Methods

showsPrec :: Int -> QName -> ShowS #

show :: QName -> String #

showList :: [QName] -> ShowS #

blank_name :: QName #

Blank names

blank_cdata :: CData #

Blank cdata

blank_element :: Element #

Blank elements