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 |
|
Kei Hibino
|
dd36268054
|
Update with renamed module.
|
2013-05-16 20:52:12 +09:00 |
|
Kei Hibino
|
b35f165b7d
|
Update description and debianizations.
|
2013-05-16 17:38:34 +09:00 |
|
Kei Hibino
|
5e2c8d9927
|
Update default not null instances list.
|
2013-05-16 14:46:54 +09:00 |
|
Kei Hibino
|
96d14cbbaf
|
Add TH function to specify NotNull constraint for singleton values.
|
2013-05-15 16:29:17 +09:00 |
|
Kei Hibino
|
b3113aab98
|
Basic PersistableWidth instances.
|
2013-05-15 10:48:30 +09:00 |
|
Kei Hibino
|
0d600604f3
|
Add TH functions which defines Persistable instances from defined record type.
|
2013-05-14 23:47:24 +09:00 |
|
Kei Hibino
|
8107f5191d
|
Divide TH functions which depends on SQL value type of not.
|
2013-05-14 20:10:26 +09:00 |
|
Kei Hibino
|
4481905e95
|
Update to use 'toVarExp'.
|
2013-05-14 16:03:11 +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
|
b150377709
|
Update export list of TH functions.
|
2013-05-10 15:46:30 +09:00 |
|
Kei Hibino
|
2ddffc5853
|
Rename type class method.
|
2013-05-10 10:54:00 +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
|
9033e47df4
|
Add integrated Record module.
|
2013-05-09 18:42:20 +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 |
|