DdCols ('[] :: [DdK]) ('[] :: [DdlColumnK]) ('[] :: [DdlTypeK]) Source # | |
Instance detailsDefined in Sqel.Migration.Ddl |
(DdCols sub mergeCols subTypes, DdCols ss cols types, allCols ~ (mergeCols ++ cols), allTypes ~ (subTypes ++ types)) => DdCols ('DdK sel mods a ('Comp ('TSel tprefix tname) c 'Merge sub) ': ss) allCols allTypes Source # | |
Instance detailsDefined in Sqel.Migration.Ddl |
(ColumnConstraints mods, DdlTypes 'False ('DdK ('SelSymbol name) mods a ('Comp ('TSel tprefix tname) c 'Nest sub)) hTypes, DdCols ss cols types, allTypes ~ (hTypes ++ types), rename ~ MigrationRenameK mods, renameType ~ MigrationRenameTypeK mods, delete ~ MigrationDeleteK mods, TypeName tprefix tname pgName) => DdCols ('DdK ('SelSymbol name) mods a ('Comp ('TSel tprefix tname) c 'Nest sub) ': ss) ('DdlColumnK name ('Just pgName) mods rename renameType delete a ': cols) allTypes Source # | |
Instance detailsDefined in Sqel.Migration.Ddl |
(ReifySel sel name, ReifyPrimName a mods, ColumnConstraints mods, DdCols ss cols types, rename ~ MigrationRenameK mods, renameType ~ MigrationRenameTypeK mods, delete ~ MigrationDeleteK mods) => DdCols ('DdK sel mods a 'Prim ': ss) ('DdlColumnK name ('Nothing :: Maybe Symbol) mods rename renameType delete a ': cols) types Source # | |
Instance detailsDefined in Sqel.Migration.Ddl |