git.iko.soy/squeal
on dev help sign in
foralls
369e14dEitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Statement.hs+10−9
compare with dev
unifiedsplit
@@ -958,7 +958,7 @@ select list tabs = UnsafeQuery $
958 <+> renderTableExpression tabs
958 <+> renderTableExpression tabs
959
959
960selectStar
960selectStar
961− :: (tables ~ '[table ::: columns])
961+ :: tables ~ '[table ::: columns]
962 => TableExpression params schema tables 'Ungrouped
962 => TableExpression params schema tables 'Ungrouped
963 -> Query schema params columns
963 -> Query schema params columns
964selectStar tabs = UnsafeQuery $ "SELECT" <+> "*" <+> renderTableExpression tabs
964selectStar tabs = UnsafeQuery $ "SELECT" <+> "*" <+> renderTableExpression tabs
@@ -1235,7 +1235,8 @@ data ReturningClause
1235 where
1235 where
1236 ReturningStar :: ReturningClause params columns columns
1236 ReturningStar :: ReturningClause params columns columns
1237 Returning
1237 Returning
1238+ :: NP
1238− :: NP (Aliased (Expression params '[table ::: columns] 'Ungrouped))
1239+ (Aliased (Expression params '[table ::: columns] 'Ungrouped))
1239 results
1240 results
1240 -> ReturningClause params columns results
1241 -> ReturningClause params columns results
1241
1242
@@ -1253,8 +1254,8 @@ data ConflictClause params columns where
1253 Conflict :: ConflictClause params columns
1254 Conflict :: ConflictClause params columns
1254 OnConflictDoNothing :: ConflictClause params columns
1255 OnConflictDoNothing :: ConflictClause params columns
1255 OnConflictDoUpdate
1256 OnConflictDoUpdate
1256− :: NP (Aliased (UpdateExpression params '[table ::: columns])) columns
1257+ :: NP (Aliased (UpdateExpression params columns)) columns
1257− -> Condition params '[table ::: columns] 'Ungrouped
1258+ -> (forall table. Condition params '[table ::: columns] 'Ungrouped)
1258 -> ConflictClause params columns
1259 -> ConflictClause params columns
1259
1260
1260renderConflictClause
1261renderConflictClause
@@ -1273,12 +1274,12 @@ renderConflictClause = \case
1273UPDATE statements
1274UPDATE statements
1274-----------------------------------------}
1275-----------------------------------------}
1275
1276
1276−data UpdateExpression params table ty
1277+data UpdateExpression params columns ty
1277 = Same
1278 = Same
1278− | Set (Expression params table 'Ungrouped ty)
1279+ | Set (forall table. Expression params '[table ::: columns] 'Ungrouped ty)
1279
1280
1280renderUpdateExpression
1281renderUpdateExpression
1281− :: Aliased (UpdateExpression params '[table ::: columns]) column
1282+ :: Aliased (UpdateExpression params columns) column
1282 -> Maybe ByteString
1283 -> Maybe ByteString
1283renderUpdateExpression = \case
1284renderUpdateExpression = \case
1284 Same `As` _ -> Nothing
1285 Same `As` _ -> Nothing
@@ -1288,8 +1289,8 @@ renderUpdateExpression = \case
1288update
1289update
1289 :: (HasTable table schema columns, SListI columns, SListI results)
1290 :: (HasTable table schema columns, SListI columns, SListI results)
1290 => Alias table
1291 => Alias table
1291− -> NP (Aliased (UpdateExpression params '[table ::: columns])) columns
1292+ -> NP (Aliased (UpdateExpression params columns)) columns
1292− -> Condition params '[table ::: columns] 'Ungrouped
1293+ -> (forall tab. Condition params '[tab ::: columns] 'Ungrouped)
1293 -> ReturningClause params columns results
1294 -> ReturningClause params columns results
1294 -> Manipulation schema params results
1295 -> Manipulation schema params results
1295update table columns wh returning = UnsafeManipulation $
1296update table columns wh returning = UnsafeManipulation $