Sqel.Migration.Data.Ddl

Documentation

data DdlColumnK

Constructors

DdlColumnK

Fields

• name :: Symbol
• compName :: Maybe Symbol
• params :: [Type]
• rename :: Maybe Symbol
• renameType :: Maybe Symbol
• delete :: Bool
• tpe :: Type

Instances

ReifyActions ('[] :: [ActionK]) ('[] :: [DdlColumnK]) new

Defined in Sqel.Migration.Column

Methods

reifyActions :: NP DdlColumn '[] -> NP DdlColumn new -> [ColumnAction]

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

Defined in Sqel.Migration.Ddl

Methods

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

(ReifyNewAction action new, ReifyActions actions ('[] :: [DdlColumnK]) new) => ReifyActions (action ': actions) ('[] :: [DdlColumnK]) new

Defined in Sqel.Migration.Column

Methods

reifyActions :: NP DdlColumn '[] -> NP DdlColumn new -> [ColumnAction]

(ReifyOldAction action o new, ReifyActions actions old new) => ReifyActions (action ': actions) (o ': old) new

Defined in Sqel.Migration.Column

Methods

reifyActions :: NP DdlColumn (o ': old) -> NP DdlColumn new -> [ColumnAction]

(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)

data DdlColumn k where

Constructors

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))

Defined in Sqel.Migration.Data.Ddl

Methods

showsPrec :: Int -> DdlColumn ('DdlColumnK name comp p rename renameType delete a) -> ShowS

show :: DdlColumn ('DdlColumnK name comp p rename renameType delete a) -> String

showList :: [DdlColumn ('DdlColumnK name comp p rename renameType delete a)] -> ShowS

data DdlTypeK

Constructors

DdlTypeK

Fields

• table :: Bool
• tname :: Symbol
• rename :: Maybe Symbol
• columns :: [DdlColumnK]

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)

ReifyActions ('[] :: [ActionK]) ('[] :: [DdlTypeK]) new

Defined in Sqel.Migration.Type

Methods

reifyActions :: NP DdlType '[] -> NP DdlType new -> [(PgCompName, CompAction)]

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

Defined in Sqel.Migration.Ddl

Methods

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

(ReifyNewAction action new, ReifyActions actions ('[] :: [DdlTypeK]) new) => ReifyActions (action ': actions) ('[] :: [DdlTypeK]) new

Defined in Sqel.Migration.Type

Methods

reifyActions :: NP DdlType '[] -> NP DdlType new -> [(PgCompName, CompAction)]

(ReifyOldAction 'False action o new, ReifyActions actions old new) => ReifyActions (action ': actions) (o ': old) new

Defined in Sqel.Migration.Type

Methods

reifyActions :: NP DdlType (o ': old) -> NP DdlType new -> [(PgCompName, CompAction)]

data DdlType s where

Constructors

DdlType :: KnownSymbol tname => PgTypeName table -> NP DdlColumn cols -> DdlType ('DdlTypeK table tname rename cols)

Instances

All (Compose Show DdlColumn) cols => Show (DdlType ('DdlTypeK pgName tname rename cols))

Defined in Sqel.Migration.Data.Ddl

Methods

showsPrec :: Int -> DdlType ('DdlTypeK pgName tname rename cols) -> ShowS

show :: DdlType ('DdlTypeK pgName tname rename cols) -> String

showList :: [DdlType ('DdlTypeK pgName tname rename cols)] -> ShowS