on dev help sign in
fix docs
f08c960Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Expression.hs+21−21
@@ -1427,7 +1427,7 @@ class Aggregate expr1 expr2 aggr
1427 --
1427 --
1428 -- >>> :{
1428 -- >>> :{
1429 -- let
1429 -- let
1430− -- expression :: Expression outer ('Grouped bys) commons schemas params from ('NotNull 'PGint8)
1430+ -- expression :: Expression '[] ('Grouped bys) commons schemas params from ('NotNull 'PGint8)
1431 -- expression = countStar
1431 -- expression = countStar
1432 -- in printSQL expression
1432 -- in printSQL expression
1433 -- :}
1433 -- :}
@@ -1436,7 +1436,7 @@ class Aggregate expr1 expr2 aggr
1436
1436
1437 -- | >>> :{
1437 -- | >>> :{
1438 -- let
1438 -- let
1439− -- expression :: Expression outer ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity ty]] ('NotNull 'PGint8)
1439+ -- expression :: Expression '[] ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity ty]] ('NotNull 'PGint8)
1440 -- expression = count (All #col)
1440 -- expression = count (All #col)
1441 -- in printSQL expression
1441 -- in printSQL expression
1442 -- :}
1442 -- :}
@@ -1448,7 +1448,7 @@ class Aggregate expr1 expr2 aggr
1448
1448
1449 -- | >>> :{
1449 -- | >>> :{
1450 -- let
1450 -- let
1451− -- expression :: Expression outer ('Grouped bys) commons schemas params '[tab ::: '["col" ::: 'Null 'PGnumeric]] ('Null 'PGnumeric)
1451+ -- expression :: Expression '[] ('Grouped bys) commons schemas params '[tab ::: '["col" ::: 'Null 'PGnumeric]] ('Null 'PGnumeric)
1452 -- expression = sum_ (Distinct #col)
1452 -- expression = sum_ (Distinct #col)
1453 -- in printSQL expression
1453 -- in printSQL expression
1454 -- :}
1454 -- :}
@@ -1475,7 +1475,7 @@ class Aggregate expr1 expr2 aggr
1475
1475
1476 -- | >>> :{
1476 -- | >>> :{
1477 -- let
1477 -- let
1478− -- expression :: Expression outer ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGint4]] (nullity 'PGint4)
1478+ -- expression :: Expression '[] ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGint4]] (nullity 'PGint4)
1479 -- expression = bitAnd (Distinct #col)
1479 -- expression = bitAnd (Distinct #col)
1480 -- in printSQL expression
1480 -- in printSQL expression
1481 -- :}
1481 -- :}
@@ -1488,7 +1488,7 @@ class Aggregate expr1 expr2 aggr
1488
1488
1489 -- | >>> :{
1489 -- | >>> :{
1490 -- let
1490 -- let
1491− -- expression :: Expression outer ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGint4]] (nullity 'PGint4)
1491+ -- expression :: Expression '[] ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGint4]] (nullity 'PGint4)
1492 -- expression = bitOr (All #col)
1492 -- expression = bitOr (All #col)
1493 -- in printSQL expression
1493 -- in printSQL expression
1494 -- :}
1494 -- :}
@@ -1501,7 +1501,7 @@ class Aggregate expr1 expr2 aggr
1501
1501
1502 -- | >>> :{
1502 -- | >>> :{
1503 -- let
1503 -- let
1504− -- winFun :: WindowFunction 'Ungrouped commons schemas params '[tab ::: '["col" ::: nullity 'PGbool]] (nullity 'PGbool)
1504+ -- winFun :: WindowFunction '[] 'Ungrouped commons schemas params '[tab ::: '["col" ::: nullity 'PGbool]] (nullity 'PGbool)
1505 -- winFun = boolAnd #col
1505 -- winFun = boolAnd #col
1506 -- in printSQL winFun
1506 -- in printSQL winFun
1507 -- :}
1507 -- :}
@@ -1513,7 +1513,7 @@ class Aggregate expr1 expr2 aggr
1513
1513
1514 -- | >>> :{
1514 -- | >>> :{
1515 -- let
1515 -- let
1516− -- expression :: Expression outer ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGbool]] (nullity 'PGbool)
1516+ -- expression :: Expression '[] ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGbool]] (nullity 'PGbool)
1517 -- expression = boolOr (All #col)
1517 -- expression = boolOr (All #col)
1518 -- in printSQL expression
1518 -- in printSQL expression
1519 -- :}
1519 -- :}
@@ -1527,7 +1527,7 @@ class Aggregate expr1 expr2 aggr
1527 --
1527 --
1528 -- >>> :{
1528 -- >>> :{
1529 -- let
1529 -- let
1530− -- expression :: Expression outer ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGbool]] (nullity 'PGbool)
1530+ -- expression :: Expression '[] ('Grouped bys) commons schemas params '[tab ::: '["col" ::: nullity 'PGbool]] (nullity 'PGbool)
1531 -- expression = every (Distinct #col)
1531 -- expression = every (Distinct #col)
1532 -- in printSQL expression
1532 -- in printSQL expression
1533 -- :}
1533 -- :}
@@ -1548,7 +1548,7 @@ class Aggregate expr1 expr2 aggr
1548 :: expr1 (nullity ty)
1548 :: expr1 (nullity ty)
1549 -- ^ what to minimize
1549 -- ^ what to minimize
1550 -> aggr (nullity ty)
1550 -> aggr (nullity ty)
1551−
1551+
1552 -- | average aggregation
1552 -- | average aggregation
1553 avg
1553 avg
1554 :: expr1 (nullity ty)
1554 :: expr1 (nullity ty)
@@ -1558,7 +1558,7 @@ class Aggregate expr1 expr2 aggr
1558 {- | correlation coefficient
1558 {- | correlation coefficient
1559 >>> :{
1559 >>> :{
1560 let
1560 let
1561− expression :: Expression o ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1561+ expression :: Expression '[] ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1562 expression = corr (All (#y :*: #x))
1562 expression = corr (All (#y :*: #x))
1563 in printSQL expression
1563 in printSQL expression
1564 :}
1564 :}
@@ -1571,7 +1571,7 @@ class Aggregate expr1 expr2 aggr
1571 {- | population covariance
1571 {- | population covariance
1572 >>> :{
1572 >>> :{
1573 let
1573 let
1574− expression :: Expression o ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1574+ expression :: Expression '[] ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1575 expression = covarPop (All (#y :*: #x))
1575 expression = covarPop (All (#y :*: #x))
1576 in printSQL expression
1576 in printSQL expression
1577 :}
1577 :}
@@ -1584,7 +1584,7 @@ class Aggregate expr1 expr2 aggr
1584 {- | sample covariance
1584 {- | sample covariance
1585 >>> :{
1585 >>> :{
1586 let
1586 let
1587− winFun :: WindowFunction 'Ungrouped c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1587+ winFun :: WindowFunction '[] 'Ungrouped c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1588 winFun = covarSamp (#y :*: #x)
1588 winFun = covarSamp (#y :*: #x)
1589 in printSQL winFun
1589 in printSQL winFun
1590 :}
1590 :}
@@ -1597,7 +1597,7 @@ class Aggregate expr1 expr2 aggr
1597 {- | average of the independent variable (sum(X)/N)
1597 {- | average of the independent variable (sum(X)/N)
1598 >>> :{
1598 >>> :{
1599 let
1599 let
1600− expression :: Expression o ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1600+ expression :: Expression '[] ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1601 expression = regrAvgX (All (#y :*: #x))
1601 expression = regrAvgX (All (#y :*: #x))
1602 in printSQL expression
1602 in printSQL expression
1603 :}
1603 :}
@@ -1610,7 +1610,7 @@ class Aggregate expr1 expr2 aggr
1610 {- | average of the dependent variable (sum(Y)/N)
1610 {- | average of the dependent variable (sum(Y)/N)
1611 >>> :{
1611 >>> :{
1612 let
1612 let
1613− winFun :: WindowFunction 'Ungrouped c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1613+ winFun :: WindowFunction '[] 'Ungrouped c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1614 winFun = regrAvgY (#y :*: #x)
1614 winFun = regrAvgY (#y :*: #x)
1615 in printSQL winFun
1615 in printSQL winFun
1616 :}
1616 :}
@@ -1623,7 +1623,7 @@ class Aggregate expr1 expr2 aggr
1623 {- | number of input rows in which both expressions are nonnull
1623 {- | number of input rows in which both expressions are nonnull
1624 >>> :{
1624 >>> :{
1625 let
1625 let
1626− winFun :: WindowFunction 'Ungrouped c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGint8)
1626+ winFun :: WindowFunction '[] 'Ungrouped c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGint8)
1627 winFun = regrCount (#y :*: #x)
1627 winFun = regrCount (#y :*: #x)
1628 in printSQL winFun
1628 in printSQL winFun
1629 :}
1629 :}
@@ -1636,7 +1636,7 @@ class Aggregate expr1 expr2 aggr
1636 {- | y-intercept of the least-squares-fit linear equation determined by the (X, Y) pairs
1636 {- | y-intercept of the least-squares-fit linear equation determined by the (X, Y) pairs
1637 >>> :{
1637 >>> :{
1638 let
1638 let
1639− expression :: Expression o ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1639+ expression :: Expression '[] ('Grouped g) c s p '[t ::: '["x" ::: 'NotNull 'PGfloat8, "y" ::: 'NotNull 'PGfloat8]] ('NotNull 'PGfloat8)
1640 expression = regrIntercept (All (#y :*: #x))
1640 expression = regrIntercept (All (#y :*: #x))
1641 in printSQL expression
1641 in printSQL expression
1642 :}
1642 :}
@@ -1674,27 +1674,27 @@ class Aggregate expr1 expr2 aggr
1674 regrSyy
1674 regrSyy
1675 :: expr2 (nullity 'PGfloat8)
1675 :: expr2 (nullity 'PGfloat8)
1676 -> aggr (nullity 'PGfloat8)
1676 -> aggr (nullity 'PGfloat8)
1677−
1677+
1678 -- | historical alias for `stddevSamp`
1678 -- | historical alias for `stddevSamp`
1679 stddev
1679 stddev
1680 :: expr1 (nullity ty)
1680 :: expr1 (nullity ty)
1681 -> aggr (nullity (PGAvg ty))
1681 -> aggr (nullity (PGAvg ty))
1682−
1682+
1683 -- | population standard deviation of the input values
1683 -- | population standard deviation of the input values
1684 stddevPop
1684 stddevPop
1685 :: expr1 (nullity ty)
1685 :: expr1 (nullity ty)
1686 -> aggr (nullity (PGAvg ty))
1686 -> aggr (nullity (PGAvg ty))
1687−
1687+
1688 -- | sample standard deviation of the input values
1688 -- | sample standard deviation of the input values
1689 stddevSamp
1689 stddevSamp
1690 :: expr1 (nullity ty)
1690 :: expr1 (nullity ty)
1691 -> aggr (nullity (PGAvg ty))
1691 -> aggr (nullity (PGAvg ty))
1692−
1692+
1693 -- | historical alias for `varSamp`
1693 -- | historical alias for `varSamp`
1694 variance
1694 variance
1695 :: expr1 (nullity ty)
1695 :: expr1 (nullity ty)
1696 -> aggr (nullity (PGAvg ty))
1696 -> aggr (nullity (PGAvg ty))
1697−
1697+
1698 -- | population variance of the input values
1698 -- | population variance of the input values
1699 -- (square of the population standard deviation)
1699 -- (square of the population standard deviation)
1700 varPop
1700 varPop
squeal-postgresql/src/Squeal/PostgreSQL/Manipulation.hs+2−1
@@ -173,9 +173,10 @@ type Schema3 =
173let
173let
174 manipulation :: Manipulation '[] (Public Schema3) '[] '[]
174 manipulation :: Manipulation '[] (Public Schema3) '[] '[]
175 manipulation =
175 manipulation =
176− deleteFrom_ #tab (Using (table #other_tab & also (table #third_tab)))
176+ deleteFrom #tab (Using (table #other_tab & also (table #third_tab)))
177 ( (#tab ! #col2 .== #other_tab ! #col2)
177 ( (#tab ! #col2 .== #other_tab ! #col2)
178 .&& (#tab ! #col2 .== #third_tab ! #col2) )
178 .&& (#tab ! #col2 .== #third_tab ! #col2) )
179+ (Returning_ Nil)
179in printSQL manipulation
180in printSQL manipulation
180:}
181:}
181DELETE FROM "tab" USING "other_tab" AS "other_tab", "third_tab" AS "third_tab" WHERE (("tab"."col2" = "other_tab"."col2") AND ("tab"."col2" = "third_tab"."col2"))
182DELETE FROM "tab" USING "other_tab" AS "other_tab", "third_tab" AS "third_tab" WHERE (("tab"."col2" = "other_tab"."col2") AND ("tab"."col2" = "third_tab"."col2"))
squeal-postgresql/src/Squeal/PostgreSQL/Query.hs+41−41
@@ -143,7 +143,7 @@ simple query:
143>>> type Schema = '["tab" ::: 'Table ('[] :=> Columns)]
143>>> type Schema = '["tab" ::: 'Table ('[] :=> Columns)]
144>>> :{
144>>> :{
145let
145let
146− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
146+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
147 query = select Star (from (table #tab))
147 query = select Star (from (table #tab))
148in printSQL query
148in printSQL query
149:}
149:}
@@ -153,7 +153,7 @@ restricted query:
153
153
154>>> :{
154>>> :{
155let
155let
156− query :: Query '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4]
156+ query :: Query '[] '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4]
157 query =
157 query =
158 select_ ((#col1 + #col2) `as` #sum :* #col1)
158 select_ ((#col1 + #col2) `as` #sum :* #col1)
159 ( from (table #tab)
159 ( from (table #tab)
@@ -167,7 +167,7 @@ subquery:
167
167
168>>> :{
168>>> :{
169let
169let
170− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
170+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
171 query = select Star (from (subquery (select Star (from (table #tab)) `as` #sub)))
171 query = select Star (from (subquery (select Star (from (table #tab)) `as` #sub)))
172in printSQL query
172in printSQL query
173:}
173:}
@@ -177,7 +177,7 @@ limits and offsets:
177
177
178>>> :{
178>>> :{
179let
179let
180− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
180+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
181 query = select Star (from (table #tab) & limit 100 & offset 2 & limit 50 & offset 2)
181 query = select Star (from (table #tab) & limit 100 & offset 2 & limit 50 & offset 2)
182in printSQL query
182in printSQL query
183:}
183:}
@@ -187,7 +187,7 @@ parameterized query:
187
187
188>>> :{
188>>> :{
189let
189let
190− query :: Query '[] (Public Schema) '[ 'NotNull 'PGint4] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
190+ query :: Query '[] '[] (Public Schema) '[ 'NotNull 'PGint4] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
191 query = select Star (from (table #tab) & where_ (#col1 .> param @1))
191 query = select Star (from (table #tab) & where_ (#col1 .> param @1))
192in printSQL query
192in printSQL query
193:}
193:}
@@ -197,7 +197,7 @@ aggregation query:
197
197
198>>> :{
198>>> :{
199let
199let
200− query :: Query '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4 ]
200+ query :: Query '[] '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4 ]
201 query =
201 query =
202 select_ (sum_ (All #col2) `as` #sum :* #col1)
202 select_ (sum_ (All #col2) `as` #sum :* #col1)
203 ( from (table (#tab `as` #table1))
203 ( from (table (#tab `as` #table1))
@@ -211,7 +211,7 @@ sorted query:
211
211
212>>> :{
212>>> :{
213let
213let
214− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
214+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
215 query = select Star (from (table #tab) & orderBy [#col1 & Asc])
215 query = select Star (from (table #tab) & orderBy [#col1 & Asc])
216in printSQL query
216in printSQL query
217:}
217:}
@@ -248,7 +248,7 @@ type OrdersSchema =
248
248
249>>> :{
249>>> :{
250let
250let
251− query :: Query '[] (Public OrdersSchema)
251+ query :: Query '[] '[] (Public OrdersSchema)
252 '[]
252 '[]
253 '[ "order_price" ::: 'NotNull 'PGfloat4
253 '[ "order_price" ::: 'NotNull 'PGfloat4
254 , "customer_name" ::: 'NotNull 'PGtext
254 , "customer_name" ::: 'NotNull 'PGtext
@@ -271,7 +271,7 @@ self-join:
271
271
272>>> :{
272>>> :{
273let
273let
274− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
274+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
275 query = select (#t1 & DotStar) (from (table (#tab `as` #t1) & crossJoin (table (#tab `as` #t2))))
275 query = select (#t1 & DotStar) (from (table (#tab `as` #t1) & crossJoin (table (#tab `as` #t2))))
276in printSQL query
276in printSQL query
277:}
277:}
@@ -281,7 +281,7 @@ value queries:
281
281
282>>> :{
282>>> :{
283let
283let
284− query :: Query outer commons schemas '[] '["foo" ::: 'NotNull 'PGint2, "bar" ::: 'NotNull 'PGbool]
284+ query :: Query '[] commons schemas '[] '["foo" ::: 'NotNull 'PGint2, "bar" ::: 'NotNull 'PGbool]
285 query = values (1 `as` #foo :* true `as` #bar) [2 `as` #foo :* false `as` #bar]
285 query = values (1 `as` #foo :* true `as` #bar) [2 `as` #foo :* false `as` #bar]
286in printSQL query
286in printSQL query
287:}
287:}
@@ -291,7 +291,7 @@ set operations:
291
291
292>>> :{
292>>> :{
293let
293let
294− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
294+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
295 query = select Star (from (table #tab)) `unionAll` select Star (from (table #tab))
295 query = select Star (from (table #tab)) `unionAll` select Star (from (table #tab))
296in printSQL query
296in printSQL query
297:}
297:}
@@ -301,7 +301,7 @@ with queries:
301
301
302>>> :{
302>>> :{
303let
303let
304− query :: Query '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
304+ query :: Query '[] '[] (Public Schema) '[] '["col1" ::: 'NotNull 'PGint4, "col2" ::: 'NotNull 'PGint4]
305 query = with (
305 query = with (
306 select Star (from (table #tab)) `as` #cte1 :>>
306 select Star (from (table #tab)) `as` #cte1 :>>
307 select Star (from (common #cte1)) `as` #cte2
307 select Star (from (common #cte1)) `as` #cte2
@@ -314,7 +314,7 @@ window function queries
314
314
315>>> :{
315>>> :{
316let
316let
317− query :: Query '[] (Public Schema) '[] ["col1" ::: 'NotNull 'PGint4, "rank" ::: 'NotNull 'PGint8]
317+ query :: Query '[] '[] (Public Schema) '[] ["col1" ::: 'NotNull 'PGint4, "rank" ::: 'NotNull 'PGint8]
318 query = select
318 query = select
319 (#col1 & Also (rank `as` #rank `Over` (partitionBy #col1 & orderBy [#col2 & Asc])))
319 (#col1 & Also (rank `as` #rank `Over` (partitionBy #col1 & orderBy [#col2 & Asc])))
320 (from (table #tab))
320 (from (table #tab))
@@ -1061,7 +1061,7 @@ instance RenderSQL (HavingClause outer grp commons schemas params from) where
1061unsafeSubqueryExpression
1061unsafeSubqueryExpression
1062 :: ByteString
1062 :: ByteString
1063 -> Expression outer grp commons schemas params from ty
1063 -> Expression outer grp commons schemas params from ty
1064− -> Query from commons schemas params '[alias ::: ty]
1064+ -> Query (Join outer from) commons schemas params '[alias ::: ty]
1065 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1065 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1066unsafeSubqueryExpression op x q = UnsafeExpression $
1066unsafeSubqueryExpression op x q = UnsafeExpression $
1067 renderSQL x <+> op <+> parenthesized (renderSQL q)
1067 renderSQL x <+> op <+> parenthesized (renderSQL q)
@@ -1070,7 +1070,7 @@ unsafeRowSubqueryExpression
1070 :: SListI row
1070 :: SListI row
1071 => ByteString
1071 => ByteString
1072 -> NP (Aliased (Expression outer grp commons schemas params from)) row
1072 -> NP (Aliased (Expression outer grp commons schemas params from)) row
1073− -> Query from commons schemas params row
1073+ -> Query (Join outer from) commons schemas params row
1074 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1074 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1075unsafeRowSubqueryExpression op xs q = UnsafeExpression $
1075unsafeRowSubqueryExpression op xs q = UnsafeExpression $
1076 renderSQL (row xs) <+> op <+> parenthesized (renderSQL q)
1076 renderSQL (row xs) <+> op <+> parenthesized (renderSQL q)
@@ -1085,7 +1085,7 @@ unsafeRowSubqueryExpression op xs q = UnsafeExpression $
1085-- TRUE IN (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1085-- TRUE IN (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1086in_
1086in_
1087 :: Expression outer grp commons schemas params from ty -- ^ expression
1087 :: Expression outer grp commons schemas params from ty -- ^ expression
1088− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1088+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1089 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1089 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1090in_ = unsafeSubqueryExpression "IN"
1090in_ = unsafeSubqueryExpression "IN"
1091
1091
@@ -1106,7 +1106,7 @@ ROW(1, FALSE) IN (SELECT * FROM (VALUES (1, FALSE)) AS t ("foo", "bar"))
1106rowIn
1106rowIn
1107 :: SListI row
1107 :: SListI row
1108 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1108 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1109− -> Query from commons schemas params row -- ^ subquery
1109+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1110 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1110 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1111rowIn = unsafeRowSubqueryExpression "IN"
1111rowIn = unsafeRowSubqueryExpression "IN"
1112
1112
@@ -1114,7 +1114,7 @@ rowIn = unsafeRowSubqueryExpression "IN"
1114-- TRUE = ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1114-- TRUE = ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1115eqAll
1115eqAll
1116 :: Expression outer grp commons schemas params from ty -- ^ expression
1116 :: Expression outer grp commons schemas params from ty -- ^ expression
1117− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1117+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1118 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1118 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1119eqAll = unsafeSubqueryExpression "= ALL"
1119eqAll = unsafeSubqueryExpression "= ALL"
1120
1120
@@ -1124,7 +1124,7 @@ eqAll = unsafeSubqueryExpression "= ALL"
1124rowEqAll
1124rowEqAll
1125 :: SListI row
1125 :: SListI row
1126 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1126 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1127− -> Query from commons schemas params row -- ^ subquery
1127+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1128 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1128 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1129rowEqAll = unsafeRowSubqueryExpression "= ALL"
1129rowEqAll = unsafeRowSubqueryExpression "= ALL"
1130
1130
@@ -1132,7 +1132,7 @@ rowEqAll = unsafeRowSubqueryExpression "= ALL"
1132-- TRUE = ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1132-- TRUE = ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1133eqAny
1133eqAny
1134 :: Expression outer grp commons schemas params from ty -- ^ expression
1134 :: Expression outer grp commons schemas params from ty -- ^ expression
1135− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1135+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1136 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1136 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1137eqAny = unsafeSubqueryExpression "= ANY"
1137eqAny = unsafeSubqueryExpression "= ANY"
1138
1138
@@ -1142,7 +1142,7 @@ eqAny = unsafeSubqueryExpression "= ANY"
1142rowEqAny
1142rowEqAny
1143 :: SListI row
1143 :: SListI row
1144 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1144 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1145− -> Query from commons schemas params row -- ^ subquery
1145+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1146 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1146 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1147rowEqAny = unsafeRowSubqueryExpression "= ANY"
1147rowEqAny = unsafeRowSubqueryExpression "= ANY"
1148
1148
@@ -1150,7 +1150,7 @@ rowEqAny = unsafeRowSubqueryExpression "= ANY"
1150-- TRUE <> ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1150-- TRUE <> ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1151neqAll
1151neqAll
1152 :: Expression outer grp commons schemas params from ty -- ^ expression
1152 :: Expression outer grp commons schemas params from ty -- ^ expression
1153− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1153+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1154 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1154 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1155neqAll = unsafeSubqueryExpression "<> ALL"
1155neqAll = unsafeSubqueryExpression "<> ALL"
1156
1156
@@ -1160,7 +1160,7 @@ neqAll = unsafeSubqueryExpression "<> ALL"
1160rowNeqAll
1160rowNeqAll
1161 :: SListI row
1161 :: SListI row
1162 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1162 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1163− -> Query from commons schemas params row -- ^ subquery
1163+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1164 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1164 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1165rowNeqAll = unsafeRowSubqueryExpression "<> ALL"
1165rowNeqAll = unsafeRowSubqueryExpression "<> ALL"
1166
1166
@@ -1168,7 +1168,7 @@ rowNeqAll = unsafeRowSubqueryExpression "<> ALL"
1168-- TRUE <> ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1168-- TRUE <> ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1169neqAny
1169neqAny
1170 :: Expression outer grp commons schemas params from ty -- ^ expression
1170 :: Expression outer grp commons schemas params from ty -- ^ expression
1171− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1171+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1172 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1172 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1173neqAny = unsafeSubqueryExpression "<> ANY"
1173neqAny = unsafeSubqueryExpression "<> ANY"
1174
1174
@@ -1178,7 +1178,7 @@ neqAny = unsafeSubqueryExpression "<> ANY"
1178rowNeqAny
1178rowNeqAny
1179 :: SListI row
1179 :: SListI row
1180 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1180 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1181− -> Query from commons schemas params row -- ^ subquery
1181+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1182 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1182 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1183rowNeqAny = unsafeRowSubqueryExpression "<> ANY"
1183rowNeqAny = unsafeRowSubqueryExpression "<> ANY"
1184
1184
@@ -1186,7 +1186,7 @@ rowNeqAny = unsafeRowSubqueryExpression "<> ANY"
1186-- TRUE ALL < (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1186-- TRUE ALL < (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1187allLt
1187allLt
1188 :: Expression outer grp commons schemas params from ty -- ^ expression
1188 :: Expression outer grp commons schemas params from ty -- ^ expression
1189− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1189+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1190 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1190 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1191allLt = unsafeSubqueryExpression "ALL <"
1191allLt = unsafeSubqueryExpression "ALL <"
1192
1192
@@ -1196,7 +1196,7 @@ allLt = unsafeSubqueryExpression "ALL <"
1196rowLtAll
1196rowLtAll
1197 :: SListI row
1197 :: SListI row
1198 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1198 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1199− -> Query from commons schemas params row -- ^ subquery
1199+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1200 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1200 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1201rowLtAll = unsafeRowSubqueryExpression "ALL <"
1201rowLtAll = unsafeRowSubqueryExpression "ALL <"
1202
1202
@@ -1204,7 +1204,7 @@ rowLtAll = unsafeRowSubqueryExpression "ALL <"
1204-- TRUE ANY < (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1204-- TRUE ANY < (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1205ltAny
1205ltAny
1206 :: Expression outer grp commons schemas params from ty -- ^ expression
1206 :: Expression outer grp commons schemas params from ty -- ^ expression
1207− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1207+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1208 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1208 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1209ltAny = unsafeSubqueryExpression "ANY <"
1209ltAny = unsafeSubqueryExpression "ANY <"
1210
1210
@@ -1214,7 +1214,7 @@ ltAny = unsafeSubqueryExpression "ANY <"
1214rowLtAny
1214rowLtAny
1215 :: SListI row
1215 :: SListI row
1216 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1216 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1217− -> Query from commons schemas params row -- ^ subquery
1217+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1218 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1218 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1219rowLtAny = unsafeRowSubqueryExpression "ANY <"
1219rowLtAny = unsafeRowSubqueryExpression "ANY <"
1220
1220
@@ -1222,7 +1222,7 @@ rowLtAny = unsafeRowSubqueryExpression "ANY <"
1222-- TRUE <= ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1222-- TRUE <= ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1223lteAll
1223lteAll
1224 :: Expression outer grp commons schemas params from ty -- ^ expression
1224 :: Expression outer grp commons schemas params from ty -- ^ expression
1225− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1225+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1226 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1226 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1227lteAll = unsafeSubqueryExpression "<= ALL"
1227lteAll = unsafeSubqueryExpression "<= ALL"
1228
1228
@@ -1232,7 +1232,7 @@ lteAll = unsafeSubqueryExpression "<= ALL"
1232rowLteAll
1232rowLteAll
1233 :: SListI row
1233 :: SListI row
1234 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1234 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1235− -> Query from commons schemas params row -- ^ subquery
1235+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1236 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1236 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1237rowLteAll = unsafeRowSubqueryExpression "<= ALL"
1237rowLteAll = unsafeRowSubqueryExpression "<= ALL"
1238
1238
@@ -1240,7 +1240,7 @@ rowLteAll = unsafeRowSubqueryExpression "<= ALL"
1240-- TRUE <= ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1240-- TRUE <= ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1241lteAny
1241lteAny
1242 :: Expression outer grp commons schemas params from ty -- ^ expression
1242 :: Expression outer grp commons schemas params from ty -- ^ expression
1243− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1243+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1244 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1244 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1245lteAny = unsafeSubqueryExpression "<= ANY"
1245lteAny = unsafeSubqueryExpression "<= ANY"
1246
1246
@@ -1250,7 +1250,7 @@ lteAny = unsafeSubqueryExpression "<= ANY"
1250rowLteAny
1250rowLteAny
1251 :: SListI row
1251 :: SListI row
1252 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1252 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1253− -> Query from commons schemas params row -- ^ subquery
1253+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1254 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1254 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1255rowLteAny = unsafeRowSubqueryExpression "<= ANY"
1255rowLteAny = unsafeRowSubqueryExpression "<= ANY"
1256
1256
@@ -1258,7 +1258,7 @@ rowLteAny = unsafeRowSubqueryExpression "<= ANY"
1258-- TRUE > ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1258-- TRUE > ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1259gtAll
1259gtAll
1260 :: Expression outer grp commons schemas params from ty -- ^ expression
1260 :: Expression outer grp commons schemas params from ty -- ^ expression
1261− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1261+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1262 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1262 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1263gtAll = unsafeSubqueryExpression "> ALL"
1263gtAll = unsafeSubqueryExpression "> ALL"
1264
1264
@@ -1268,7 +1268,7 @@ gtAll = unsafeSubqueryExpression "> ALL"
1268rowGtAll
1268rowGtAll
1269 :: SListI row
1269 :: SListI row
1270 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1270 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1271− -> Query from commons schemas params row -- ^ subquery
1271+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1272 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1272 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1273rowGtAll = unsafeRowSubqueryExpression "> ALL"
1273rowGtAll = unsafeRowSubqueryExpression "> ALL"
1274
1274
@@ -1276,7 +1276,7 @@ rowGtAll = unsafeRowSubqueryExpression "> ALL"
1276-- TRUE > ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1276-- TRUE > ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1277gtAny
1277gtAny
1278 :: Expression outer grp commons schemas params from ty -- ^ expression
1278 :: Expression outer grp commons schemas params from ty -- ^ expression
1279− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1279+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1280 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1280 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1281gtAny = unsafeSubqueryExpression "> ANY"
1281gtAny = unsafeSubqueryExpression "> ANY"
1282
1282
@@ -1286,7 +1286,7 @@ gtAny = unsafeSubqueryExpression "> ANY"
1286rowGtAny
1286rowGtAny
1287 :: SListI row
1287 :: SListI row
1288 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1288 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1289− -> Query from commons schemas params row -- ^ subquery
1289+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1290 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1290 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1291rowGtAny = unsafeRowSubqueryExpression "> ANY"
1291rowGtAny = unsafeRowSubqueryExpression "> ANY"
1292
1292
@@ -1294,7 +1294,7 @@ rowGtAny = unsafeRowSubqueryExpression "> ANY"
1294-- TRUE >= ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1294-- TRUE >= ALL (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1295gteAll
1295gteAll
1296 :: Expression outer grp commons schemas params from ty -- ^ expression
1296 :: Expression outer grp commons schemas params from ty -- ^ expression
1297− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1297+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1298 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1298 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1299gteAll = unsafeSubqueryExpression ">= ALL"
1299gteAll = unsafeSubqueryExpression ">= ALL"
1300
1300
@@ -1304,7 +1304,7 @@ gteAll = unsafeSubqueryExpression ">= ALL"
1304rowGteAll
1304rowGteAll
1305 :: SListI row
1305 :: SListI row
1306 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1306 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1307− -> Query from commons schemas params row -- ^ subquery
1307+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1308 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1308 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1309rowGteAll = unsafeRowSubqueryExpression ">= ALL"
1309rowGteAll = unsafeRowSubqueryExpression ">= ALL"
1310
1310
@@ -1312,7 +1312,7 @@ rowGteAll = unsafeRowSubqueryExpression ">= ALL"
1312-- TRUE >= ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1312-- TRUE >= ANY (SELECT * FROM (VALUES (TRUE)) AS t ("foo"))
1313gteAny
1313gteAny
1314 :: Expression outer grp commons schemas params from ty -- ^ expression
1314 :: Expression outer grp commons schemas params from ty -- ^ expression
1315− -> Query from commons schemas params '[alias ::: ty] -- ^ subquery
1315+ -> Query (Join outer from) commons schemas params '[alias ::: ty] -- ^ subquery
1316 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1316 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1317gteAny = unsafeSubqueryExpression ">= ANY"
1317gteAny = unsafeSubqueryExpression ">= ANY"
1318
1318
@@ -1322,7 +1322,7 @@ gteAny = unsafeSubqueryExpression ">= ANY"
1322rowGteAny
1322rowGteAny
1323 :: SListI row
1323 :: SListI row
1324 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1324 => NP (Aliased (Expression outer grp commons schemas params from)) row -- ^ row constructor
1325− -> Query from commons schemas params row -- ^ subquery
1325+ -> Query (Join outer from) commons schemas params row -- ^ subquery
1326 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1326 -> Expression outer grp commons schemas params from (nullity 'PGbool)
1327rowGteAny = unsafeRowSubqueryExpression ">= ANY"
1327rowGteAny = unsafeRowSubqueryExpression ">= ANY"
1328
1328