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
389 Commits 34 Branches 295 Tags 6.7 MiB
d5dd5949de
Commit Graph

389 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Kei Hibino
e539eacf13 Update document of projection operators. 2013-06-09 22:24:54 +09:00
Kei Hibino
505ff3e24c Extend SqlProjectable type class into multi-columns. Support multi-columns placeholder. 2013-06-08 12:00:00 +09:00
Kei Hibino
e8add5f809 Add derivedWidth function which preserve record type. 2013-06-08 11:14:28 +09:00
Kei Hibino
e7bf643252 Add document of operators for projections. 2013-06-07 19:16:42 +09:00
Kei Hibino
e63e33bfd5 Update operator definitions and document. 
Add document of uni-operators and compare binary operators.
Add compare operators.
 2013-06-07 18:08:34 +09:00
Kei Hibino
996e0a2d1b Comment unused definitions out. 2013-06-07 17:05:15 +09:00
Kei Hibino
ee96be74a3 Update document of join product module. 2013-06-07 00:54:49 +09:00
Kei Hibino
385d803127 Merged. 2013-06-06 21:55:19 +09:00
Kei Hibino
533399b7e8 Add document about relation and subquery. 2013-06-06 21:54:57 +09:00
Kei Hibino
788003de0d Add document of projection interfaces. 2013-06-06 21:53:19 +09:00
Kei Hibino
a4bdc6204c Add document of join product structure. 2013-06-06 21:27:05 +09:00
Kei Hibino
d007a43025 Add module header of Relation module. 2013-06-06 14:42:57 +09:00