Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe

Common.ToXml

Description

xml utilities on top of the xml light package and common hets data types

Documentation

mkAttr :: String -> String -> Attr Source #

mkText :: String -> Content Source #

prettyElem :: Pretty a => String -> GlobalAnnos -> a -> Element Source #

rangeAttrsF :: ([Pos] -> String) -> Range -> [Attr] Source #

rangeAttrs :: Range -> [Attr] Source #

mkNameAttr :: String -> Attr Source #

mkPriorityAttr :: String -> Attr Source #

annotationF :: (Range -> [Attr]) -> GlobalAnnos -> Annotation -> Element Source #

annotations :: GlobalAnnos -> [Annotation] -> [Element] Source #

subnodes :: String -> [Element] -> [Element] Source #

eitherToElem :: String -> [Either Attr Element] -> Element Source #

myDataToXml :: MyData -> Element Source #

class ToXml a where Source #

Methods

asXml :: a -> Element Source #

Instances

Instances details
Data a => ToXml a Source # 
Instance details

Defined in Common.ToXml

Methods

asXml :: a -> Element Source #

ToXml Frm_Wrap Source # 
Instance details

Defined in TopHybrid.AS_TopHybrid

Methods

asXml :: Frm_Wrap -> Element Source #

Data a => ToXml (S2 a) Source # 
Instance details

Defined in Logic.Morphism

Methods

asXml :: S2 a -> Element Source #

ToXml f => ToXml (TH_FORMULA f) Source # 
Instance details

Defined in TopHybrid.AS_TopHybrid

Methods

asXml :: TH_FORMULA f -> Element Source #