Safe Haskell	None
Language	Haskell2010

Database.Beam.Migrate.Checks

Contents

Table checks
Deserialization

Description

Defines common DatabasePredicates that are shared among backends

Synopsis

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.3.2.1-1hzOhYMrqv9FKvjmkzjCyb" 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.3.2.1-1hzOhYMrqv9FKvjmkzjCyb" 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.3.2.1-1hzOhYMrqv9FKvjmkzjCyb" 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