Commit Graph

630 Commits

Author SHA1 Message Date
Kei Hibino
eef1aa6bdc Extend MonadRestrict and reduce Aggregatings. 2013-08-27 22:02:40 +09:00
Kei Hibino
f01b1833ef Extend types around restrict monad. 2013-08-27 21:04:48 +09:00
Kei Hibino
0795ed428a Apply ColumnSQL wrap type. 2013-08-27 18:42:22 +09:00
Kei Hibino
164338b189 Update Table type using ColumnSQL type. 2013-08-27 17:53:53 +09:00
Kei Hibino
04338a5af0 Move definitions around ColumnSQL type. 2013-08-27 17:07:42 +09:00
Kei Hibino
412e66aefc Renamed definition. 2013-08-27 16:56:35 +09:00
Kei Hibino
f99233634b Definition renamed. 2013-08-27 16:30:43 +09:00
Kei Hibino
111317c3ed Renamed SQL column type. 2013-08-27 16:22:12 +09:00
Kei Hibino
ae91f3e804 Prepare to change wrapped type. 2013-08-27 15:59:17 +09:00
Kei Hibino
0fb3a53b0c UniTermSQL type begins. 2013-08-27 01:00:39 +09:00
Kei Hibino
e7e8163f79 Coordinate around new shared types. 2013-08-27 00:35:59 +09:00
Kei Hibino
b04c40cacb Coordinate around new definitions. 2013-08-26 23:51:53 +09:00
Kei Hibino
de058f3b13 Add shared types for ordering state. 2013-08-26 23:32:19 +09:00
Kei Hibino
666471d71d Add shared types for aggregation state. 2013-08-26 22:40:39 +09:00
Kei Hibino
e5731b0666 Add shared query restriction type. 2013-08-26 15:46:23 +09:00
Kei Hibino
159682167a Reduce dependency to type internal structure. 2013-08-26 14:45:04 +09:00
Kei Hibino
511a3d9eda Remove redundant definition. 2013-08-26 14:28:36 +09:00
Kei Hibino
e3cabb9e71 Prepare to remove redundant definition. 2013-08-26 14:25:34 +09:00
Kei Hibino
5079f2bbc0 Move concrete product definitions. 2013-08-26 13:19:14 +09:00
Kei Hibino
5c41bf2fb7 Remove old definitions. 2013-08-25 18:01:13 +09:00
Kei Hibino
e34b8bdaeb Update export list. 2013-08-25 17:48:23 +09:00
Kei Hibino
e824191503 Update along with operators. 2013-08-25 17:28:31 +09:00
Kei Hibino
1f9c355bee Remove old definition. 2013-08-25 17:12:57 +09:00
Kei Hibino
6d74825d61 Update along with maybe binary operator rule. 2013-08-25 17:07:27 +09:00
Kei Hibino
8ce08bbd2f Deprecate old operators. 2013-08-25 17:02:32 +09:00
Kei Hibino
6885e3bb1a Apply query context tag types. 2013-08-25 16:15:21 +09:00
Kei Hibino
3dc3098378 Query context tag type begins. 2013-08-25 11:50:08 +09:00
Kei Hibino
c9cd7ab2d7 Moved untyped projection definitions. 2013-08-25 10:34:16 +09:00
Kei Hibino
1d47683219 Wrap untyped-projection to move. 2013-08-25 10:11:41 +09:00
Kei Hibino
07b807c7f5 Rename to longer names to prepare to move. 2013-08-25 08:23:39 +09:00
Kei Hibino
c90ca6e61a Add untyped projection. 2013-08-25 00:10:14 +09:00
Kei Hibino
847e208561 Added tag no-untyped-projection-201308 for changeset e5fd17e98ca8 2013-08-25 00:09:00 +09:00
Kei Hibino
2c2dd00c0a Update haddocks. 2013-08-24 23:32:26 +09:00
Kei Hibino
69b3183a52 Add cabal target for example4 executable. 2013-08-23 16:16:27 +09:00
Kei Hibino
68b9b63513 Update example along with library. 2013-08-23 16:10:20 +09:00
Kei Hibino
16acbcf3ef Weaken too strong constraint. 2013-08-23 16:09:51 +09:00
Kei Hibino
3929ce8d9c Update example4. 2013-08-23 16:09:20 +09:00
Kei Hibino
fef6ae1fc3 Use same code piece to concatinate state update functions. 2013-08-22 19:08:24 +09:00
Kei Hibino
d935760fb8 Remove unused definitions. 2013-08-22 18:58:30 +09:00
Kei Hibino
1fdd33ed61 Update example. 2013-08-22 18:54:25 +09:00
Kei Hibino
0f12d49034 Fix around inconsistent Update specs. 2013-08-22 18:35:09 +09:00
Kei Hibino
851343c0c4 Upgrade typed update building using Target monad. Update many symbols and export list. 2013-08-22 18:08:25 +09:00
Kei Hibino
38b4b2590b Add restricted context type using table projection. 2013-08-22 17:38:06 +09:00
Kei Hibino
016c6bd2f9 Add assigning monads to accumulate update statement assignments. 2013-08-22 17:31:59 +09:00
Kei Hibino
bbbf287c61 Update haddock. 2013-08-21 15:21:52 +09:00
Kei Hibino
8d8c5ae853 Update haddock. 2013-08-21 12:34:23 +09:00
Kei Hibino
9beef6c3da Add typed key update sequence. 2013-08-18 04:25:29 +09:00
Kei Hibino
e33e38097c Update export list. 2013-08-18 04:06:01 +09:00
Kei Hibino
e369e8e659 Update haddock. 2013-08-18 03:57:30 +09:00
Kei Hibino
c794792c4e Add key object to typed KeyUpdate. 2013-08-18 03:53:52 +09:00