Sqel.Migration.Ddl

Documentation

appendNP :: NP f as -> NP f bs -> NP f (as ++ bs)

class DdCols s cols types | s -> cols types where

Methods

ddCols :: NP Dd s -> (NP DdlColumn cols, NP DdlType types)

Instances

DdCols ('[] :: [DdK]) ('[] :: [DdlColumnK]) ('[] :: [DdlTypeK])

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd '[] -> (NP DdlColumn '[], NP DdlType '[])

(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

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd ('DdK sel mods a ('Comp ('TSel tprefix tname) c 'Merge sub) ': ss) -> (NP DdlColumn allCols, NP DdlType allTypes)

(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

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd ('DdK ('SelSymbol name) mods a ('Comp ('TSel tprefix tname) c 'Nest sub) ': ss) -> (NP DdlColumn ('DdlColumnK name ('Just pgName) mods rename renameType delete a ': cols), NP DdlType allTypes)

(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

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd ('DdK sel mods a 'Prim ': ss) -> (NP DdlColumn ('DdlColumnK name 'Nothing mods rename renameType delete a ': cols), NP DdlType types)

class DdlTypes table s types | table s -> types where

Methods

ddTypes :: Dd s -> NP DdlType types

Instances

(DdCols sub cols types, rename ~ MigrationRenameTypeK mods, MkPgTypeName tprefix tname table pgName) => DdlTypes table ('DdK sel mods a ('Comp ('TSel tprefix tname) c i sub)) ('DdlTypeK table pgName rename cols ': types)

Defined in Sqel.Migration.Ddl

Methods

ddTypes :: Dd ('DdK sel mods a ('Comp ('TSel tprefix tname) c i sub)) -> NP DdlType ('DdlTypeK table pgName rename cols ': types)

ddTable :: DdlTypes 'True s (table ': types) => Dd s -> (DdlType table, NP DdlType types)