Commit Graph

125 Commits

Author SHA1 Message Date
Kei Hibino
615d1dcd73 Add toVarExp and toVarPat. 2013-05-14 15:44:42 +09:00
Kei Hibino
0b41f05b62 Now, defineColumn defines not HasConstraintKey instance,
but Constraint.Key object.
2013-05-14 12:51:15 +09:00
Kei Hibino
64e0d0b0b0 Add TH functions to generate SQLs. 2013-05-14 02:41:24 +09:00
Kei Hibino
7e98380848 Move sample codes into another package.
--HG--
rename : schema-th/pgTest/PgTest.hs => relational-join-HDBC-pgTest/pgTest/PgTest.hs
rename : schema-th/pgTest/PgTestDataSource.hs => relational-join-HDBC-pgTest/pgTest/PgTestDataSource.hs
rename : schema-th/pgTest/runCreate.sh => relational-join-HDBC-pgTest/pgTest/runCreate.sh
rename : schema-th/pgTest/runDrop.sh => relational-join-HDBC-pgTest/pgTest/runDrop.sh
rename : schema-th/sample/1/Group.hs => relational-join-HDBC-pgTest/sample/1/Group.hs
rename : schema-th/sample/1/Membership.hs => relational-join-HDBC-pgTest/sample/1/Membership.hs
rename : schema-th/sample/1/README => relational-join-HDBC-pgTest/sample/1/README
rename : schema-th/sample/1/User.hs => relational-join-HDBC-pgTest/sample/1/User.hs
rename : schema-th/sample/1/create.sh => relational-join-HDBC-pgTest/sample/1/create.sh
rename : schema-th/sample/1/drop.sh => relational-join-HDBC-pgTest/sample/1/drop.sh
rename : schema-th/sample/1/querySample.hs => relational-join-HDBC-pgTest/sample/1/querySample.hs
2013-05-13 19:24:31 +09:00
Kei Hibino
78ce58e25b Add disable-tests flag to avoid dependency of test modules. 2013-05-13 19:08:04 +09:00
Kei Hibino
bc6c56fbff Update other modules list. 2013-05-13 18:58:14 +09:00
Kei Hibino
2b3dc5ff93 Update exposed module list. 2013-05-13 18:56:31 +09:00
Kei Hibino
c02845412d Update export list. 2013-05-13 18:29:01 +09:00
Kei Hibino
6e3165d738 Add TH functions which defines SQLs. 2013-05-13 18:24:37 +09:00
Kei Hibino
ec37d37d01 Add derived update SQLs. 2013-05-13 18:08:00 +09:00
Kei Hibino
a753436989 Add Show instances. 2013-05-13 18:04:25 +09:00
Kei Hibino
866f188bb2 Renamed. 2013-05-13 18:00:10 +09:00
Kei Hibino
bbe66c8dc3 Add a module which generates SQL strings to use sql-words. 2013-05-13 16:56:14 +09:00
Kei Hibino
d4dbc03545 Add readme file for sample1. 2013-05-13 15:32:26 +09:00
Kei Hibino
82b4b4ca35 Add a sample executable. 2013-05-13 15:16:00 +09:00
Kei Hibino
1d99255dc5 Add flatten function to flatten nested Maybe. 2013-05-13 14:54:40 +09:00
Kei Hibino
382fd7469f Add functions which derives queries from key constraints. 2013-05-12 10:16:03 +09:00
Kei Hibino
82d0703cfa Rename functions to derive constraint keys. 2013-05-11 14:56:05 +09:00
Kei Hibino
87395e5981 Formatting. 2013-05-11 14:49:52 +09:00
Kei Hibino
6223573b72 Update for PrimeRelation. 2013-05-11 11:51:15 +09:00
Kei Hibino
71558e4918 Add experimental Update and Insert type. 2013-05-11 03:30:36 +09:00
Kei Hibino
2816a2fd5e Fix haddock markup. 2013-05-11 03:29:57 +09:00
Kei Hibino
17cfd474b4 Fix values list for update statement. 2013-05-11 03:20:28 +09:00
Kei Hibino
c803dc97b8 Add fetch function. 2013-05-11 02:32:06 +09:00
Kei Hibino
38b67662eb Update code for test. 2013-05-11 02:31:43 +09:00
Kei Hibino
4499e2ece7 Update TH functions for constraints. 2013-05-10 16:02:45 +09:00
Kei Hibino
b150377709 Update export list of TH functions. 2013-05-10 15:46:30 +09:00
Kei Hibino
6d2204fb3c Add Constraint.Key proof object which can derive
both KeyConstraint and projection path.
2013-05-10 11:42:15 +09:00
Kei Hibino
2ddffc5853 Rename type class method. 2013-05-10 10:54:00 +09:00
Kei Hibino
faf91d14f5 Update with integrated Database.Record module and divide module about
Singleton wraped type like DB-record.
2013-05-10 01:06:38 +09:00
Kei Hibino
44479d6330 Divide module about Sigleton wrap type. 2013-05-10 00:33:24 +09:00
Kei Hibino
f90a7ff36f Update API of ToSql module and export list. 2013-05-10 00:05:00 +09:00
Kei Hibino
f1d5334d61 Update to use integrated Database.Record module. 2013-05-09 22:40:40 +09:00
Kei Hibino
9033e47df4 Add integrated Record module. 2013-05-09 18:42:20 +09:00
Kei Hibino
dce3d7fd2a Cleaning up TH symbol imports. 2013-05-09 17:46:12 +09:00
Kei Hibino
791833b03a Cleaning up instance imports. 2013-05-09 17:42:12 +09:00
Kei Hibino
80b45bd1bf Treat unit type as zero-width record and defines Extended relation
type which requires parameter type.
2013-05-09 17:32:24 +09:00
Kei Hibino
f94c71eb29 Add width inference for Maybe. 2013-05-09 16:07:06 +09:00
Kei Hibino
23f2b8ee8e Remove TH functions which provides old table info. 2013-05-09 14:05:46 +09:00
Kei Hibino
fae08c434f Add word count target. 2013-05-09 14:04:15 +09:00
Kei Hibino
f91b794a3d Update to use Relation. 2013-05-09 12:39:27 +09:00
Kei Hibino
c11310fc59 ORDER BY support. 2013-05-09 12:36:22 +09:00
Kei Hibino
7824af3a78 Move default definitions of column selector. 2013-05-08 17:42:14 +09:00
Kei Hibino
0ea4d7edb9 Add TH functions to define column selectors. 2013-05-08 17:37:43 +09:00
Kei Hibino
1644fee89a Specify associativity for column selector (!, !?) lower than Pi path
constructor (:*).
2013-05-08 17:15:45 +09:00
Kei Hibino
7d5946562c Re-define Pis for fst and snd using PersistableWidth. 2013-05-08 17:13:00 +09:00
Kei Hibino
3dfc8bb4ee Remove unused old definitions. 2013-05-08 17:02:41 +09:00
Kei Hibino
fc203a06fa Update to use Table type definitions from schema drivers. 2013-05-08 16:41:14 +09:00
Kei Hibino
b745f31f7b Add TH functions to define Table type. 2013-05-08 16:37:38 +09:00
Kei Hibino
d6ace60288 Cleaning up export list and remove unused definitions. 2013-05-08 15:06:19 +09:00