PAKCS
Exported names: Imported modules:

Module XCuery

Summary of exported operations:

with :: [a] -> [a]   
xml' :: String -> [XmlExp] -> XmlExp   
anyorder :: [a] -> [a]   
deepXml :: String -> [XmlExp] -> XmlExp   
noTagOf :: String -> [XmlExp] -> Bool   
withOthers :: [a] -> [a] -> [a]   
deepXml' :: String -> [XmlExp] -> XmlExp   
deepXElem :: String -> [(String,String)] -> [XmlExp] -> XmlExp   
optXml :: String -> [XmlExp] -> [XmlExp] -> XmlExp   

Exported operations:

with :: [a] -> [a]   

Further infos:
  • solution complete, i.e., able to compute all solutions

xml' :: String -> [XmlExp] -> XmlExp   

Further infos:
  • solution complete, i.e., able to compute all solutions

anyorder :: [a] -> [a]   

Further infos:
  • solution complete, i.e., able to compute all solutions

deepXml :: String -> [XmlExp] -> XmlExp   

Further infos:
  • solution complete, i.e., able to compute all solutions

noTagOf :: String -> [XmlExp] -> Bool   

withOthers :: [a] -> [a] -> [a]   

deepXml' :: String -> [XmlExp] -> XmlExp   

Further infos:
  • solution complete, i.e., able to compute all solutions

deepXElem :: String -> [(String,String)] -> [XmlExp] -> XmlExp   

Further infos:
  • solution complete, i.e., able to compute all solutions

optXml :: String -> [XmlExp] -> [XmlExp] -> XmlExp