Commit Graph

277 Commits

Author SHA1 Message Date
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
cc6dd6db63 Update haddock. 2013-05-30 21:09:05 +09:00
Kei Hibino
fac7135953 Expand type signatures for haddock. 2013-05-30 21:03:14 +09:00
Kei Hibino
5b255fddfb Update haddock. 2013-05-30 20:56:58 +09:00
Kei Hibino
7a941eaeb6 Update haddock. 2013-05-30 20:37:44 +09:00
Kei Hibino
e9b4f894c4 Renamed. 2013-05-30 19:12:27 +09:00
Kei Hibino
4338e2dfaa Update haddock. 2013-05-30 19:02:56 +09:00
Kei Hibino
3ed94f5482 Update package description. 2013-05-30 18:45:14 +09:00
Kei Hibino
a98bfa3c43 Update haddock and package description. 2013-05-30 18:42:49 +09:00
Kei Hibino
2f26180790 Update haddock. 2013-05-30 18:40:26 +09:00
Kei Hibino
e00d1946f6 Update haddock. 2013-05-30 18:35:14 +09:00
Kei Hibino
e3ec99922b Update haddock. 2013-05-30 18:00:07 +09:00
Kei Hibino
9bf6ff10af Update names-th description. 2013-05-30 17:59:45 +09:00
Kei Hibino
76f11987b3 Add check target. 2013-05-30 17:13:56 +09:00
Kei Hibino
9c83fa0567 Update examples along with new binary operators.. 2013-05-30 17:13:45 +09:00
Kei Hibino
853e5c3048 Change project binary operators and add operator from Maybe into Maybe. 2013-05-30 17:13:05 +09:00
Kei Hibino
61eb273c28 Connect qualify monad for nested query monad case. 2013-05-30 16:08:37 +09:00
Kei Hibino
2f60660345 Update example. 2013-05-30 10:35:59 +09:00
Kei Hibino
11b1a7f6c9 Add functions to show 'SqlError' type not to show 'String' fields. 2013-05-30 10:19:26 +09:00
Kei Hibino
9ab641aea2 Pass '-Wall' switch to GHC. 2013-05-30 00:44:40 +09:00
Kei Hibino
8711e61d5b Update example. 2013-05-28 01:23:10 +09:00
Kei Hibino
80f4edcbdd Simplify. 2013-05-28 01:23:00 +09:00
Kei Hibino
8b1c93ec24 Update debianization. 2013-05-27 22:39:32 +09:00
Kei Hibino
24c7bb2edf Update example. (direct join syntax) 2013-05-27 22:32:51 +09:00
Kei Hibino
62c47abe81 Add restriction specifier for direct join operators. 2013-05-27 22:16:21 +09:00
Kei Hibino
cd639c1884 Expor type constructors. 2013-05-27 21:08:23 +09:00
Kei Hibino
c018917a34 Implement instance for aggregation ordering terms. 2013-05-27 21:07:24 +09:00
Kei Hibino
1684d1efd9 Update example. 2013-05-27 20:02:45 +09:00
Kei Hibino
727151ee9d Change boolean result operators type.
For nullable comparison result and tri-state bool cases.
2013-05-27 20:01:36 +09:00
Kei Hibino
359b513279 Integrate aggregated query into relation. Update examples!! 2013-05-27 18:56:16 +09:00
Kei Hibino
a61c5e7e0a Add aggregate implementations. 2013-05-27 18:21:36 +09:00
Kei Hibino
caaa4b48d2 Add interfaces for aggregation building. 2013-05-27 18:17:17 +09:00
Kei Hibino
2769a6cd3f Add Aggregation type distinguished from Projection type.
Add projection type (Aggregation) for aggregation
which is distinguished from not aggregated projection type (Projection).
2013-05-27 18:07:40 +09:00
Kei Hibino
5daf8a5f11 Add keywords for aggregations. 2013-05-27 17:56:22 +09:00
Kei Hibino
3eee1ad991 Pass '-Wall' to compiler. 2013-05-27 17:12:55 +09:00
Kei Hibino
ce5218af72 Fixed along with disabling unsafeMergeAnotherQuery. 2013-05-26 13:11:14 +09:00
Kei Hibino
d5a9b9ed58 Disable unsafeMergeAnotherQuery. 2013-05-26 03:33:40 +09:00
Kei Hibino
d955047186 Update example. 2013-05-26 03:22:26 +09:00
Kei Hibino
e38323c92e Use poly unsafeSubQuery methods. 2013-05-26 02:53:40 +09:00
Kei Hibino
9e53e35697 Unsafe subquery method. Unsafe instance of Orderings. 2013-05-26 01:47:03 +09:00
Kei Hibino
30ee276d3b Restrict method type signature to weaken unsafe method power. 2013-05-26 01:04:35 +09:00
Kei Hibino
cbffe9c1f2 Remove unused import. 2013-05-26 01:01:16 +09:00
Kei Hibino
7a4c44e8a3 Add comments. 2013-05-26 00:46:05 +09:00
Kei Hibino
a167aa3137 Renamed. 2013-05-25 17:20:35 +09:00