Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data DdlColumnK Source #
Instances
ReifyActions ('[] :: [ActionK]) ('[] :: [DdlColumnK]) new Source # | |
Defined in Sqel.Migration.Column reifyActions :: NP DdlColumn '[] -> NP DdlColumn new -> [ColumnAction] Source # | |
DdCols ('[] :: [DdK]) ('[] :: [DdlColumnK]) ('[] :: [DdlTypeK]) Source # | |
(ReifyNewAction action new, ReifyActions actions ('[] :: [DdlColumnK]) new) => ReifyActions (action ': actions) ('[] :: [DdlColumnK]) new Source # | |
Defined in Sqel.Migration.Column reifyActions :: NP DdlColumn '[] -> NP DdlColumn new -> [ColumnAction] Source # | |
(ReifyOldAction action o new, ReifyActions actions old new) => ReifyActions (action ': actions) (o ': old) new Source # | |
Defined in Sqel.Migration.Column reifyActions :: NP DdlColumn (o ': old) -> NP DdlColumn new -> [ColumnAction] Source # | |
(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 # | |
(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 # | |
data DdlColumn k where Source #
DdlColumn :: KnownSymbol name => Proxy name -> ColumnType -> Mods p -> DdlColumn ('DdlColumnK name comp p rename renameType delete a) |
Instances
Show (Mods p) => Show (DdlColumn ('DdlColumnK name comp p rename renameType delete a)) Source # | |
Defined in Sqel.Migration.Data.Ddl |
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) Source # | |
ReifyActions ('[] :: [ActionK]) ('[] :: [DdlTypeK]) new Source # | |
Defined in Sqel.Migration.Type reifyActions :: NP DdlType '[] -> NP DdlType new -> [(PgCompName, CompAction)] Source # | |
DdCols ('[] :: [DdK]) ('[] :: [DdlColumnK]) ('[] :: [DdlTypeK]) Source # | |
(ReifyNewAction action new, ReifyActions actions ('[] :: [DdlTypeK]) new) => ReifyActions (action ': actions) ('[] :: [DdlTypeK]) new Source # | |
Defined in Sqel.Migration.Type reifyActions :: NP DdlType '[] -> NP DdlType new -> [(PgCompName, CompAction)] Source # | |
(ReifyOldAction 'False action o new, ReifyActions actions old new) => ReifyActions (action ': actions) (o ': old) new Source # | |
Defined in Sqel.Migration.Type reifyActions :: NP DdlType (o ': old) -> NP DdlType new -> [(PgCompName, CompAction)] Source # |