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