Commit Graph

346 Commits

Author SHA1 Message Date
Shane O'Brien
61ac6c73bf
Don't cast in tableFields 2021-04-01 17:40:32 +01:00
Shane O'Brien
5e1c9652da
Rename Rel8.Aggregate.{Context -> Legacy} but remove deprecated warning 2021-04-01 15:44:50 +01:00
Shane O'Brien
619f81f4d3
Add aggregateTabulation 2021-04-01 15:33:33 +01:00
Shane O'Brien
25c763807c
Add Rel8.Aggregate.Context for backwards compatibility 2021-04-01 15:13:11 +01:00
Ollie Charles
2a89918f17 Export Field and Necessity 2021-04-01 10:28:10 +01:00
Shane O'Brien
ca7aaefee8
Switch to CalendarDiffTime 2021-03-30 12:35:40 +01:00
Shane O'Brien
2ff1c5f0d4
Fix warnings 2021-03-30 11:52:01 +01:00
Shane O'Brien
b135026b54
We don't need the Identity instance for Taggable, dropping it simplifies things 2021-03-30 11:35:13 +01:00
Shane O'Brien
e3bde04eba
Introduce more principled way to aggregate and name {Either,Maybe,These}Tables 2021-03-30 00:49:45 +01:00
Ollie Charles
e4b4b6306c Change Rel8.Expr.Time back to NominalDiffTime 2021-03-29 18:01:42 +01:00
Ollie Charles
912ec09823 Fix min/max 2021-03-29 15:23:13 +01:00
Ollie Charles
410af8385b Fix table for tables with schemas 2021-03-29 12:47:44 +01:00
Shane O'Brien
5b5d29f89c
Add countRows 2021-03-29 12:33:10 +01:00
Shane O'Brien
bde3d54aac
Fix bitraverse{Either,These}Table to not need Table constraint 2021-03-29 12:32:55 +01:00
Shane O'Brien
6531b0240e
Right is not left 2021-03-26 21:30:43 +00:00
Shane O'Brien
20ddd8340d
Add listTable and nonEmptyTable functions 2021-03-26 20:45:02 +00:00
Shane O'Brien
24f0521920
Fill in missing EqTable and OrdTable instances 2021-03-26 20:37:25 +00:00
Ollie Charles
8127f14ae9 Start work breaking down EqTable and OrdTable
This allows instance resolution like

  (EqTable a, EqTable b) => EqTable (a, b)

which would previously have failed.
2021-03-26 15:54:22 +00:00
Ollie Charles
0f3d1571d8 exceptAll requires EqTable 2021-03-26 13:59:31 +00:00
Ollie Charles
7a46e8ef1a Correct encoder for DiffTime 2021-03-26 13:58:54 +00:00
Ollie Charles
b85d5e4758 intersectAll requires EqTable 2021-03-26 13:58:54 +00:00
Shane O'Brien
0aea7b781f
Export DBIntegral 2021-03-26 13:24:14 +00:00
Shane O'Brien
3931f335ac
Export createView 2021-03-26 03:01:50 +00:00
Shane O'Brien
6cc3d1fdee
Expose Rel8.Expr.Num 2021-03-26 02:25:47 +00:00
Shane O'Brien
a335b79e77
Oops 2021-03-25 22:02:41 +00:00
Shane O'Brien
a363b05a33
Expose Rel8.Tabulate 2021-03-25 21:57:26 +00:00
Shane O'Brien
bc15d254c0
Export Aggregates 2021-03-25 20:56:04 +00:00
Shane O'Brien
d0b51ef093
Remove Rel8.Query.Optimize 2021-03-25 19:37:44 +00:00
Ollie Charles
11bcbbbdd1 Export listAggExpr and nonEmptyAggExpr 2021-03-25 16:02:48 +00:00
Shane O'Brien
742f683a67
Rename runAggregation and add distributeAggregate 2021-03-25 15:51:45 +00:00
Ollie Charles
cc0705f166 Export namesFromLabelsWith 2021-03-25 11:21:29 +00:00
Ollie Charles
8bdfd0b34c Upgrade countDistinct to work on any Sql DBEq a 2021-03-25 10:56:28 +00:00
Shane O'Brien
0b34a1425e
Clean up Serializable and introduce litTable
Also teach Sql to be smart enough to know that if you have a `DBType a`, then you can always make an `Sql DBType a` from that. This, along with the `lit`/`Serializable` fixes, lets us remove a lot of nonsense constraints from the test suite.
2021-03-25 05:03:58 +00:00
Shane O'Brien
c220b0011a
Tidy up IsMaybe ~ 'False with NotNull constraint synonym (fixes #23) 2021-03-25 02:21:33 +00:00
Shane O'Brien
53616d0a40
Simplify Spec to just labels, necessity and type 2021-03-25 01:36:45 +00:00
Shane O'Brien
dec207461d
Fix documentation in Rel8.Expr.Time 2021-03-24 23:30:47 +00:00
Oliver Charles
63caeabc59 Export sumWhere 2021-03-24 21:52:10 +00:00
Oliver Charles
4fdee5350c Export runAggregation 2021-03-24 21:52:04 +00:00
Oliver Charles
ac4c11af83 Export ($?) 2021-03-24 21:51:58 +00:00
Oliver Charles
16299c5b96 Add week and weeks to Rel8.Expr.Time 2021-03-24 21:51:45 +00:00
Shane O'Brien
98fd6f4934
Semigroupoids instances for Query 😈 2021-03-24 21:01:31 +00:00
Oliver Charles
f5f9256cf0 Export null 2021-03-24 20:17:02 +00:00
Shane O'Brien
bbfa1a32ed Allow Insert (rather than Insertion) to be used as a Context 2021-03-24 18:39:38 +00:00
Ollie Charles
a90cc0f40a Flip the arguments of in_
This now matches the SQL syntax (x IN (a, b, c))
2021-03-24 18:05:05 +00:00
Ollie Charles
eba6b2e0c5 Export binaryOperator 2021-03-24 18:05:00 +00:00
Ollie Charles
9ac34c5e3e Export Insertion 2021-03-24 18:04:53 +00:00
Ollie Charles
c385668244 Export coalesce 2021-03-24 18:04:44 +00:00
Ollie Charles
293706dedd Add the worker instance for ComposeConstraint 2021-03-24 16:44:01 +00:00
Ollie Charles
794989a27e Export liftOpNullable 2021-03-24 16:34:29 +00:00
Ollie Charles
1be93dacfb Export unsafeCastExpr 2021-03-24 16:23:02 +00:00