Database.Beam.Migrate.Checks

Defines common DatabasePredicates that are shared among backends

Table checks

data TableExistsPredicate

Asserts that a table with the given name exists in a database

Constructors

TableExistsPredicate Text

Table name

Instances

Eq TableExistsPredicate

Methods

(==) :: TableExistsPredicate -> TableExistsPredicate -> Bool

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

Ord TableExistsPredicate

Methods

compare :: TableExistsPredicate -> TableExistsPredicate -> Ordering

(<) :: TableExistsPredicate -> TableExistsPredicate -> Bool

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

(>) :: TableExistsPredicate -> TableExistsPredicate -> Bool

(>=) :: TableExistsPredicate -> TableExistsPredicate -> Bool

max :: TableExistsPredicate -> TableExistsPredicate -> TableExistsPredicate

min :: TableExistsPredicate -> TableExistsPredicate -> TableExistsPredicate

Show TableExistsPredicate

Methods

showsPrec :: Int -> TableExistsPredicate -> ShowS

show :: TableExistsPredicate -> String

showList :: [TableExistsPredicate] -> ShowS

Generic TableExistsPredicate

Associated Types

type Rep TableExistsPredicate :: * -> *

Methods

from :: TableExistsPredicate -> Rep TableExistsPredicate x

to :: Rep TableExistsPredicate x -> TableExistsPredicate

Hashable TableExistsPredicate

Methods

hashWithSalt :: Int -> TableExistsPredicate -> Int

hash :: TableExistsPredicate -> Int

DatabasePredicate TableExistsPredicate

Methods

englishDescription :: TableExistsPredicate -> String

predicateSpecificity :: proxy TableExistsPredicate -> PredicateSpecificity

serializePredicate :: TableExistsPredicate -> Value

predicateCascadesDropOn :: DatabasePredicate p' => TableExistsPredicate -> p' -> Bool

type Rep TableExistsPredicate

type Rep TableExistsPredicate = D1 * (MetaData "TableExistsPredicate" "Database.Beam.Migrate.Checks" "beam-migrate-0.2.0.0-luEQn16wb5J06t50caeQc" False) (C1 * (MetaCons "TableExistsPredicate" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data TableHasColumn syntax where

Asserts that the table specified has a column with the given data type. The type paramater syntax should be an instance of IsSql92ColumnSchemaSyntax.

Constructors

TableHasColumn :: Typeable (Sql92ColumnSchemaColumnTypeSyntax syntax) => {..} -> TableHasColumn syntax

Fields

• hasColumn_table :: Text

  Table name

• hasColumn_column :: Text

  Column name

• hasColumn_type :: Sql92ColumnSchemaColumnTypeSyntax syntax

  Data type

Instances

Eq (Sql92ColumnSchemaColumnTypeSyntax syntax) => Eq (TableHasColumn syntax)

Methods

(==) :: TableHasColumn syntax -> TableHasColumn syntax -> Bool

(/=) :: TableHasColumn syntax -> TableHasColumn syntax -> Bool

Hashable (Sql92ColumnSchemaColumnTypeSyntax syntax) => Hashable (TableHasColumn syntax)

Methods

hashWithSalt :: Int -> TableHasColumn syntax -> Int

hash :: TableHasColumn syntax -> Int

(Typeable * syntax, Sql92SerializableDataTypeSyntax (Sql92ColumnSchemaColumnTypeSyntax syntax), Hashable (Sql92ColumnSchemaColumnTypeSyntax syntax), Sql92DisplaySyntax (Sql92ColumnSchemaColumnTypeSyntax syntax), Eq (Sql92ColumnSchemaColumnTypeSyntax syntax)) => DatabasePredicate (TableHasColumn syntax)

Methods

englishDescription :: TableHasColumn syntax -> String

predicateSpecificity :: proxy (TableHasColumn syntax) -> PredicateSpecificity

serializePredicate :: TableHasColumn syntax -> Value

predicateCascadesDropOn :: DatabasePredicate p' => TableHasColumn syntax -> p' -> Bool

data TableColumnHasConstraint syntax

Asserts that a particular column of a table has a given constraint. The syntax type parameter should be an instance of IsSql92ColumnSchemaSyntax

Constructors

TableColumnHasConstraint

Fields

• hasConstraint_table :: Text

  Table name

• hasConstraint_column :: Text

  Column name

• hasConstraint_defn :: Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax

  Constraint definition

Instances

Eq (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax) => Eq (TableColumnHasConstraint syntax)

Methods

(==) :: TableColumnHasConstraint syntax -> TableColumnHasConstraint syntax -> Bool

(/=) :: TableColumnHasConstraint syntax -> TableColumnHasConstraint syntax -> Bool

Generic (TableColumnHasConstraint syntax)

Associated Types

type Rep (TableColumnHasConstraint syntax) :: * -> *

Methods

from :: TableColumnHasConstraint syntax -> Rep (TableColumnHasConstraint syntax) x

to :: Rep (TableColumnHasConstraint syntax) x -> TableColumnHasConstraint syntax

Hashable (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax) => Hashable (TableColumnHasConstraint syntax)

Methods

hashWithSalt :: Int -> TableColumnHasConstraint syntax -> Int

hash :: TableColumnHasConstraint syntax -> Int

(Typeable * syntax, Sql92SerializableConstraintDefinitionSyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax), Hashable (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax), Sql92DisplaySyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax), Eq (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax)) => DatabasePredicate (TableColumnHasConstraint syntax)

