Commit Graph

215 Commits

Author SHA1 Message Date
Oliver Charles
484a236905 Have users define ToExprs HKD 2021-04-16 10:10:55 +01:00
Ollie Charles
1459c775f7 Revert all the stuff that doesn't need to change 2021-04-15 17:23:43 +01:00
Ollie Charles
dcc9d4985e Missing Recontextualise instance 2021-04-15 17:19:36 +01:00
Ollie Charles
20ab54f0b6 Ok, maybe this is right 2021-04-15 17:11:44 +01:00
Oliver Charles
2bf5c7b457 This almost works 2021-04-15 16:02:27 +01:00
Oliver Charles
2f469ce52e FlipHKD 2021-04-15 15:06:57 +01:00
Oliver Charles
8d8745462f WIP 2021-04-15 14:48:17 +01:00
Ollie Charles
d4ef6fda2e WIP 2021-04-15 12:18:48 +01:00
Ollie Charles
82e16d52b0 Switch to higgledy 2021-04-15 10:51:32 +01:00
Oliver Charles
7515d31c31 Sketch of HKD-lifting of Generic types 2021-04-14 21:22:58 +01:00
Shane O'Brien
ba684c0585
Export Array1D 2021-04-14 20:15:47 +01:00
Shane O'Brien
b0e605305a
Add array1DAggExpr 2021-04-14 19:50:11 +01:00
Ollie Charles
e52dd759b9 Exports to allow users to define Table themselves 2021-04-14 13:11:52 +01:00
Shane O'Brien
2283f03bd2
Restore HTable superclass to Rel8able 2021-04-14 08:11:15 +01:00
Shane O'Brien
11a22291ab
Simplify Column type family
Now that the Field type family only needs a Necessity and a Type, we don't need to "parse" the Type to find the Necessity, we can instead just make it so that Column creates a Required field, and repurpose the name Default to be a type family that creates an Optional field.

The previous "parsing" approach was brittle sometimes, particularly in the case of polymorphism.
2021-04-14 07:25:39 +01:00
Shane O'Brien
5e4df5096c
Complete overhaul of Rel8.Schema.Generic 2021-04-13 21:35:37 +01:00
Shane O'Brien
09e449bc48
Fix typo in createView 2021-04-13 21:23:09 +01:00
Ollie Charles
ef91171265 Document LEFT JOINs 2021-04-11 12:48:46 +01:00
Ollie Charles
895e5fdc76 Document inner joins 2021-04-11 12:41:55 +01:00
Ollie Charles
820236873b Document how to filter queries 2021-04-11 12:35:54 +01:00
Ollie Charles
55fef874e3 Document 'Limit and offset' 2021-04-11 12:28:00 +01:00
Ollie Charles
e1ea5970a9 Finish documenting the DBType hierarchy 2021-04-10 14:11:15 +01:00
Ollie Charles
9ef8fd8194 Upgrade Haskell.nix and remove data-serializer workaround 2021-04-10 13:46:32 +01:00
Ollie Charles
71aac66504
Update build.yaml 2021-04-08 13:01:16 +01:00
Shane O'Brien
197c38b4d8
Remove commented out code 2021-04-08 12:58:37 +01:00
Shane O'Brien
4e90af3265
Slightly less constraint fuckery is needed now that we don't use Opaque 2021-04-08 11:53:47 +01:00
Shane O'Brien
f1e287ea9f
Rename all the null things 2021-04-07 22:35:40 +01:00
Shane O'Brien
593e21b2df
Remove Opaque constraint synonyms 2021-04-07 21:39:03 +01:00
Shane O'Brien
84845f0484
GHC 9 support 2021-04-07 14:58:33 +01:00
Ollie Charles
444bf051c4 Have ReadShow describe what it's trying to read 2021-04-07 11:02:49 +01:00
Ollie Charles
926e5d4bf5
CAST all outputs of SELECT and RETURNING (#35) 2021-04-06 14:59:18 +01:00
Ollie Charles
1bcb2804d9
Try building shell.nix 2021-04-06 14:10:31 +01:00
Ollie Charles
11e75b55df Require hasql ^>= 1.4.5.1
This allows TypeInformation to be coerced
2021-04-06 09:28:51 +01:00
Ollie Charles
04a7dde0bc Bump sphinx 2021-04-05 16:41:21 +01:00
Oliver Charles
a6235ee7ec Track another TODO 2021-04-04 20:32:14 +01:00
Oliver Charles
6289f0dab4 More todos 2021-04-04 20:30:33 +01:00
Oliver Charles
fb4e1a544e Start documenting Query 2021-04-04 20:03:24 +01:00
Oliver Charles
ac9332c1a0 Pin docutils to 0.16
See https://github.com/readthedocs/sphinx_rtd_theme/issues/1111
2021-04-04 11:24:35 +01:00
Ollie Charles
6a3913b2b6 Trying to sort out the nav bar 2021-04-03 17:00:58 +01:00
Ollie Charles
fe6fdf410a Split concepts into separate files 2021-04-03 16:54:33 +01:00
Ollie Charles
81b78ea471 More concepts 2021-04-03 16:28:18 +01:00
Ollie Charles
b693fba350 Use a flatter hierarchy 2021-04-03 15:43:05 +01:00
Ollie Charles
a683d3cecd Squeeze in mapTypeInformation 2021-04-03 15:42:16 +01:00
Ollie Charles
e6b7de25cb Document JSONEncoded 2021-04-03 15:40:34 +01:00
Ollie Charles
37a8567311 Starting work on "Concepts" documentation 2021-04-03 15:30:43 +01:00
Oliver Charles
3a54a58658 More docs 2021-04-02 21:43:42 +01:00
Oliver Charles
6e001f88f2 Lots more docs 2021-04-02 21:27:30 +01:00
Ollie Charles
1ab51d8992
FIx running tests on CI 2021-04-02 19:20:54 +01:00
Ollie Charles
9216dbd13d Remove doctest for now
Now that we're on Read the Docs, I think that will be a better home for
these examples. That, and nothing actually passes at the moment.
2021-04-02 19:20:10 +01:00
Ollie Charles
0857ffbb2b Remove out from TypeInformation
Fixes #22
2021-04-02 19:08:00 +01:00