295 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kei Hibino	2aa49dbf92	Renamed (field -> column).	2013-06-02 17:34:18 +09:00
Kei Hibino	16e0decc5b	Update document for TH functions.	2013-06-02 16:30:46 +09:00
Kei Hibino	af772cf52c	Update definition order.	2013-06-02 15:25:27 +09:00
Kei Hibino	343d9720c3	Update document. Add concepts section.	2013-06-02 02:57:44 +09:00
Kei Hibino	41e124c18a	Update document for integrated usage.	2013-06-02 02:21:23 +09:00
Kei Hibino	dfa4ef1542	Update docuemnts of proof objects for convertion from SQL type.	2013-06-02 01:08:54 +09:00
Kei Hibino	dabae2ebaf	Update document.	2013-06-02 00:31:33 +09:00
Kei Hibino	447509d120	Add outline document for integrated module.	2013-06-02 00:26:14 +09:00
Kei Hibino	ba9083edb3	Update package description.	2013-06-01 23:58:35 +09:00
Kei Hibino	605fdcb980	Update document about unsafe functions.	2013-06-01 23:35:43 +09:00
Kei Hibino	cfe089b578	Add document for table constraint proof object.	2013-06-01 23:33:32 +09:00
Kei Hibino	9b8464ff74	Update data definition to avoid record update.	2013-06-01 18:34:44 +09:00
Kei Hibino	ad26e145b6	Update documents for single field instances.	2013-06-01 18:29:28 +09:00
Kei Hibino	60ea9f60cc	Update document for singleton.	2013-06-01 18:25:26 +09:00
Kei Hibino	c931118f14	Update documents for general single field record.	2013-06-01 18:19:59 +09:00
Kei Hibino	ab18906a5d	Update docuemnts of proof objects for convertion into SQL type.	2013-06-01 17:47:23 +09:00
Kei Hibino	9149846f19	Fix spelling of documents.	2013-06-01 17:41:26 +09:00
Kei Hibino	b531fddeb1	Update docuemnts for persistable proof objects.	2013-06-01 17:38:26 +09:00
Kei Hibino	7816d7e4f5	Update docuemnts for conversion info to SQL proof objects.	2013-06-01 08:43:39 +09:00
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