114 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kei Hibino	866f188bb2	Renamed.	2013-05-13 18:00:10 +09:00
Kei Hibino	bbe66c8dc3	Add a module which generates SQL strings to use sql-words.	2013-05-13 16:56:14 +09:00
Kei Hibino	d4dbc03545	Add readme file for sample1.	2013-05-13 15:32:26 +09:00
Kei Hibino	82b4b4ca35	Add a sample executable.	2013-05-13 15:16:00 +09:00
Kei Hibino	1d99255dc5	Add flatten function to flatten nested Maybe.	2013-05-13 14:54:40 +09:00
Kei Hibino	382fd7469f	Add functions which derives queries from key constraints.	2013-05-12 10:16:03 +09:00
Kei Hibino	82d0703cfa	Rename functions to derive constraint keys.	2013-05-11 14:56:05 +09:00
Kei Hibino	87395e5981	Formatting.	2013-05-11 14:49:52 +09:00
Kei Hibino	6223573b72	Update for PrimeRelation.	2013-05-11 11:51:15 +09:00
Kei Hibino	71558e4918	Add experimental Update and Insert type.	2013-05-11 03:30:36 +09:00
Kei Hibino	2816a2fd5e	Fix haddock markup.	2013-05-11 03:29:57 +09:00
Kei Hibino	17cfd474b4	Fix values list for update statement.	2013-05-11 03:20:28 +09:00
Kei Hibino	c803dc97b8	Add fetch function.	2013-05-11 02:32:06 +09:00
Kei Hibino	38b67662eb	Update code for test.	2013-05-11 02:31:43 +09:00
Kei Hibino	4499e2ece7	Update TH functions for constraints.	2013-05-10 16:02:45 +09:00
Kei Hibino	b150377709	Update export list of TH functions.	2013-05-10 15:46:30 +09:00
Kei Hibino	6d2204fb3c	Add Constraint.Key proof object which can derive ... both KeyConstraint and projection path.	2013-05-10 11:42:15 +09:00
Kei Hibino	2ddffc5853	Rename type class method.	2013-05-10 10:54:00 +09:00
Kei Hibino	faf91d14f5	Update with integrated Database.Record module and divide module about ... Singleton wraped type like DB-record.	2013-05-10 01:06:38 +09:00
Kei Hibino	44479d6330	Divide module about Sigleton wrap type.	2013-05-10 00:33:24 +09:00
Kei Hibino	f90a7ff36f	Update API of ToSql module and export list.	2013-05-10 00:05:00 +09:00
Kei Hibino	f1d5334d61	Update to use integrated Database.Record module.	2013-05-09 22:40:40 +09:00
Kei Hibino	9033e47df4	Add integrated Record module.	2013-05-09 18:42:20 +09:00
Kei Hibino	dce3d7fd2a	Cleaning up TH symbol imports.	2013-05-09 17:46:12 +09:00
Kei Hibino	791833b03a	Cleaning up instance imports.	2013-05-09 17:42:12 +09:00
Kei Hibino	80b45bd1bf	Treat unit type as zero-width record and defines Extended relation ... type which requires parameter type.	2013-05-09 17:32:24 +09:00
Kei Hibino	f94c71eb29	Add width inference for Maybe.	2013-05-09 16:07:06 +09:00
Kei Hibino	23f2b8ee8e	Remove TH functions which provides old table info.	2013-05-09 14:05:46 +09:00
Kei Hibino	fae08c434f	Add word count target.	2013-05-09 14:04:15 +09:00
Kei Hibino	f91b794a3d	Update to use Relation.	2013-05-09 12:39:27 +09:00
Kei Hibino	c11310fc59	ORDER BY support.	2013-05-09 12:36:22 +09:00
Kei Hibino	7824af3a78	Move default definitions of column selector.	2013-05-08 17:42:14 +09:00
Kei Hibino	0ea4d7edb9	Add TH functions to define column selectors.	2013-05-08 17:37:43 +09:00
Kei Hibino	1644fee89a	Specify associativity for column selector (!, !?) lower than Pi path ... constructor (:*).	2013-05-08 17:15:45 +09:00
Kei Hibino	7d5946562c	Re-define Pis for fst and snd using PersistableWidth.	2013-05-08 17:13:00 +09:00
Kei Hibino	3dfc8bb4ee	Remove unused old definitions.	2013-05-08 17:02:41 +09:00
Kei Hibino	fc203a06fa	Update to use Table type definitions from schema drivers.	2013-05-08 16:41:14 +09:00
Kei Hibino	b745f31f7b	Add TH functions to define Table type.	2013-05-08 16:37:38 +09:00
Kei Hibino	d6ace60288	Cleaning up export list and remove unused definitions.	2013-05-08 15:06:19 +09:00
Kei Hibino	64381c8142	Add document.	2013-05-08 15:03:05 +09:00
Kei Hibino	d92fc81b1f	Add TH combinator maybeD.	2013-05-08 14:43:38 +09:00
Kei Hibino	f52371e0ad	Move TH functions which is independent of HDBC from HDBC-schema-th into DB-record.	2013-05-08 14:42:57 +09:00
Kei Hibino	a61ec7376d	Move TH functions to construct and to decompose records.	2013-05-08 02:07:11 +09:00
Kei Hibino	a3ee5c2e38	Define PersistableSqlType proof object instead of PersistableNullValue.	2013-05-08 00:49:52 +09:00
Kei Hibino	eab198afc3	Parameterize SQL value type.	2013-05-08 00:47:40 +09:00
Kei Hibino	fa050eaa4c	Update Projectable type class and specify associativity of ... binary operators.	2013-05-07 23:27:28 +09:00
Kei Hibino	292d909af1	Add Setup.hs for sql-words.	2013-05-07 19:59:03 +09:00
Kei Hibino	2efd39d75d	Move TH functions which is independent of HDBC from HDBC-schema-th into DB-record.	2013-05-07 19:48:38 +09:00
Kei Hibino	104ebe4756	Use common TH functions in names-th.	2013-05-07 19:18:30 +09:00
Kei Hibino	14f3af698a	Add compileErrorIO TH function.	2013-05-07 19:00:03 +09:00