khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-15 14:53:28 +03:00
Code Issues Projects Releases Wiki Activity
401 Commits 34 Branches 295 Tags 6.7 MiB
6b7dc701d4
Commit Graph

401 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kazu Yamamoto
6b7dc701d4 removing PATH setting. 
"psql" may not exist in /usr/bin and /bin.
 2013-06-21 15:26:28 +09:00
Kei Hibino
cbd5cd0221 Now, TH functions of relational-join can deal with composite keys! 2013-06-20 15:59:35 +09:00
Kei Hibino
8849a2148a Now, defaultly import Record.Instances from Query.TH. 2013-06-20 15:22:13 +09:00
Kei Hibino
9c3fc4a3f7 Add fixities for binary operators. 2013-06-20 14:39:01 +09:00
Kei Hibino
7825f315d6 Add zipping of projection path. 2013-06-20 14:37:23 +09:00
Kei Hibino
34e0e5397d Derivation of typed update from composite key. 2013-06-20 13:38:17 +09:00
Kei Hibino
5973d9b44e Export update value indexes logic. 2013-06-20 12:02:25 +09:00
Kei Hibino
dd88fcbd23 Query derivation from specified key. 2013-06-20 10:54:09 +09:00
Kei Hibino
46eee4d62a Extend constraint key into composite key. 2013-06-20 02:54:05 +09:00
Kei Hibino
65f828cb84 Update TH function for primary composite key constraint. 2013-06-20 00:21:59 +09:00
Kei Hibino
f178f4d2e4 Weaken too strong inference rules. 2013-06-19 22:58:00 +09:00
Kei Hibino
c2973410bf Add TH functions for compsite key table constraints. 2013-06-19 20:17:18 +09:00
Kei Hibino
d5dd5949de Export composite key constraint type class. 2013-06-19 20:06:11 +09:00
Kei Hibino
e8c151435c Weaken constraint for updateValues. 2013-06-19 19:52:38 +09:00
Kei Hibino
9d1356756d Add inference rules for composite keys. 2013-06-19 19:45:03 +09:00
Kei Hibino
a88047dfff Rename function which infers ColumnConstraint proof object. 2013-06-19 18:27:29 +09:00
Kei Hibino
71782668da Add table constraint generalized into composite key. 2013-06-18 18:11:16 +09:00
Kei Hibino
b4502d8c29 Rename constraint derivation rules. 2013-06-18 17:05:39 +09:00
Kei Hibino
d53bb7d5e3 Bugfix. Weaken too strong derivation and inference rule. 2013-06-18 16:44:42 +09:00
Kei Hibino
7df39bb462 Rename constraint type. (SingleKeyConstraint --> ColumnsConstraint) 2013-06-18 16:25:40 +09:00
Kei Hibino
2104640882 Rename table constraint type names. 2013-06-18 10:07:33 +09:00
Kei Hibino
a51358665f Renamed KeyConstraint --> SingleKeyConstraint. 2013-06-14 00:22:17 +09:00
Kei Hibino
d75ae7bd84 Weaken constraints along with projection path structure update. 2013-06-13 18:54:50 +09:00
Kei Hibino
25fc0b46ad Update projection path structure to prepare representing composite key. 2013-06-13 18:43:57 +09:00
Kei Hibino
57333c1001 Add header document of templates to generate base Query. 2013-06-12 18:13:00 +09:00
Kei Hibino
2c13f6f2f5 Add document for type class methods. 2013-06-12 17:23:14 +09:00
Kei Hibino
f9af8930c7 Add header document of integrated Query module. 2013-06-12 16:45:15 +09:00
Kei Hibino
5f9ed8a387 Add document of typed SQLs derived from type informations. 2013-06-12 16:39:08 +09:00
Kei Hibino
8289ff2394 Add document of Query type. 2013-06-12 16:11:37 +09:00
Kei Hibino
b9da1347d0 Add document about Relation type. 2013-06-12 15:55:56 +09:00
Kei Hibino
1e679312ba Update css. 2013-06-12 15:54:34 +09:00
Kei Hibino
0852793629 Add document of AggregatedQuery. 2013-06-12 13:42:32 +09:00
Kei Hibino
1d7701435a Add document of SimpleQuery. 2013-06-11 20:54:29 +09:00
Kei Hibino
a4bfeffd3c Add document of QueryCore monad. 2013-06-11 20:42:46 +09:00
Kei Hibino
1a574fb09f Add document of QueryJoin monad transformer. 2013-06-11 20:34:53 +09:00
Kei Hibino
085e03102c Add black background css. 2013-06-11 20:20:11 +09:00
Kei Hibino
3d0cb86930 Now, QueryJoin is exposed monad transformer. 2013-06-11 20:19:28 +09:00
Kei Hibino
eeaae4fa34 Add document of ordering query monad transformer. 2013-06-11 20:10:35 +09:00
Kei Hibino
bf41e1cdf1 Divide Context module Context and OrderingContext. 2013-06-11 18:08:25 +09:00
Kei Hibino
c532e7389f Add document of Join and Ordering monad transformer context. 2013-06-11 17:45:19 +09:00
Kei Hibino
21a16cff18 Add document abount aggregating monad transformer. 2013-06-11 17:21:46 +09:00
Kei Hibino
0189592ae5 Update Monad definitions to use GeneralizedNewtypeDeriving. 2013-06-11 16:35:48 +09:00
Kei Hibino
491fd9394c Add document of aggregating context monad transformer. 2013-06-11 14:32:21 +09:00
Kei Hibino
f06060cbb3 Add document of query building interfaces. 2013-06-11 14:05:02 +09:00
Kei Hibino
b396dce1b0 Update document of class methods. 2013-06-11 11:19:49 +09:00
Kei Hibino
a88e044869 Add AggregateProjectable interface. 2013-06-10 20:36:31 +09:00
Kei Hibino
85b4f603d3 Add document of class method. 2013-06-10 20:10:54 +09:00
Kei Hibino
441bf8f81c Update document of projection operators around flatten Maybes. 2013-06-10 19:54:39 +09:00
Kei Hibino
c0ef5e6efd Update document. 2013-06-10 10:28:00 +09:00
Kei Hibino
607bdbbbd8 Update document of projection operators which need GHC extensions. 2013-06-09 22:27:13 +09:00