Methods

englishDescription :: TableColumnHasConstraint syntax -> String

predicateSpecificity :: proxy (TableColumnHasConstraint syntax) -> PredicateSpecificity

serializePredicate :: TableColumnHasConstraint syntax -> Value

predicateCascadesDropOn :: DatabasePredicate p' => TableColumnHasConstraint syntax -> p' -> Bool

type Rep (TableColumnHasConstraint syntax)

type Rep (TableColumnHasConstraint syntax) = D1 * (MetaData "TableColumnHasConstraint" "Database.Beam.Migrate.Checks" "beam-migrate-0.2.0.0-luEQn16wb5J06t50caeQc" False) (C1 * (MetaCons "TableColumnHasConstraint" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "hasConstraint_table") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((:*:) * (S1 * (MetaSel (Just Symbol "hasConstraint_column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "hasConstraint_defn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax))))))

data TableHasPrimaryKey

Asserts that the given table has a primary key made of the given columns. The order of the columns is significant.

Constructors

TableHasPrimaryKey

Fields

• hasPrimaryKey_table :: Text

  Table name

• hasPrimaryKey_cols :: [Text]

  Column names

Instances

Eq TableHasPrimaryKey

Methods

(==) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool

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

Show TableHasPrimaryKey

Methods

showsPrec :: Int -> TableHasPrimaryKey -> ShowS

show :: TableHasPrimaryKey -> String

showList :: [TableHasPrimaryKey] -> ShowS

Generic TableHasPrimaryKey

Associated Types

type Rep TableHasPrimaryKey :: * -> *

Methods

from :: TableHasPrimaryKey -> Rep TableHasPrimaryKey x

to :: Rep TableHasPrimaryKey x -> TableHasPrimaryKey

Hashable TableHasPrimaryKey

Methods

hashWithSalt :: Int -> TableHasPrimaryKey -> Int

hash :: TableHasPrimaryKey -> Int

DatabasePredicate TableHasPrimaryKey

Methods

englishDescription :: TableHasPrimaryKey -> String

predicateSpecificity :: proxy TableHasPrimaryKey -> PredicateSpecificity

serializePredicate :: TableHasPrimaryKey -> Value

predicateCascadesDropOn :: DatabasePredicate p' => TableHasPrimaryKey -> p' -> Bool

type Rep TableHasPrimaryKey

type Rep TableHasPrimaryKey = D1 * (MetaData "TableHasPrimaryKey" "Database.Beam.Migrate.Checks" "beam-migrate-0.2.0.0-luEQn16wb5J06t50caeQc" False) (C1 * (MetaCons "TableHasPrimaryKey" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "hasPrimaryKey_table") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "hasPrimaryKey_cols") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text]))))

Deserialization

beamCheckDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, Sql92SerializableDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd), Sql92SerializableConstraintDefinitionSyntax (Sql92DdlCommandConstraintDefinitionSyntax cmd)) => BeamDeserializers cmd

BeamDeserializers for all the predicates defined in this module