Commit Graph

607 Commits

Author SHA1 Message Date
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
Kei Hibino
13dd8bc1c5 Update haddocks. 2013-08-18 03:07:33 +09:00
Kei Hibino
295713719a Functions renamed. 2013-08-18 03:05:23 +09:00
Kei Hibino
10482e4b49 Add haddock. 2013-08-18 03:04:30 +09:00
Kei Hibino
d9c343e5c0 Add functions to derive KeyUpdate. 2013-08-18 02:57:56 +09:00
Kei Hibino
5ec73417cf Update haddock. 2013-08-18 02:45:21 +09:00
Kei Hibino
c0e763da6f Add typed update sequence. 2013-08-18 02:22:35 +09:00
Kei Hibino
51fd06a42a Update haddocks. 2013-08-18 02:13:56 +09:00
Kei Hibino
61a0cbdd3d Remove redundant definitions. 2013-08-18 02:12:07 +09:00
Kei Hibino
e76cf49782 Update haddocks. 2013-08-18 01:27:14 +09:00
Kei Hibino
42ed9382aa Divide Update type into KeyUpdate and Update. 2013-08-16 12:32:40 +09:00
Kei Hibino
acdc0d25f1 Update to chain all Qualify monads. 2013-08-16 00:12:07 +09:00
Kei Hibino
9d5d77dc0e Update examples along with library update. 2013-08-15 23:44:14 +09:00
Kei Hibino
77ed3f9344 Add typed delete running sequence.
--HG--
rename : relational-query-HDBC/src/Database/HDBC/Record/Insert.hs => relational-query-HDBC/src/Database/HDBC/Record/Delete.hs
2013-08-15 23:43:47 +09:00
Kei Hibino
d73324bbd1 Update typed delete type. 2013-08-15 23:41:29 +09:00
Kei Hibino
c3e42ca995 Add typed insert sequence. 2013-08-15 20:41:47 +09:00
Kei Hibino
656b964dfa Revert to fix build. 2013-08-15 19:26:57 +09:00
Kei Hibino
65d938401a Function renamed. 2013-08-15 19:15:41 +09:00
Kei Hibino
7df201aea1 Function renamed. 2013-08-15 19:12:00 +09:00
Kei Hibino
394e2f3a7b Module renamed.
--HG--
rename : relational-join/src/Database/Relational/Query/Monad/Trans/RestrictState.hs => relational-join/src/Database/Relational/Query/Monad/Trans/RestrictingState.hs
2013-08-15 18:59:46 +09:00
Kei Hibino
7dd6aaa6dc Module renamed.
--HG--
rename : relational-join/src/Database/Relational/Query/Monad/Trans/Restrict.hs => relational-join/src/Database/Relational/Query/Monad/Trans/Restricting.hs
2013-08-15 18:31:18 +09:00
Kei Hibino
31030774fb Update haddock along with renamed module. 2013-08-15 18:24:46 +09:00
Kei Hibino
857185d6da Module renamed.
--HG--
rename : relational-join/src/Database/Relational/Query/Monad/Trans/AggregateState.hs => relational-join/src/Database/Relational/Query/Monad/Trans/AggregatingState.hs
2013-08-15 18:23:40 +09:00
Kei Hibino
06265af847 Module renamed.
--HG--
rename : relational-join/src/Database/Relational/Query/Monad/Trans/Aggregate.hs => relational-join/src/Database/Relational/Query/Monad/Trans/Aggregating.hs
2013-08-15 18:20:31 +09:00