20 Commits

Author	SHA1	Message	Date
Kei Hibino	aededbdd37	relational-query-HDBC: add a module for sequence operations.	2017-11-12 00:05:58 +09:00
Kei Hibino	12ee66ccfd	relational-query: add a module for sequence structure.	2017-11-11 23:40:41 +09:00
Kei Hibino	ce782f521c	proto: update haddock.	2017-11-11 14:11:43 +09:00
Kei Hibino	86a6c6f650	proto: renamed. update haddock.	2017-11-10 23:35:21 +09:00
Kei Hibino	9019b73dc9	proto: update haddock.	2017-11-10 23:25:17 +09:00
Kei Hibino	0c8b70776c	proto: avoid conflict of symbols in relational-query.	2017-11-10 23:03:14 +09:00
Kei Hibino	6fbbb716c2	proto: divide imports to prepare to put into relational-query.	2017-11-10 22:30:20 +09:00
Kei Hibino	28b465c82c	proto: drop redundant constraints.	2017-11-09 01:19:58 +09:00
Kei Hibino	15baeeb7dc	proto: rename to simple name.	2017-11-09 00:43:35 +09:00
Kei Hibino	617fb5000f	proto: show warnings.	2017-11-09 00:29:15 +09:00
Kei Hibino	29ead9a46c	proto: revert binding structure to simple function structure.	2017-11-09 00:28:33 +09:00
Kei Hibino	6e52a56533	proto: apply new constraint and new namespace.	2017-11-08 23:45:35 +09:00
Kei Hibino	34cc4ee27a	proto: apply new constraint and new namespace.	2017-11-08 21:56:49 +09:00
Kei Hibino	44aa092e1a	proto: triple with primary key constraint.	2017-04-22 14:50:16 +09:00
Kei Hibino	91fd0abd4b	proto: add requirement of Pi to bind table and sequence.	2017-04-22 14:38:16 +09:00
Kei Hibino	ee0e38a42b	proto: drop pool' and export unsafes.	2017-04-13 19:17:38 +09:00
Kei Hibino	60dde51a52	proto: rename locally.	2017-04-12 21:23:13 +09:00
Kei Hibino	1ae555da3c	proto: flip.	2017-04-11 16:40:15 +09:00
Kei Hibino	0414dfd733	proto: drop redundant qualifiers.	2017-04-10 18:10:37 +09:00
Kei Hibino	e93a326739	add prototype codes of sequence typing.	2017-04-10 17:48:07 +09:00