Safe Haskell	None
Language	Haskell2010

Database.Beam.Migrate.Checks

Contents

Table checks
Deserialization

Description

Defines common DatabasePredicates that are shared among backends

Synopsis

data TableExistsPredicate = TableExistsPredicate Text
data TableHasColumn syntax where
- TableHasColumn :: Typeable (Sql92ColumnSchemaColumnTypeSyntax syntax) => {..} -> TableHasColumn syntax
data TableColumnHasConstraint syntax = TableColumnHasConstraint {
- hasConstraint_table :: Text
- hasConstraint_column :: Text
- hasConstraint_defn :: Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax
}
data TableHasPrimaryKey = TableHasPrimaryKey {
- hasPrimaryKey_table :: Text
- hasPrimaryKey_cols :: [Text]
}
beamCheckDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, Sql92SerializableDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd), Sql92SerializableConstraintDefinitionSyntax (Sql92DdlCommandConstraintDefinitionSyntax cmd)) => BeamDeserializers cmd

Table checks

data TableExistsPredicate Source #

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

Constructors

TableExistsPredicate Text

Table name

Instances

Eq TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableExistsPredicate -> TableExistsPredicate -> Bool # (/=) :: TableExistsPredicate -> TableExistsPredicate -> Bool #
Ord TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks 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 Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods showsPrec :: Int -> TableExistsPredicate -> ShowS # show :: TableExistsPredicate -> String # showList :: [TableExistsPredicate] -> ShowS #
Generic TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep TableExistsPredicate :: * -> * # Methods from :: TableExistsPredicate -> Rep TableExistsPredicate x # to :: Rep TableExistsPredicate x -> TableExistsPredicate #
Hashable TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableExistsPredicate -> Int # hash :: TableExistsPredicate -> Int #
DatabasePredicate TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods englishDescription :: TableExistsPredicate -> String Source # predicateSpecificity :: proxy TableExistsPredicate -> PredicateSpecificity Source # serializePredicate :: TableExistsPredicate -> Value Source # predicateCascadesDropOn :: DatabasePredicate p' => TableExistsPredicate -> p' -> Bool Source #
type Rep TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks type Rep TableExistsPredicate = D1 (MetaData "TableExistsPredicate" "Database.Beam.Migrate.Checks" "beam-migrate-0.3.2.1-5uUjtiBqfLqFuBaaiGZEEb" False) (C1 (MetaCons "TableExistsPredicate" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data TableHasColumn syntax where Source #

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) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableHasColumn syntax -> TableHasColumn syntax -> Bool # (/=) :: TableHasColumn syntax -> TableHasColumn syntax -> Bool #
Hashable (Sql92ColumnSchemaColumnTypeSyntax syntax) => Hashable (TableHasColumn syntax) Source #
Instance details Defined in Database.Beam.Migrate.Checks 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) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods englishDescription :: TableHasColumn syntax -> String Source # predicateSpecificity :: proxy (TableHasColumn syntax) -> PredicateSpecificity Source # serializePredicate :: TableHasColumn syntax -> Value Source # predicateCascadesDropOn :: DatabasePredicate p' => TableHasColumn syntax -> p' -> Bool Source #

data TableColumnHasConstraint syntax Source #

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) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableColumnHasConstraint syntax -> TableColumnHasConstraint syntax -> Bool # (/=) :: TableColumnHasConstraint syntax -> TableColumnHasConstraint syntax -> Bool #
Generic (TableColumnHasConstraint syntax) Source #
Instance details Defined in Database.Beam.Migrate.Checks 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) Source #
Instance details Defined in Database.Beam.Migrate.Checks 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) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods englishDescription :: TableColumnHasConstraint syntax -> String Source # predicateSpecificity :: proxy (TableColumnHasConstraint syntax) -> PredicateSpecificity Source # serializePredicate :: TableColumnHasConstraint syntax -> Value Source # predicateCascadesDropOn :: DatabasePredicate p' => TableColumnHasConstraint syntax -> p' -> Bool Source #
type Rep (TableColumnHasConstraint syntax) Source #
Instance details Defined in Database.Beam.Migrate.Checks type Rep (TableColumnHasConstraint syntax) = D1 (MetaData "TableColumnHasConstraint" "Database.Beam.Migrate.Checks" "beam-migrate-0.3.2.1-5uUjtiBqfLqFuBaaiGZEEb" False) (C1 (MetaCons "TableColumnHasConstraint" PrefixI True) (S1 (MetaSel (Just "hasConstraint_table") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "hasConstraint_column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "hasConstraint_defn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax)))))

data TableHasPrimaryKey Source #

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 Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool # (/=) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool #
Show TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods showsPrec :: Int -> TableHasPrimaryKey -> ShowS # show :: TableHasPrimaryKey -> String # showList :: [TableHasPrimaryKey] -> ShowS #
Generic TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep TableHasPrimaryKey :: * -> * # Methods from :: TableHasPrimaryKey -> Rep TableHasPrimaryKey x # to :: Rep TableHasPrimaryKey x -> TableHasPrimaryKey #
Hashable TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableHasPrimaryKey -> Int # hash :: TableHasPrimaryKey -> Int #
DatabasePredicate TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods englishDescription :: TableHasPrimaryKey -> String Source # predicateSpecificity :: proxy TableHasPrimaryKey -> PredicateSpecificity Source # serializePredicate :: TableHasPrimaryKey -> Value Source # predicateCascadesDropOn :: DatabasePredicate p' => TableHasPrimaryKey -> p' -> Bool Source #
type Rep TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks type Rep TableHasPrimaryKey = D1 (MetaData "TableHasPrimaryKey" "Database.Beam.Migrate.Checks" "beam-migrate-0.3.2.1-5uUjtiBqfLqFuBaaiGZEEb" False) (C1 (MetaCons "TableHasPrimaryKey" PrefixI True) (S1 (MetaSel (Just "hasPrimaryKey_table") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "hasPrimaryKey_cols") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))

Deserialization

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

BeamDeserializers for all the predicates defined in this module