@@ -143,7 +143,7 @@ simple query:
143>>> type Schema = '["tab" ::: 'Table ('[] :=> Columns)]
143>>> type Schema = '["tab" ::: 'Table ('[] :=> Columns)]
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
@@ -153,7 +153,7 @@ restricted query:
156− query :: Query '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4]
156+ query :: Query '[] '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4]
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:
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
@@ -177,7 +177,7 @@ limits and offsets:
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
@@ -187,7 +187,7 @@ parameterized query:
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
@@ -197,7 +197,7 @@ aggregation query:
200− query :: Query '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4 ]
200+ query :: Query '[] '[] (Public Schema) '[] '["sum" ::: 'NotNull 'PGint4, "col1" ::: 'NotNull 'PGint4 ]
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:
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
@@ -248,7 +248,7 @@ type OrdersSchema =
251− query :: Query '[] (Public OrdersSchema)
251+ query :: Query '[] '[] (Public OrdersSchema)
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:
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
@@ -281,7 +281,7 @@ value queries:
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
@@ -291,7 +291,7 @@ set operations:
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
@@ -301,7 +301,7 @@ with queries:
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
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"))
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"
@@ -1106,7 +1106,7 @@ ROW(1, FALSE) IN (SELECT * FROM (VALUES (1, FALSE)) AS t ("foo", "bar"))
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"
@@ -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"))
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"
@@ -1124,7 +1124,7 @@ eqAll = unsafeSubqueryExpression "= ALL"
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"
@@ -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"))
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"
@@ -1142,7 +1142,7 @@ eqAny = unsafeSubqueryExpression "= ANY"
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"
@@ -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"))
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"
@@ -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"
@@ -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"))
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"
@@ -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"
@@ -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"))
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 <"
@@ -1196,7 +1196,7 @@ allLt = unsafeSubqueryExpression "ALL <"
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 <"
@@ -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"))
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 <"
@@ -1214,7 +1214,7 @@ ltAny = unsafeSubqueryExpression "ANY <"
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 <"
@@ -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"))
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"
@@ -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"
@@ -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"))
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"
@@ -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"
@@ -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"))
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"
@@ -1268,7 +1268,7 @@ gtAll = unsafeSubqueryExpression "> ALL"
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"
@@ -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"))
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"
@@ -1286,7 +1286,7 @@ gtAny = unsafeSubqueryExpression "> ANY"
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"
@@ -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"))
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"
@@ -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"
@@ -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"))
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"
@@ -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"