Database.Beam.AutoMigrate.Diff

Documentation

class Diffable a where

Methods

diff :: a -> a -> Diff

Instances

Diffable Tables

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Tables -> Tables -> Diff

Diffable Sequences

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Sequences -> Sequences -> Diff

Diffable Enumerations

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Enumerations -> Enumerations -> Diff

Diffable Schema

Computes the diff between two Schemas, either failing with a DiffError or returning the list of Edits necessary to turn the first into the second.

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Schema -> Schema -> Diff

type Diff = DiffA []

newtype Priority

Some notion of Priority. The lower the value, the higher the priority.

Constructors

Priority Word8

Instances

Eq Priority

Defined in Database.Beam.AutoMigrate.Diff

Methods

(==) :: Priority -> Priority -> Bool

(/=) :: Priority -> Priority -> Bool

Ord Priority

Defined in Database.Beam.AutoMigrate.Diff

Methods

compare :: Priority -> Priority -> Ordering

(<) :: Priority -> Priority -> Bool

(<=) :: Priority -> Priority -> Bool

(>) :: Priority -> Priority -> Bool

(>=) :: Priority -> Priority -> Bool

max :: Priority -> Priority -> Priority

min :: Priority -> Priority -> Priority

Show Priority

Defined in Database.Beam.AutoMigrate.Diff

Methods

showsPrec :: Int -> Priority -> ShowS

show :: Priority -> String

showList :: [Priority] -> ShowS

newtype WithPriority a

Constructors

WithPriority

Fields

• unPriority :: (a, Priority)

Instances

Eq a => Eq (WithPriority a)

Defined in Database.Beam.AutoMigrate.Diff

Methods

(==) :: WithPriority a -> WithPriority a -> Bool

(/=) :: WithPriority a -> WithPriority a -> Bool

Ord a => Ord (WithPriority a)

Defined in Database.Beam.AutoMigrate.Diff

Methods

compare :: WithPriority a -> WithPriority a -> Ordering

(<) :: WithPriority a -> WithPriority a -> Bool

(<=) :: WithPriority a -> WithPriority a -> Bool

(>) :: WithPriority a -> WithPriority a -> Bool

(>=) :: WithPriority a -> WithPriority a -> Bool

max :: WithPriority a -> WithPriority a -> WithPriority a

min :: WithPriority a -> WithPriority a -> WithPriority a

Show a => Show (WithPriority a)

Defined in Database.Beam.AutoMigrate.Diff

Methods

showsPrec :: Int -> WithPriority a -> ShowS

show :: WithPriority a -> String

showList :: [WithPriority a] -> ShowS

Reference implementation, for model-testing purposes

diffColumnReferenceImplementation :: TableName -> ColumnName -> Column -> Column -> Diff

diffTablesReferenceImplementation :: Tables -> Tables -> Diff

A slow but hopefully correct implementation of the diffing algorithm, for QuickCheck comparison with more sophisticated ones.

diffTableReferenceImplementation :: TableName -> Table -> Table -> Diff

diffReferenceImplementation :: Schema -> Schema -> Diff

Hopefully-efficient implementation

diffColumn :: TableName -> ColumnName -> Column -> Column -> DiffA DList

diffTables :: Tables -> Tables -> DiffA DList

diffTable :: TableName -> Table -> Table -> DiffA DList

sortEdits :: [WithPriority Edit] -> [WithPriority Edit]

Sort edits according to their execution order, to make sure they don't reference something which hasn't been created yet.