Oliver Charles
242dc79996
Add and export KRel8able
2021-04-16 13:25:52 +01:00
Shane O'Brien
04fdf2732d
Make Rel8able have kind ((X -> Type) -> Type) -> Constraint
...
Previous it was `((Type -> Type) -> Type) -> Constraint`. The problem is this clashes with things like `HKD` from `higgledy`. We can use GADTs and PolyKinds hacks to get around this while mostly retaining the same API. The only major difference is we use `Result` in places where we used `Identity` before.
2021-04-15 17:00:12 +01:00
Shane O'Brien
f6a9c968e4
Fix array1DAggExpr
2021-04-15 13:42:17 +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
Ollie Charles
2a36dbe9eb
Run tests in CI
2021-04-02 19:01:50 +01:00
Ollie Charles
b97cd4efb7
Allow base-4.14
2021-04-02 18:40:29 +01:00
Ollie Charles
7500912785
Switch back to 8.10
2021-04-02 18:34:31 +01:00
Ollie Charles
4d24729bd9
All overrides necessary to get to the rel8 build plan
2021-04-02 18:34:04 +01:00
Ollie Charles
59e34f6275
Add allow-newer: Cabal for entropy
...
Hopefully this works for the custom-setup...
2021-04-02 18:03:18 +01:00
Ollie Charles
2bfea6325a
Add allow-newer: base for cryptohash-md5
2021-04-02 17:58:18 +01:00
Ollie Charles
ad2f41805d
Add allow-newer: base for cryptohash-sha1
2021-04-02 17:52:12 +01:00