Simplify the type of Projection

This commit is contained in:
Ollie Charles 2021-03-03 10:14:11 +00:00
parent a3d6997d2b
commit 0cda3816cf

View File

@ -1516,8 +1516,7 @@ data Returning schema a where
-- >>> :t insert Insert{ returning = Projection fooId }
-- IO [ FooId ]
Projection
:: ( Table Expr projection
, Table ColumnSchema schema
:: ( Table ColumnSchema schema
, Table Expr row
, Congruent schema row
, Serializable projection a