diff --git a/DSH.cabal b/DSH.cabal --- a/DSH.cabal +++ b/DSH.cabal @@ -1,18 +1,17 @@ Name: DSH -Version: 0.8.2.1 +Version: 0.8.2.2 Synopsis: Database Supported Haskell Description: This is a Haskell library for database-supported program execution. Using this library a relational database management system (RDBMS) can be used as a coprocessor for the Haskell programming language, especially for those program fragments that carry out data-intensive and data-parallel - computation. - . - Database executable program fragments can be written using the list - comprehension notation (with modest syntax changes due to quasiquoting) and - list processing combinators from the Haskell list prelude. Note that rather - than embedding a relational language into Haskell, we turn idiomatic Haskell - programs into SQL queries. + computations. + . + Database executable program fragments can be written using the monad + comprehension notation [2] and list processing combinators from the Haskell + list prelude. Note that rather than embedding a relational language into + Haskell, we turn idiomatic Haskell programs into SQL queries. . DSH faithfully represents list order and nesting, and compiles the list processing combinators into relational queries. The implementation avoids @@ -24,18 +23,22 @@ DSH can be used to allow existing Haskell programs to operate on large scale data (e.g., larger than the available heap) or query existing database resident data with Haskell. - . - Note that this package is flagged experimental and therefore not suited for - production use. This is a proof of concept implementation only. To learn - more about DSH, our paper entitled as "Haskell boards the Ferry: - Database-supported program execution for Haskell" [1] is a recommended - reading. The package includes a couple of examples that demonstrate how to - use DSH. + . + Note that this package is flagged experimental and therefore is not suited + for production use. This is a proof of concept implementation only. To learn + more about DSH, our paper entitled as "Haskell Boards the Ferry: Database- + Supported Program Execution for Haskell" [1] is a recommended reading. The + package includes a couple of examples that demonstrate how to use DSH. . - This is a highly experimental release supporting our work-in-progress paper on - "Algebraic Data Types for Language-Integrated Queries". + The latest release implements new features described in our work-in- + progress paper entitled as "Algebraic Data Types for Language-Integrated + Queries" [3]. . 1. + . + 2. + . + 3. License: BSD3 License-file: LICENSE @@ -55,14 +58,6 @@ Cabal-version: >= 1.4 Library - Extensions: TemplateHaskell, - ScopedTypeVariables, - FlexibleContexts, - FlexibleInstances, - MultiParamTypeClasses, - TypeFamilies, - GADTs - Build-depends: base >= 4.5 && < 5, containers >= 0.4, array >= 0.4, diff --git a/src/Database/DSH/CSV.hs b/src/Database/DSH/CSV.hs --- a/src/Database/DSH/CSV.hs +++ b/src/Database/DSH/CSV.hs @@ -1,3 +1,6 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE ScopedTypeVariables #-} + module Database.DSH.CSV (csvImport) where import Database.DSH.Internals diff --git a/src/Database/DSH/Compile.hs b/src/Database/DSH/Compile.hs --- a/src/Database/DSH/Compile.hs +++ b/src/Database/DSH/Compile.hs @@ -1,3 +1,7 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TemplateHaskell #-} + module Database.DSH.Compile where import Database.DSH.Internals diff --git a/src/Database/DSH/Compiler.hs b/src/Database/DSH/Compiler.hs --- a/src/Database/DSH/Compiler.hs +++ b/src/Database/DSH/Compiler.hs @@ -1,3 +1,7 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TemplateHaskell #-} + -- | DSH compiler module exposes the function fromQ that can be used to -- execute DSH programs on a database. It transform the DSH program into -- FerryCore which is then translated into SQL (through a table algebra). The SQL diff --git a/src/Database/DSH/Externals.hs b/src/Database/DSH/Externals.hs --- a/src/Database/DSH/Externals.hs +++ b/src/Database/DSH/Externals.hs @@ -1,3 +1,9 @@ +{-# LANGUAGE FlexibleInstances #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE MultiParamTypeClasses #-} +{-# LANGUAGE TemplateHaskell #-} +{-# LANGUAGE TypeFamilies #-} + module Database.DSH.Externals where import Database.DSH.Internals diff --git a/src/Database/DSH/Impossible.hs b/src/Database/DSH/Impossible.hs --- a/src/Database/DSH/Impossible.hs +++ b/src/Database/DSH/Impossible.hs @@ -1,3 +1,5 @@ +{-# LANGUAGE TemplateHaskell #-} + module Database.DSH.Impossible (impossible) where import qualified Language.Haskell.TH as TH diff --git a/src/Database/DSH/Internals.hs b/src/Database/DSH/Internals.hs --- a/src/Database/DSH/Internals.hs +++ b/src/Database/DSH/Internals.hs @@ -1,3 +1,8 @@ +{-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE MultiParamTypeClasses #-} +{-# LANGUAGE TypeFamilies #-} + module Database.DSH.Internals where import Data.Text (Text) diff --git a/src/Database/DSH/Interpreter.hs b/src/Database/DSH/Interpreter.hs --- a/src/Database/DSH/Interpreter.hs +++ b/src/Database/DSH/Interpreter.hs @@ -1,3 +1,7 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TemplateHaskell #-} + -- | This module provides the reference implementation of DSH by interpreting -- the embedded representation. diff --git a/src/Database/DSH/TH.hs b/src/Database/DSH/TH.hs --- a/src/Database/DSH/TH.hs +++ b/src/Database/DSH/TH.hs @@ -1,3 +1,5 @@ +{-# LANGUAGE TemplateHaskell #-} + module Database.DSH.TH ( deriveDSH , deriveQA , deriveTupleRangeQA