@@ -195,9 +195,9 @@ dropTable tab = UnsafeDefinition $ "DROP TABLE" <+> renderSQL tab <> ";"
196dropTableIfExists
196dropTableIfExists
197 :: ( Has sch schemas schema
197 :: ( Has sch schemas schema
198− , Has tab schema ('Table table))
198+ , KnownSymbol tab)
199 => QualifiedAlias sch tab -- ^ table to remove
199 => QualifiedAlias sch tab -- ^ table to remove
200− -> Definition schemas (Alter sch (DropIfExists tab schema) schemas)
200+ -> Definition schemas (Alter sch (DropSchemumIfExists tab 'Table schema) schemas)
201dropTableIfExists tab = UnsafeDefinition $ "DROP TABLE IF EXISTS" <+> renderSQL tab <> ";"
201dropTableIfExists tab = UnsafeDefinition $ "DROP TABLE IF EXISTS" <+> renderSQL tab <> ";"
203-- | `alterTable` changes the definition of a table from the schema.
203-- | `alterTable` changes the definition of a table from the schema.
@@ -217,13 +217,13 @@ alterTable tab alteration = UnsafeDefinition $
217-- >>> printSQL $ alterTableRename #foo #bar
217-- >>> printSQL $ alterTableRename #foo #bar
218-- ALTER TABLE "foo" RENAME TO "bar";
218-- ALTER TABLE "foo" RENAME TO "bar";
219alterTableRename
219alterTableRename
220− :: (KnownSymbol table0, KnownSymbol table1)
220+ :: (KnownSymbol tab0, KnownSymbol tab1)
221− => Alias table0 -- ^ table to rename
221+ => Alias tab0 -- ^ table to rename
222− -> Alias table1 -- ^ what to rename it
222+ -> Alias tab1 -- ^ what to rename it
223− -> Definition schema (Rename table0 table1 schema)
223+ -> Definition schema (Rename tab0 tab1 schema)
224−alterTableRename table0 table1 = UnsafeDefinition $
224+alterTableRename tab0 tab1 = UnsafeDefinition $
225− "ALTER TABLE" <+> renderSQL table0
225+ "ALTER TABLE" <+> renderSQL tab0
226− <+> "RENAME TO" <+> renderSQL table1 <> ";"
226+ <+> "RENAME TO" <+> renderSQL tab1 <> ";"
228-- | An `AlterTable` describes the alteration to perform on the columns
228-- | An `AlterTable` describes the alteration to perform on the columns
229-- of a table.
229-- of a table.