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