Query SQL databases using Nested Relational Calculus embedded in Haskell.
The primed functions in this module are in fact the syntactic forms of the embedded language. Use them as, for example:
foreach (table "employees" []) $ \emp -> having (primApp "<" [cnst 20000, project emp "salary"]) $ singleton (record [(project emp "name")])
- type NarcTerm = Gensym (Term ())
- narcToSQL :: NarcTerm -> Query
- narcToSQLString :: NarcTerm -> String
- unit :: NarcTerm
- table :: Tabname -> [(Field, Type)] -> NarcTerm
- class Constable a where
- primApp :: String -> [NarcTerm] -> NarcTerm
- abs :: (String -> NarcTerm) -> NarcTerm
- app :: NarcTerm -> NarcTerm -> NarcTerm
- ifthenelse :: NarcTerm -> NarcTerm -> NarcTerm -> NarcTerm
- singleton :: NarcTerm -> NarcTerm
- nil :: NarcTerm
- union :: NarcTerm -> NarcTerm -> NarcTerm
- record :: [(String, NarcTerm)] -> NarcTerm
- project :: NarcTerm -> String -> NarcTerm
- foreach :: NarcTerm -> (NarcTerm -> NarcTerm) -> NarcTerm
- having :: NarcTerm -> NarcTerm -> NarcTerm
- data Type
The type of the embedded terms
Translation to an SQL representation
narcToSQLString :: NarcTerm -> StringSource
Translate a Narc term to an SQL query string--perhaps the central | function of the interface.
The language itself
table :: Tabname -> [(Field, Type)] -> NarcTermSource
A reference to a named database table; second argument is its schema type.
A polymorphic way of embedding constants into a term.
primApp :: String -> [NarcTerm] -> NarcTermSource
Apply some primitive function, such as (+)
or avg
, to a list
of arguments.
ifthenelse :: NarcTerm -> NarcTerm -> NarcTerm -> NarcTermSource
A condition between two terms, as determined by the boolean value of the first term.
record :: [(String, NarcTerm)] -> NarcTermSource
Construct a record (name-value pairs) out of other terms; usually
used, with base values for the record elements, as the final
result of a query, corresponding to the select
clause of a SQL
query, but can also be used with nested results internally in a
query.
foreach :: NarcTerm -> (NarcTerm -> NarcTerm) -> NarcTermSource
For each item in the collection resulting from the first argument, give it to the function which is the second argument and evaluate--this corresponds to a loop, or two one part of a cross in traditional SQL queries.