566 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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