-
Last modified: 12/06/08 by Leonidas Fegaras +Last modified: 12/19/08 by Leonidas Fegaras diff --git a/index.html b/index.html --- a/index.html +++ b/index.html @@ -3,7 +3,7 @@
First, you need to install the Glasgow Haskell Compiler, ghc. Optionally, if you want to modify the XQuery parser, you need to install the parser generator for Haskell, happy. Then, -download HXQ version 0.12.0 and untar +download HXQ version 0.14.0 and untar it (using tar xfz on Linux or 7z x on Windows). Then, you execute the following commands inside the HXQ directory: @@ -56,8 +57,6 @@ runhaskell Setup.lhs install On linux, the last command must be run as root. -If you get an error during configuration that the readline package is missing, install -readline before HXQ. HXQ consists of the executable xquery, which is the XQuery interpreter, and the HXQ library. To use the HXQ library in a Haskell program, simply import Text.XML.HXQ.XQuery. @@ -68,7 +67,11 @@
HXQ supports most essential XQuery features, although some system -functions are missing (but are easy to add). To see the list of +functions are missing (but are easy to add). +Note that HXQ is a proof-of-concept (prototype) implementation; it's not +fully compliant with the W3C specs. One may use HXQ as a basis +for a fully compliant XQuery implementation (conforming to W3C test suits), +but currently I do not have the time to do so. To see the list of supported system functions, run xquery -help . HXQ does not have static typechecking; it leaves all checking to Haskell. In addition, the XQuery semantics requires duplicate elimination and @@ -96,7 +99,8 @@ The complete XQuery syntax in HXQ is described in hxq-manual.pdf. Here some tutorials on XPath and XQuery. -Here is a nice course on XML and XQuery. +Here are two relevant courses on XML and databases at Stanford +and ETH.
@@ -135,6 +139,8 @@ Another example, can be found in Test1.hs. You compile it using ghc --make Test1.hs -o a.out. +Using the latest ghc (version >= 6.9), one may use quasi-quotations +instead of strings, as is shown in Test2a.hs.
You can compile an XQuery file into a Haskell program (Temp.hs) using xquery -c file. Or better, you can @@ -149,24 +155,27 @@
The HXQ interpreter is far more slower than the compiler; use it only if you need to evaluate ad-hoc XQueries read from input or from files. -The main functions are: -
+xquery :: String -> IO XSeq ++which evaluates an XQuery in a string. The HXQ interpreter doesn't recognize Haskell variables and functions (but you may declare XQuery variables and functions using the XQuery -'declare' syntax). The main HXQ program, called xquery, +'declare' syntax). The main HXQ program, called xquery, evaluates an XQuery in a file using the interpreter. For example:
xquery data/q1.xqWithout an argument, it reads and evaluates XQueries and variable/function declarations from input. With xquery -p -xpath-query xml-file you evaluate an XPath query against an XML -file, eg. xquery -p "//inproceedings[100]" data/dblp.xml. +xpath-query xml-file you can evaluate an XPath query against an XML +file. For example, +
+xquery -p "//inproceedings[100]" data/dblp.xml +With xquery -help you get the list of system functions and usage information.
-
Last modified: 12/06/08 by Leonidas Fegaras +Last modified: 12/19/08 by Leonidas Fegaras diff --git a/src/Readline.hs b/src/Readline.hs new file mode 100644 --- /dev/null +++ b/src/Readline.hs @@ -0,0 +1,20 @@ +{-# OPTIONS -cpp #-} + +module Readline (readline,addHistory) where + +#if __GLASGOW_HASKELL__ >= 609 +import System.Console.Editline.Readline +#else +import System.Console.Readline +#endif + +{- +import System.IO + +readline prompt = do putStr prompt + hFlush stdout + line <- getLine + return (Just line) + +addHistory stmt = return "" +-} diff --git a/src/Text/XML/HXQ/Compiler.hs b/src/Text/XML/HXQ/Compiler.hs --- a/src/Text/XML/HXQ/Compiler.hs +++ b/src/Text/XML/HXQ/Compiler.hs @@ -4,7 +4,7 @@ - Programmer: Leonidas Fegaras - Email: fegaras@cse.uta.edu - Web: http://lambda.uta.edu/ -- Creation: 02/15/08, last update: 12/06/08 +- Creation: 02/15/08, last update: 12/19/08 - - Copyright (c) 2008 by Leonidas Fegaras, the University of Texas at Arlington. All rights reserved. - This material is provided as is, with absolutely no warranty expressed or implied. @@ -13,22 +13,27 @@ - --------------------------------------------------------------------------------------} - +{-# OPTIONS -cpp #-} {-# LANGUAGE TemplateHaskell #-} -module Text.XML.HXQ.Compiler where +module Text.XML.HXQ.Compiler + ( xe, xq, xqdb, maxPosition, containsLast, qName, qx, + parent_error, pathPosition, liftIOSources ) where +import Text.XML.HXQ.Parser +import Text.XML.HXQ.XTree +import Text.XML.HXQ.OptionalDB import Control.Monad import Char(toLower) import List(sortBy) import XMLParse(parseDocument) -import Text.XML.HXQ.Parser -import Text.XML.HXQ.XTree import Text.XML.HXQ.Optimizer import Text.XML.HXQ.Functions -import Text.XML.HXQ.OptionalDB import Language.Haskell.TH +#if __GLASGOW_HASKELL__ >= 609 +import Language.Haskell.TH.Quote +#endif undef1 = [| error "Undefined XQuery context (.)" |] @@ -573,6 +578,14 @@ -- | Run an XQuery that reads XML documents and queries databases. --- When evaluated, it returns @(IConnection conn) => conn -> IO XSeq@. +-- When evaluated, it returns @Connection -> IO XSeq@. xqdb :: String -> Q Exp xqdb query = lamE [varP (mkName "_db")] (compileQueryM (parse (scan query))) + + +-- | Quasi-quotation for HXQ using xq +#if __GLASGOW_HASKELL__ >= 609 +qx = QuasiQuoter xq (\_ -> error "XQuery patterns are not allowed") +#else +qx = error "Quasi-quotation not permitted in earlier ghc versions" +#endif diff --git a/src/Text/XML/HXQ/Functions.hs b/src/Text/XML/HXQ/Functions.hs --- a/src/Text/XML/HXQ/Functions.hs +++ b/src/Text/XML/HXQ/Functions.hs @@ -13,18 +13,18 @@ - --------------------------------------------------------------------------------------} - {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE BangPatterns #-} module Text.XML.HXQ.Functions where +import HXML(AttList) import Data.List(foldl') import Char(isDigit) -import HXML(AttList) import Text.XML.HXQ.XTree import Language.Haskell.TH +import Debug.Trace {--------------- XPath Steps ---------------------------------------------------------} @@ -38,7 +38,7 @@ _ -> [x] --- XPath step /tag or /* +-- XPath step /tag or / * child_step :: Tag -> XTree -> XSeq child_step tag x = case x of @@ -49,7 +49,7 @@ _ -> [] --- XPath step //tag or //* +-- XPath step //tag or // * descendant_or_self_step :: Tag -> XTree -> XSeq descendant_or_self_step tag (x@(XElem t _ _ _ cs)) | tag==t || tag=="*" @@ -198,8 +198,21 @@ -- XPath steps to be used by the interpreter --- when evaluated, it gives [(String,Tag->XTree->XSeq)] -pFunctions = foldr (\(pname,p) r -> let pn = litE (StringL pname) in [| ($pn,$p) : $r |]) [| [] |] paths +pathFunctions :: [(String,Tag->XTree->XSeq)] +pathFunctions + = [ ( "child", child_step ), + ( "descendant", descendant_step ), + ( "attribute", attribute_step ), + ( "self", self_step ), + ( "descendant-or-self", descendant_or_self_step ), + ( "attribute-descendant", attribute_descendant_step ), + ( "following-sibling", following_sibling_step ), + ( "following", following_step ), + ( "parent", parent_step ), + ( "ancestor", ancestor_step ), + ( "preceding-sibling", preceding_sibling_step ), + ( "preceding", preceding_step ), + ( "ancestor-or-self", ancestor_or_self_step ) ] {------------ Functions --------------------------------------------------------------} @@ -222,9 +235,15 @@ -- like foldr but with an index foldir :: (a -> Int -> b -> b) -> b -> [a] -> Int -> b foldir c n [] i = n -foldir c n (x:xs) i = c x i (foldir c n xs (i+1)) +foldir c n (x:xs) i = c x i (foldir c n xs $! (i+1)) +-- strict: like foldl' but with an index +foldil :: (a -> Int -> b -> b) -> b -> [a] -> Int -> b +foldil c n [] i = n +foldil c n (x:xs) i = (foldil c $! (c x i n)) xs $! (i+1) + + trueXT = XBool True falseXT = XBool False @@ -370,6 +389,7 @@ type Function = [Q Exp] -> Q Exp + -- System functions: they can also be defined as Haskell functions of type (XSeq,...,XSeq) -> XSeq -- but here we make sure they are unfolded and fused with the rest of the query functions :: [(Tag,Int,Function)] @@ -428,16 +448,12 @@ ( "union", 2, \[xs,ys] -> [| distinct ($xs ++ $ys) |] ), ( "intersect", 2, \[xs,ys] -> [| filter (\x -> elem x $ys) $xs |] ), ( "except", 2, \[xs,ys] -> [| filter (\x -> not (elem x $ys)) $xs |] ), - ( "reverse", 1, \[xs] -> [| reverse $xs |] ) + ( "reverse", 1, \[xs] -> [| reverse $xs |] ), + ( "trace", 2, \[xs,ys] -> [| trace ("***trace:"++show $xs) $ys |] ) ] -system_functions :: [String] -system_functions = map (\(nm,_,_) -> nm) functions ++ map (\(nm,_,_) -> "fn:"++nm) functions - - --- functions to be used by the interpreter --- when evaluated, it gives [(String,Int,[XSeq]->XSeq)] +-- Functions to be used by the interpreter. When evaluated, it gives [(String,Int,[XSeq]->XSeq)] iFunctions :: Q Exp iFunctions = foldr (\(fname,len,f) r -> let vars = map (\i -> mkName ("v_"++(show i))) [1..len] @@ -446,6 +462,86 @@ in [| $entry : $r |]) [| [] |] functions +-- System functions used by the interpreter. They can be derived from functions using the splicing $(iFunctions), +-- but haddock crashes during splicing. +systemFunctions :: [(String,Int,[XSeq]->XSeq)] +systemFunctions + = [ ( "=", 2, \[xs,ys] -> [ trueXT | x <- text xs, y <- text ys, compareXTrees x y == EQ ] ), + ( "!=", 2, \[xs,ys] -> if null [ trueXT | x <- text xs, y <- text ys, compareXTrees x y == EQ ] + then [trueXT] + else [falseXT] ), + ( ">", 2, \[xs,ys] -> [ trueXT | x <- text xs, y <- text ys, compareXTrees x y == GT ] ), + ( "<", 2, \[xs,ys] -> [ trueXT | x <- text xs, y <- text ys, compareXTrees x y == LT ] ), + ( ">=", 2, \[xs,ys] -> [ trueXT | x <- text xs, y <- text ys, compareXTrees x y `elem` [GT,EQ] ] ), + ( "<=", 2, \[xs,ys] -> [ trueXT | x <- text xs, y <- text ys, compareXTrees x y `elem` [LT,EQ] ] ), + ( "eq", 2, \[xs,ys] -> if strictCompare xs ys == EQ then [trueXT] else [falseXT] ), + ( "neq", 2, \[xs,ys] -> if strictCompare xs ys /= EQ then [trueXT] else [falseXT] ), + ( "lt", 2, \[xs,ys] -> if strictCompare xs ys == LT then [trueXT] else [falseXT] ), + ( "gt", 2, \[xs,ys] -> if strictCompare xs ys == GT then [trueXT] else [falseXT] ), + ( "le", 2, \[xs,ys] -> if strictCompare xs ys `elem` [LT,EQ] then [trueXT] else [falseXT] ), + ( "ge", 2, \[xs,ys] -> if strictCompare xs ys `elem` [GT,EQ] then [trueXT] else [falseXT] ), + ( "<<", 2, \[xs,ys] -> [ trueXT | XElem _ _ ox _ _ <- xs, XElem _ _ oy _ _ <- ys, ox < oy ] ), + ( ">>", 2, \[xs,ys] -> [ trueXT | XElem _ _ ox _ _ <- xs, XElem _ _ oy _ _ <- ys, ox > oy ] ), + ( "is", 2, \[xs,ys] -> [ trueXT | XElem _ _ ox _ _ <- xs, XElem _ _ oy _ _ <- ys, ox == oy ] ), + ( "+", 2, \[xs,ys] -> [ arithmetic (+) x y | x <- toNum xs, y <- toNum ys ] ), + ( "-", 2, \[xs,ys] -> [ arithmetic (-) x y | x <- toNum xs, y <- toNum ys ] ), + ( "*", 2, \[xs,ys] -> [ arithmetic (*) x y | x <- toNum xs, y <- toNum ys ] ), + ( "div", 2, \[xs,ys] -> [ arithmetic (/) x y | x <- toNum xs, y <- toNum ys ] ), + ( "idiv", 2, \[xs,ys] -> [ XInt (div x y) | (XInt x) <- toNum xs, (XInt y) <- toNum ys ] ), + ( "mod", 2, \[xs,ys] -> [ XInt (mod x y) | (XInt x) <- toNum xs, (XInt y) <- toNum ys ] ), + ( "uplus", 1, \[xs] -> [ x | x <- toNum xs ] ), + ( "uminus", 1, \[xs] -> [ case x of XInt n -> XInt (-n); XFloat n -> XFloat (-n) | x <- toNum xs ] ), + ( "and", 2, \[xs,ys] -> if (conditionTest xs) && (conditionTest ys) then [trueXT] else [falseXT] ), + ( "or", 2, \[xs,ys] -> if (conditionTest xs) || (conditionTest ys) then [trueXT] else [falseXT] ), + ( "not", 1, \[xs] -> if conditionTest xs then [falseXT] else [trueXT] ), + ( "some", 1, \[xs] -> if conditionTest xs then [trueXT] else [falseXT] ), + ( "count", 1, \[xs] -> [ XInt (length xs) ] ), + ( "sum", 1, \[xs] -> [ XFloat (sum [ toFloat x | x <- toNum xs ]) ] ), + ( "avg", 1, \[xs] -> [ XFloat (mean [ toFloat x | x <- toNum xs ]) ] ), + ( "min", 1, \[xs] -> [ XFloat (minimum [ toFloat x | x <- toNum xs ]) ] ), + ( "max", 1, \[xs] -> [ XFloat (maximum [ toFloat x | x <- toNum xs ]) ] ), + ( "to", 2, \[xs,ys] -> [ XInt i | XInt n <- toNum xs, XInt m <- toNum ys, i <- [n..m] ] ), + ( "text", 1, \[xs] -> text xs ), + ( "string", 1, \[xs] -> string xs ), + ( "data", 1, \[xs] -> text xs ), + ( "node", 1, \[xs] -> [ w | w@(XElem _ _ _ _ _) <- xs ] ), + ( "exists", 1, \[xs] -> [ XBool (not (null xs)) ] ), + ( "empty", 0, \[] -> [] ), + ( "true", 0, \[] -> [trueXT] ), + ( "false", 0, \[] -> [] ), + ( "if", 3, \[cs,ts,es] -> if conditionTest cs then ts else es ), + ( "element", 2, \[tags,xs] -> [ x | tag <- toString tags, x@(XElem t _ _ _ _) <- xs, (t==tag || tag=="*") ] ), + ( "attribute", 2, \[tags,xs] -> [ z | tag <- toString tags, x <- xs, z <- attribute_step tag x ] ), + ( "name", 1, \[xs] -> [ XText tag | XElem tag _ _ _ _ <- xs ] ), + ( "contains", 2, \[xs,text] -> [ trueXT | x <- toString xs, t <- toString text, contains x t ] ), + ( "substring", 3, \[xs,n1,n2] -> [ XText (take m2 (drop (m1-1) x)) | x <- toString xs, + XInt m1 <- toNum n1, XInt m2 <- toNum n2 ] ), + ( "concatenate", 2, \[xs,ys] -> xs ++ ys ), + ( "distinct-values", 1, \[xs] -> distinct xs ), + ( "union", 2, \[xs,ys] -> distinct (xs ++ ys) ), + ( "intersect", 2, \[xs,ys] -> filter (\x -> elem x ys) xs ), + ( "except", 2, \[xs,ys] -> filter (\x -> not (elem x ys)) xs ), + ( "reverse", 1, \[xs] -> reverse xs ), + ( "trace", 2, \[xs,ys] -> trace ("***trace:"++show xs) ys ) + ] + + +system_functions :: [String] +system_functions = map (\(nm,_,_) -> nm) systemFunctions ++ map (\(nm,_,_) -> "fn:"++nm) systemFunctions + + +-- true, if it is a function in the IO monad +ioFunction :: String -> Q Bool +ioFunction name + = do info <- reify (mkName name) + iotp <- [t| IO XSeq |] + case info of + VarI _ (AppT _ tp) _ _ + | tp == iotp + -> return True + _ -> return False + + -- make a function call callF :: Tag -> Function callF fname args @@ -453,7 +549,7 @@ (_,len,f):_ -> if (length args) == len then f args else error ("wrong number of arguments in function call: " ++ fname) - _ -> -- otherwise, it must be a Haskell function of type (XSeq,...,XSeq) -> XSeq + _ -> -- otherwise, it must be a Haskell function of type (XSeq,...,XSeq) -> IO XSeq let itp = case args of [] -> [t| () |] [_] -> [t| XSeq |] diff --git a/src/Text/XML/HXQ/Interpreter.hs b/src/Text/XML/HXQ/Interpreter.hs --- a/src/Text/XML/HXQ/Interpreter.hs +++ b/src/Text/XML/HXQ/Interpreter.hs @@ -4,7 +4,7 @@ - Programmer: Leonidas Fegaras - Email: fegaras@cse.uta.edu - Web: http://lambda.uta.edu/ -- Creation: 03/22/08, last update: 12/06/08 +- Creation: 03/22/08, last update: 12/19/08 - - Copyright (c) 2008 by Leonidas Fegaras, the University of Texas at Arlington. All rights reserved. - This material is provided as is, with absolutely no warranty expressed or implied. @@ -14,34 +14,21 @@ --------------------------------------------------------------------------------------} -{-# OPTIONS_GHC -fglasgow-exts #-} -{-# LANGUAGE TemplateHaskell #-} - - -module Text.XML.HXQ.Interpreter where +module Text.XML.HXQ.Interpreter + ( xquery, xqueryDB, xfileDB, evalInput, xqueryE ) where +import Text.XML.HXQ.Parser +import Text.XML.HXQ.XTree +import Text.XML.HXQ.OptionalDB import Control.Monad import List(sortBy) import XMLParse(parseDocument) -import System.Console.Readline -import Text.XML.HXQ.Parser -import Text.XML.HXQ.XTree +import Readline import Text.XML.HXQ.Optimizer import Text.XML.HXQ.Functions import Text.XML.HXQ.Compiler -import Text.XML.HXQ.OptionalDB --- system functions (=, concat, etc) -systemFunctions :: [(String,Int,[XSeq]->XSeq)] -systemFunctions = $(iFunctions) - - --- XPath step functions (child, descendant, etc) -pathFunctions :: [(String,Tag->XTree->XSeq)] -pathFunctions = $(pFunctions) - - -- run-time bindings of FLOWR variables type Environment = [(String,XSeq)] @@ -55,7 +42,6 @@ undefv3 = error "Undefined last()" - -- Each XPath predicate must calculate position() and last() from its input XSeq -- if last() is used, then the evaluation is blocking (need to store the whole input XSeq) applyPredicates :: [Ast] -> XSeq -> Bool -> Environment -> Functions -> XSeq @@ -427,12 +413,6 @@ xquery :: String -> IO XSeq xquery query = do (u,_,_) <- xqueryE query [] [] (error "No database connectivity") False return $! u - - --- | Read an XQuery from a file and run it using the interpreter. -xfile :: String -> IO XSeq -xfile file = do query <- readFile file - xquery query -- | Evaluate the XQuery with database connectivity using the interpreter. diff --git a/src/Text/XML/HXQ/XQuery.hs b/src/Text/XML/HXQ/XQuery.hs --- a/src/Text/XML/HXQ/XQuery.hs +++ b/src/Text/XML/HXQ/XQuery.hs @@ -4,7 +4,7 @@ - Programmer: Leonidas Fegaras - Email: fegaras@cse.uta.edu - Web: http://lambda.uta.edu/ -- Creation: 03/22/08, last update: 08/14/08 +- Creation: 03/22/08, last update: 08/19/08 - - Copyright (c) 2008 by Leonidas Fegaras, the University of Texas at Arlington. All rights reserved. - This material is provided as is, with absolutely no warranty expressed or implied. @@ -14,6 +14,9 @@ --------------------------------------------------------------------------------------} +{-# OPTIONS -cpp #-} + + -- | HXQ is a fast and space-efficient compiler from XQuery (the standard -- query language for XML) to embedded Haskell code. The translation is -- based on Haskell templates. It also provides an interpreter for @@ -26,20 +29,20 @@ -- * The XQuery Compiler xq, xe, -- * The XQuery Interpreter - xquery, xfile, + xquery, -- * The XQuery Compiler with Database Connectivity xqdb, -- * The XQuery Interpreter with Database Connectivity - xqueryDB, xfileDB, + xqueryDB, -- * Shredding and Publishing XML Documents Using a Relational Database genSchema, shred, shredC, printSchema, createIndex, -- * Other Functions - XMLEvent(..), connect, disconnect, commit, rollback, prepareSQL, executeSQL + XMLEvent(..), connect, disconnect, commit, rollback, prepareSQL, executeSQL, qx ) where import HXML(AttList) import Text.XML.HXQ.XTree -import Text.XML.HXQ.Compiler -import Text.XML.HXQ.Interpreter import Text.XML.HXQ.OptionalDB import XMLParse +import Text.XML.HXQ.Compiler +import Text.XML.HXQ.Interpreter diff --git a/src/Text/XML/HXQ/XTree.hs b/src/Text/XML/HXQ/XTree.hs --- a/src/Text/XML/HXQ/XTree.hs +++ b/src/Text/XML/HXQ/XTree.hs @@ -17,7 +17,8 @@ {-# OPTIONS_GHC -funbox-strict-fields #-} -module Text.XML.HXQ.XTree where +module Text.XML.HXQ.XTree + ( Tag, XTree(..), XSeq, materialize, putXSeq, showXS ) where import System.IO import Char(isSpace) @@ -116,7 +117,7 @@ where m ((TextEvent t):xs) i = (XText t,xs,i) m ((EmptyEvent n atts):xs) i = (XElem n atts i noParentError [],xs,i+1) m ((StartEvent n atts):xs) i - = let (el,xs',i') = ml xs (i+1) + = let (el,xs',i') = ml xs $! (i+1) in (XElem n atts i noParentError el,xs',i') m ((PIEvent n s):xs) i = (XPI n s,xs,i) m ((CommentEvent s):xs) i = (XComment s,xs,i) @@ -142,7 +143,7 @@ m ((TextEvent t):xs) i _ = (XText t,xs,i) m ((EmptyEvent n atts):xs) i p = (XElem n atts i p [],xs,i+1) m ((StartEvent n atts):xs) i p - = let (el,xs',i') = ml xs (i+1) node + = let (el,xs',i') = (ml xs $! (i+1)) node node = XElem n atts i p el in (node,xs',i') m ((PIEvent n s):xs) i _ = (XPI n s,xs,i) diff --git a/src/noDB/Text/XML/HXQ/OptionalDB.hs b/src/noDB/Text/XML/HXQ/OptionalDB.hs --- a/src/noDB/Text/XML/HXQ/OptionalDB.hs +++ b/src/noDB/Text/XML/HXQ/OptionalDB.hs @@ -47,15 +47,18 @@ connect filepath = noDBerror -disconnect :: conn -> IO () +-- | Disconnect from the relational database +disconnect :: Connection -> IO () disconnect db = noDBerror -commit :: conn -> IO () +-- | commit the updates to the database +commit :: Connection -> IO () commit db = noDBerror -rollback :: conn -> IO () +-- | rollback the updates from the database +rollback :: Connection -> IO () rollback db = noDBerror diff --git a/src/readline/System/Console/Readline.hs b/src/readline/System/Console/Readline.hs deleted file mode 100644 --- a/src/readline/System/Console/Readline.hs +++ /dev/null @@ -1,10 +0,0 @@ -module System.Console.Readline where - -import System.IO - -readline prompt = do putStr prompt - hFlush stdout - line <- getLine - return (Just line) - -addHistory stmt = return "" diff --git a/src/withDB/Text/XML/HXQ/DB.hs b/src/withDB/Text/XML/HXQ/DB.hs --- a/src/withDB/Text/XML/HXQ/DB.hs +++ b/src/withDB/Text/XML/HXQ/DB.hs @@ -17,7 +17,9 @@ {-# OPTIONS_GHC -funbox-strict-fields #-} -module Text.XML.HXQ.DB where +module Text.XML.HXQ.DB + ( publishXmlDoc, executeSQL, prepareSQL, genSchema, shred, shredC, + printSchema, createIndex, insertDB, deleteDB, replaceDB ) where import System.IO.Unsafe import Char(isSpace,isDigit,toLower)