@@ -57,7 +57,7 @@ import Squeal.PostgreSQL.Schema
59A `Manipulation` is a statement which may modify data in the database,
59A `Manipulation` is a statement which may modify data in the database,
60−but does not alter the schema. Examples are inserts, updates and deletes.
60+but does not alter its schemas. Examples are inserts, updates and deletes.
61A `Query` is also considered a `Manipulation` even though it does not modify data.
61A `Query` is also considered a `Manipulation` even though it does not modify data.
63simple insert:
63simple insert:
@@ -254,7 +254,7 @@ insertRows tab rw rws conflict returning = UnsafeManipulation $
254 <> renderReturningClause returning
254 <> renderReturningClause returning
256 renderAliasPart, renderColumnValuePart
256 renderAliasPart, renderColumnValuePart
257− :: Aliased (ColumnValue schema '[] params) ty -> ByteString
257+ :: Aliased (ColumnValue db '[] params) ty -> ByteString
258 renderAliasPart (_ `As` name) = renderAlias name
258 renderAliasPart (_ `As` name) = renderAlias name
259 renderColumnValuePart (value `As` _) = case value of
259 renderColumnValuePart (value `As` _) = case value of
260 Default -> "DEFAULT"
260 Default -> "DEFAULT"
@@ -374,7 +374,7 @@ data ReturningClause
374-- | Render a `ReturningClause`.
374-- | Render a `ReturningClause`.
375renderReturningClause
375renderReturningClause
376 :: SOP.SListI results
376 :: SOP.SListI results
377− => ReturningClause schema params columns results
377+ => ReturningClause db params columns results
378 -> ByteString
378 -> ByteString
379renderReturningClause = \case
379renderReturningClause = \case
380 ReturningStar -> " RETURNING *"
380 ReturningStar -> " RETURNING *"
@@ -402,7 +402,7 @@ data ConflictClause
402-- | Render a `ConflictClause`.
402-- | Render a `ConflictClause`.
403renderConflictClause
403renderConflictClause
404 :: SOP.SListI (TableToColumns table)
404 :: SOP.SListI (TableToColumns table)
405− => ConflictClause schema table params
405+ => ConflictClause db table params
406 -> ByteString
406 -> ByteString
407renderConflictClause = \case
407renderConflictClause = \case
408 OnConflictDoRaise -> ""
408 OnConflictDoRaise -> ""
@@ -415,7 +415,7 @@ renderConflictClause = \case
415 wh:whs -> " WHERE" <+> renderExpression (foldr (.&&) wh whs)
415 wh:whs -> " WHERE" <+> renderExpression (foldr (.&&) wh whs)
417 renderUpdate
417 renderUpdate
418− :: Aliased (ColumnValue schema columns params) column
418+ :: Aliased (ColumnValue db columns params) column
419 -> Maybe ByteString
419 -> Maybe ByteString
420 renderUpdate = \case
420 renderUpdate = \case
421 Same `As` _ -> Nothing
421 Same `As` _ -> Nothing
@@ -453,7 +453,7 @@ update tab columns wh returning = UnsafeManipulation $
453 <> renderReturningClause returning
453 <> renderReturningClause returning
455 renderUpdate
455 renderUpdate
456− :: Aliased (ColumnValue schema columns params) column
456+ :: Aliased (ColumnValue db columns params) column
457 -> Maybe ByteString
457 -> Maybe ByteString
458 renderUpdate = \case
458 renderUpdate = \case
459 Same `As` _ -> Nothing
459 Same `As` _ -> Nothing
@@ -500,7 +500,8 @@ deleteFrom tab wh returning = UnsafeManipulation $
501-- | Delete rows returning `Nil`.
501-- | Delete rows returning `Nil`.
502deleteFrom_
502deleteFrom_
503+ :: ( Has sch db schema
503− :: ( Has sch db schema, Has tab schema ('Table table)
504+ , Has tab schema ('Table table)
504 , row ~ TableToRow table
505 , row ~ TableToRow table
505 , columns ~ TableToColumns table )
506 , columns ~ TableToColumns table )
506 => QualifiedAlias sch tab -- ^ table to delete from
507 => QualifiedAlias sch tab -- ^ table to delete from