Sqel.Migration.Column

Documentation

data OldK

Constructors

OldK

Fields

• name :: Symbol
• comp :: Maybe Symbol
• delete :: Bool

data NewK

Constructors

NewK

Fields

• index :: Nat
• name :: Symbol
• comp :: Maybe Symbol
• rename :: Maybe Symbol
• renameType :: Maybe Symbol

data ModK

Constructors

KeepK

AddK

RenameK

data ActionK

Constructors

ActionK

Fields

• mod :: ModK
• index :: Nat

RemoveK

Instances

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

Defined in Sqel.Migration.Column

Methods

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

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

type family OldKs (index :: Nat) (cols :: [DdlColumnK]) :: [OldK] where ...

Equations

OldKs _ '[] = '[]

OldKs index ('DdlColumnK name comp _ _ _ delete _ ': cols) = 'OldK name comp delete ': OldKs (index + 1) cols

type family NewKs (index :: Nat) (cols :: [DdlColumnK]) :: [NewK] where ...

Equations

NewKs _ '[] = '[]

NewKs index ('DdlColumnK name comp _ rename renameType _ _ ': cols) = 'NewK index name comp rename renameType ': NewKs (index + 1) cols

type family MkMigrationAction (old :: OldK) (check :: [NewK]) (other :: [NewK]) :: (ActionK, [NewK]) where ...

Equations

MkMigrationAction ('OldK _ _ 'True) '[] other = '('RemoveK, other)

MkMigrationAction ('OldK name comp 'False) ('NewK index name comp 'Nothing 'Nothing ': news) other = '('ActionK 'KeepK index, news ++ other)

MkMigrationAction ('OldK oldName comp 'False) ('NewK index _ comp ('Just oldName) 'Nothing ': news) other = '('ActionK 'RenameK index, news ++ other)

MkMigrationAction ('OldK oldName ('Just oldComp) 'False) ('NewK index newName _ rename ('Just oldComp) ': news) other = MkMigrationAction ('OldK oldName ('Just oldComp) 'False) ('NewK index newName ('Just oldComp) rename 'Nothing ': news) other

MkMigrationAction old (new ': news) other = MkMigrationAction old news (new ': other)

MkMigrationAction old '[] other = TypeError ("MkMigrationAction:" % (old % other))

type family NewMigrationActions (cols :: [NewK]) :: [ActionK] where ...

Equations

NewMigrationActions '[] = '[]

NewMigrationActions ('NewK index _ _ 'Nothing 'Nothing ': news) = 'ActionK 'AddK index ': NewMigrationActions news

NewMigrationActions cols = TypeError ("NewMigrationActions:" % cols)

type family MigrationActionsCont (cur :: (ActionK, [NewK])) (old :: [OldK]) :: [ActionK] where ...

Equations

MigrationActionsCont '(cur, new) old = cur ': MigrationActions old new

type family MigrationActions (old :: [OldK]) (new :: [NewK]) :: [ActionK] where ...

Equations

MigrationActions '[] rest = NewMigrationActions rest

MigrationActions (old ': olds) new = MigrationActionsCont (MkMigrationAction old new '[]) olds

class ColumnAddition (comp :: Maybe Symbol) (def :: Type) where

Methods

columnAddition :: def -> PgColumnName -> ColumnType -> [ColumnAction]

Instances

ColumnAddition ('Nothing :: Maybe Symbol) ()

Defined in Sqel.Migration.Column

Methods

columnAddition :: () -> PgColumnName -> ColumnType -> [ColumnAction]

PrimColumn a => ColumnAddition ('Nothing :: Maybe Symbol) (MigrationDefault a)

Defined in Sqel.Migration.Column

Methods

columnAddition :: MigrationDefault a -> PgColumnName -> ColumnType -> [ColumnAction]

ColumnAddition ('Just tname) ()

Defined in Sqel.Migration.Column

Methods

columnAddition :: () -> PgColumnName -> ColumnType -> [ColumnAction]

class ColIndex index cols col | index cols -> col where

Methods

colIndex :: NP f cols -> f col

Instances

ColIndex (n - 1) cols col => ColIndex (n :: Natural) (c ': cols :: [k]) (col :: k)

Defined in Sqel.Migration.Column

Methods

colIndex :: NP f (c ': cols) -> f col

ColIndex 0 (col ': cols :: [k]) (col :: k)

Defined in Sqel.Migration.Column

Methods

colIndex :: NP f (col ': cols) -> f col

class ReifyModAction action old new where

Methods

reifyModAction :: DdlColumn old -> DdlColumn new -> [ColumnAction]

Instances

ReifyModAction 'KeepK old new

Defined in Sqel.Migration.Column

Methods

reifyModAction :: DdlColumn old -> DdlColumn new -> [ColumnAction]

ReifyModAction 'RenameK ('DdlColumnK name compOld modsOld renameOld renameTOld deleteOld typeOld) ('DdlColumnK nameNew compNew modsNew ('Just name) renameTNew delNew typeNew)

Defined in Sqel.Migration.Column

Methods

reifyModAction :: DdlColumn ('DdlColumnK name compOld modsOld renameOld renameTOld deleteOld typeOld) -> DdlColumn ('DdlColumnK nameNew compNew modsNew ('Just name) renameTNew delNew typeNew) -> [ColumnAction]

class ReifyOldAction action old new where

Methods

reifyOldAction :: DdlColumn old -> NP DdlColumn new -> [ColumnAction]

Instances

ReifyOldAction 'RemoveK old new

Defined in Sqel.Migration.Column

Methods

reifyOldAction :: DdlColumn old -> NP DdlColumn new -> [ColumnAction]

(ColIndex index news new, ReifyModAction mod old new) => ReifyOldAction ('ActionK mod index) old news

Defined in Sqel.Migration.Column

Methods

reifyOldAction :: DdlColumn old -> NP DdlColumn news -> [ColumnAction]

class ReifyNewAction action new where

Methods

reifyNewAction :: NP DdlColumn new -> [ColumnAction]

Instances

(ColIndex index news ('DdlColumnK name comp mods rename renameT delete tpe), OptMod (MigrationDefault tpe) mods def, ColumnAddition comp def) => ReifyNewAction ('ActionK 'AddK index) news

Defined in Sqel.Migration.Column

Methods

reifyNewAction :: NP DdlColumn news -> [ColumnAction]

class ReifyActions actions old new where

Methods

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

Instances

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

Defined in Sqel.Migration.Column

Methods

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

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

class ColumnsChanges old new where

Methods

columnsChanges :: NP DdlColumn old -> NP DdlColumn new -> [ColumnAction]

Instances

(actions ~ MigrationActions (OldKs 0 old) (NewKs 0 new), ReifyActions actions old new) => ColumnsChanges old new

Defined in Sqel.Migration.Column

Methods

columnsChanges :: NP DdlColumn old -> NP DdlColumn new -> [ColumnAction]