hesql: Haskell's embedded SQL

[ database, program ] [ Propose Tags ]

hesql rewrites SQL-function to Haskell/HDBC-functions


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8
Dependencies base (>=4 && <5), filepath, haskell-src, HDBC, HDBC-postgresql, hssqlppp (>=0.1.0 && <0.2.0), parsec [details]
License LicenseRef-GPL
Author Christoph Bauer <ich@christoph-bauer.net>
Maintainer Christoph Bauer <ich@christoph-bauer.net>
Category Database
Uploaded by ChristophBauer at 2010-01-14T07:42:27Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hesql
Downloads 6564 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-30 [all 8 reports]

Readme for hesql-0.8

[back to package description]
hesql - Haskell's embedded SQL

hesql is a preprocessor. It reads a file (module) with
SQL-like functions and translates it to Haskell source code.
It uses HDBC.

The result of a select statement is automatically converted
to list of tuples. Also fromSql/toSql conversion are done.

The current implementation is just a proof of concept with narrow limits.
It sticks to a subset of PostgreSQL's variant of SQL. Don't expect too
much, but please send me patches to improve hesql.

An example is found under example/Account.hesql. It works with this 
tables:


CREATE TABLE Account
  (AccountID SERIAL PRIMARY KEY,
   Login TEXT NOT NULL,
   Password TEXT NOT NULL,
   RealName TEXT,
   Email TEXT  NOT NULL,
   LoggedIn BOOL DEFAULT FALSE NOT NULL,
   Locked BOOL DEFAULT FALSE NOT NULL,
   LastLogout TIMESTAMP,
   LastRequest TimeStamp DEFAULT 'now' NOT NULL,
   Validated BOOL DEFAULT FALSE NOT NULL
 );

CREATE UNIQUE INDEX AccountIdx ON Account(Lower(Login));


A select query may return a list or just a maybe type. If you
just want the maybe type, use
   
   maybe select a from t where e;


It is planned, that a prefix "lazy" should work in the same way. Then with
"lazy", the lazy HBDC-fetchAllRows are used.
   

For example:

verifyLogin login password =
  maybe select Accountid, Login, RealName, Email from Account
     where (Password is null or Password  = md5(password)) and Lower(Login) = login
           and not Locked;

will generate code for a Haskell-function with the type:

verifyLogin :: Stmts -> String -> String -> IO (Maybe (Int, String, String, String))

(To be honest, the type is simplified by me. hesql won't write any type annotation.)

Each module will have a function

init :: Connection -> IO Stmts

it prepares each statement for the later use.


TODO
  - add a separate TODO file
  - parse group by, having, column/table aliases, subselects
  - verify table and column names
  - resolve column names in SELECT * FROM ...
  - fix command line argument parsing
  - improve documentation
  - make backup of old .hs-File


INSTALL
  $ make
  $ sudo make install


USAGE
  $ createdb account
  $ psql account

  # create the account table from above

  $ cd example/
  $ hesql Account.hesql dbname=account
  $ less Account.hs


DEPENDENCIES:

  hesql depends on 
    - ghc
    - postgresql
    - HDBC with PostgreSQL backend
    - haskell-src (to print the haskell code)
    - parsec (for the SQL parser)
    - do we have to call finish on Maybe-Statements?