khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-14 22:32:07 +03:00
Code Issues Projects Releases Wiki Activity
470 Commits 34 Branches 295 Tags 6.7 MiB
4fcb52d26b
Commit Graph

80 Commits

Author SHA1 Message Date
Kei Hibino
e685f6488a Add Maybe derivation rule of ToSql type. 2013-07-29 15:46:00 +09:00
Kei Hibino
21e2e202f6 Move template of PersistableWidth. 2013-06-26 18:54:18 +09:00
Kei Hibino
5973d9b44e Export update value indexes logic. 2013-06-20 12:02:25 +09:00
Kei Hibino
65f828cb84 Update TH function for primary composite key constraint. 2013-06-20 00:21:59 +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
2c13f6f2f5 Add document for type class methods. 2013-06-12 17:23:14 +09:00
Kei Hibino
e8add5f809 Add derivedWidth function which preserve record type. 2013-06-08 11:14:28 +09:00
Kei Hibino
08e2ee135c Update document of function arguments. 2013-06-03 14:07:02 +09:00
Kei Hibino
cbc34dbc23 Update TH functions document in DB-record. 2013-06-03 01:43:08 +09:00
Kei Hibino
2dde3d0606 Rename unsafe functions. 2013-06-03 01:06:19 +09:00
Kei Hibino
6a999edd6a Rename unsafe functions. 2013-06-03 00:47:10 +09:00
Kei Hibino
21ddc0aa94 Update document of unsafe functions. 2013-06-03 00:32:38 +09:00
Kei Hibino
ef99a37876 Update document. Replace word (field -> column). 2013-06-02 17:43:06 +09:00
Kei Hibino
2aa49dbf92 Renamed (field -> column). 2013-06-02 17:34:18 +09:00
Kei Hibino
16e0decc5b Update document for TH functions. 2013-06-02 16:30:46 +09:00
Kei Hibino
af772cf52c Update definition order. 2013-06-02 15:25:27 +09:00
Kei Hibino
343d9720c3 Update document. Add concepts section. 2013-06-02 02:57:44 +09:00
Kei Hibino
41e124c18a Update document for integrated usage. 2013-06-02 02:21:23 +09:00
Kei Hibino
dfa4ef1542 Update docuemnts of proof objects for convertion from SQL type. 2013-06-02 01:08:54 +09:00
Kei Hibino
dabae2ebaf Update document. 2013-06-02 00:31:33 +09:00
Kei Hibino
447509d120 Add outline document for integrated module. 2013-06-02 00:26:14 +09:00
Kei Hibino
ba9083edb3 Update package description. 2013-06-01 23:58:35 +09:00
Kei Hibino
605fdcb980 Update document about unsafe functions. 2013-06-01 23:35:43 +09:00
Kei Hibino
cfe089b578 Add document for table constraint proof object. 2013-06-01 23:33:32 +09:00
Kei Hibino
9b8464ff74 Update data definition to avoid record update. 2013-06-01 18:34:44 +09:00
Kei Hibino
ad26e145b6 Update documents for single field instances. 2013-06-01 18:29:28 +09:00
Kei Hibino
60ea9f60cc Update document for singleton. 2013-06-01 18:25:26 +09:00
Kei Hibino
c931118f14 Update documents for general single field record. 2013-06-01 18:19:59 +09:00
Kei Hibino
ab18906a5d Update docuemnts of proof objects for convertion into SQL type. 2013-06-01 17:47:23 +09:00
Kei Hibino
9149846f19 Fix spelling of documents. 2013-06-01 17:41:26 +09:00
Kei Hibino
b531fddeb1 Update docuemnts for persistable proof objects. 2013-06-01 17:38:26 +09:00
Kei Hibino
7816d7e4f5 Update docuemnts for conversion info to SQL proof objects. 2013-06-01 08:43:39 +09:00
Kei Hibino
7378b196e4 Update docuemnts for persistable proof objects. 2013-06-01 08:23:48 +09:00
Kei Hibino
67ec5fd655 Update haddock. 2013-05-31 19:46:56 +09:00
Kei Hibino
bd2f15f675 Update haddock. 2013-05-31 19:42:47 +09:00
Kei Hibino
5c75ed2a45 Update haddock. 2013-05-31 19:37:23 +09:00
Kei Hibino
1f6108f51e Update haddock. 2013-05-30 22:04:19 +09:00
Kei Hibino
90bb5d5495 Update haddock, and fix implementation to avoid record field. 2013-05-30 21:26:15 +09:00
Kei Hibino
9ab641aea2 Pass '-Wall' switch to GHC. 2013-05-30 00:44:40 +09:00
Kei Hibino
53e20120b2 Rename function to get maybe record from SQL. 2013-05-18 09:48:27 +09:00