2477 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Shohei Murayama	922d91c3e2	create repository	2013-05-26 20:56:29 +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