586 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kei Hibino	9fb5a74317	Remove redundant definition.	2013-08-29 21:51:57 +09:00
Kei Hibino	e5e5d246d0	Remove old unused definitions.	2013-08-29 21:36:22 +09:00
Kei Hibino	b987c95055	Add shared join product type.	2013-08-28 17:19:51 +09:00
Kei Hibino	43bd7e2c49	Remove redundant paren.	2013-08-28 11:12:50 +09:00
Kei Hibino	0b4fbe9561	Simplify data structure of Projection type.	2013-08-28 10:59:17 +09:00
Kei Hibino	1d3d14a376	Use newtype.	2013-08-28 09:46:09 +09:00
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