Database.Ferry.Algebra.Render.XML

Documentation

document :: Document i -> Doc

mkXMLDocument :: Element () -> Document ()

mkPlanBundle :: [Element ()] -> Element ()

serializeAlgebra :: [Element ()] -> GraphNode -> XML XMLNode

type ColName = String

type Graph = (AlgNode, [(Algebra, AlgNode)])

type GraphNode = Int

type XMLNode = Int

type Dictionary = Map GraphNode XMLNode

type XML = WriterT [Element ()] (ReaderT (Map AlgNode Algebra, Map AlgNode [String], Bool) (State (Int, Dictionary)))

getTags :: GraphNode -> XML (Maybe [String])

debugEnabled :: XML Bool

isDefined :: GraphNode -> XML (Maybe XMLNode)

freshId :: XML Int

addNodeTrans :: GraphNode -> XMLNode -> XML ()

getNode :: Int -> XML Algebra

runXML :: Bool -> Map AlgNode Algebra -> Map AlgNode [String] -> XML a -> [Element ()]

Helper functions for constructing xml nodes

childsOf :: [Element ()] -> Element () -> Element ()

Childs of takes a list of xml elements, and nests them in the xml element given as a second argument

dataChildOf :: Show a => a -> Element () -> Element ()

Data child of takes some data that can be printed and adds that as child to the xml element given as second argument

column :: String -> Bool -> Element ()

Construct a column with name n, and new status v

typeN :: ATy -> Element ()

XML element representing a type

xmlElem :: String -> Element ()

Construct an xml tag with name n

node :: XMLNode -> String -> Element ()

Construct an algebraic node with id xId and of kind t

contentNode :: Element ()

Construct a content node

attr :: String -> String -> Attribute

Construct an attribute for an xml node, attrname = n and its value is v

attrsOf :: [Attribute] -> Element () -> Element ()

Attach list of attributes to an xml element

module Text.XML.HaXml.Types

iterCol :: Element ()

posCol :: Element ()

mkQueryPlan :: Maybe (Int, Int) -> Element () -> [Element ()] -> XML Int