beam-automigrate-0.1.6.0: DB migration library for beam, targeting Postgres.
Safe HaskellNone
LanguageHaskell2010

Database.Beam.AutoMigrate.Diff

Synopsis

Documentation

class Diffable a where Source #

Methods

diff :: a -> a -> Diff Source #

Instances

Instances details
Diffable Tables Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Tables -> Tables -> Diff Source #

Diffable Sequences Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Sequences -> Sequences -> Diff Source #

Diffable Enumerations Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Enumerations -> Enumerations -> Diff Source #

Diffable Schema Source #

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.

Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Schema -> Schema -> Diff Source #

type Diff = DiffA [] Source #

newtype Priority Source #

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

Constructors

Priority Word8 

Instances

Instances details
Eq Priority Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

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

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

Ord Priority Source # 
Instance details

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 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

showsPrec :: Int -> Priority -> ShowS #

show :: Priority -> String #

showList :: [Priority] -> ShowS #

newtype WithPriority a Source #

Constructors

WithPriority 

Fields

Instances

Instances details
Eq a => Eq (WithPriority a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Diff

Methods

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

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

Ord a => Ord (WithPriority a) Source # 
Instance details

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) Source # 
Instance details

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 Source #

diffTablesReferenceImplementation :: Tables -> Tables -> Diff Source #

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

diffTableReferenceImplementation :: TableName -> Table -> Table -> Diff Source #

diffReferenceImplementation :: Schema -> Schema -> Diff Source #

Hopefully-efficient implementation

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

diffTables :: Tables -> Tables -> DiffA DList Source #

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

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

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