47 Commits

Author	SHA1	Message	Date
Shane	98687b592b	Rename OuterJoin to HMaybe and add HList and HNonEmpty ... I've also updated these to take a `a :: Type` rather than a `t :: (Type -> Type) -> Type`. This is more general and means `HMaybe` can replace both `OuterJoin` and `OuterJoin2` from the old Rel8.	2021-03-05 02:03:17 +00:00
Shane	8fb5051c1d	Stop At leaking into user tables (instead use it only on internal tables) (also rename it to Context)	2021-03-05 01:35:12 +00:00
Oliver Charles	7aeb652e61	GHigherKindedTable work	2021-03-04 21:48:18 +00:00
Ollie Charles	9515a2aebc	Fix tests	2021-03-04 12:00:04 +00:00
Shane	8f7e1da473	Better testMaybeTableApplicative	2021-03-02 20:35:50 +00:00
Shane	0e1bccf1f7	Fix exists	2021-03-02 19:28:43 +00:00
Ollie Charles	7391c34d4c	Some more	2021-03-02 17:58:38 +00:00
Ollie Charles	e444782554	Noodling	2021-02-28 17:54:50 +00:00
Ollie Charles	0570ab5b02	Back to passing tests	2021-02-28 17:45:19 +00:00
Ollie Charles	37107fda14	Test selecting nested pairs	2021-02-28 15:29:18 +00:00
Ollie Charles	c0d3cef499	Everything type checks, everything loops	2021-02-28 14:42:48 +00:00
Oliver Charles	98646ce6a0	Collapse loads into "Rel8.Core" and forget about litTable	2020-10-12 21:32:32 +01:00
Oliver Charles	6393d4f6ec	Slightly correct disabled testTableEquality test	2020-10-11 22:54:11 +01:00
Oliver Charles	868238d650	Drop the need for explicit Expr instances	2020-10-11 22:45:53 +01:00
Oliver Charles	90ce3b8c24	Test delete	2020-06-19 12:55:40 +01:00
Oliver Charles	0ed8ca7a50	Test update	2020-06-19 12:49:09 +01:00
Oliver Charles	ed7d0651a2	Fix tests to fail correctly	2020-06-19 12:47:45 +01:00
Oliver Charles	773ccad679	Add filter	2020-06-19 11:30:41 +01:00
Oliver Charles	2e313ca711	Add fixities for &&. and ||.	2020-06-19 11:24:00 +01:00
Oliver Charles	b4a4f46cf9	Add catMaybe	2020-06-19 11:11:45 +01:00
Oliver Charles	531edde535	Considerably expand FromRow/DBType	2020-06-19 10:59:36 +01:00
Oliver Charles	329a57a3f2	Fix tests	2020-06-18 14:07:38 +01:00
Oliver Charles	89efe3006c	Fix union test	2020-06-15 13:02:17 +01:00
Oliver Charles	47af4fd531	Test <*>	2020-06-15 09:49:39 +01:00
Ollie Charles	520cfcbd0f	Test nested tables	2020-06-14 16:00:00 +01:00
Ollie Charles	4da48a78a5	Implement maybeTable	2020-06-14 15:55:03 +01:00
Ollie Charles	b88beef53a	Test catMaybeTable	2020-06-14 13:25:33 +01:00
Ollie Charles	30c3a2e24f	Add an evalM	2020-06-14 13:06:03 +01:00
Ollie Charles	76d273e76e	Test FromString	2020-06-14 13:05:59 +01:00
Ollie Charles	9fc1161c01	Test table equality	2020-06-14 13:05:48 +01:00
Ollie Charles	a381b168d0	Test Insert	2020-06-14 13:05:34 +01:00
Ollie Charles	8db09918f9	More tests	2020-06-14 12:57:14 +01:00
Ollie Charles	f5bdd9820a	A bunch of DBType tests	2020-06-14 12:47:08 +01:00
Ollie Charles	bc03f05a1b	Test (<*>)	2020-06-14 12:36:31 +01:00
Ollie Charles	d31a8183de	Export and test ifThenElse_	2020-06-14 12:31:12 +01:00
Ollie Charles	ea5d799442	Test NOT	2020-06-14 12:28:51 +01:00
Ollie Charles	3293e9f2a5	Test and fix &&. and ||.	2020-06-14 12:28:46 +01:00
Ollie Charles	c0719caf73	Test corrections	2020-06-14 12:14:24 +01:00
Ollie Charles	cd8903d016	Fix optional	2020-06-14 12:14:20 +01:00
Ollie Charles	f0ed33fc5a	Test simplifications	2020-06-14 11:38:10 +01:00
Oliver Charles	679ea6a63f	Test optional	2020-06-14 11:24:57 +01:00
Oliver Charles	d275610cfa	Test EXISTS	2020-06-13 21:03:09 +01:00
Oliver Charles	4a3f983d0c	Test DISTINCT	2020-06-13 14:26:14 +01:00
Oliver Charles	80d65d700f	Test simplifications	2020-06-13 14:20:04 +01:00
Oliver Charles	136f792e6d	Use evalM	2020-06-13 13:49:49 +01:00
Ollie Charles	2cd4a700cd	WIP	2020-06-13 10:51:02 +01:00
Ollie Charles	45896a88b2	Starting to get a test suite together	2020-06-12 18:03:52 +01:00