Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Beam.Migrate.Checks

Contents

Table checks
Deserialization

Description

Defines common DatabasePredicates that are shared among backends

Synopsis

data TableExistsPredicate = TableExistsPredicate QualifiedName
class HasDataTypeCreatedCheck dataType where
- dataTypeHasBeenCreated :: dataType -> (forall preCondition. Typeable preCondition => [preCondition]) -> Bool
data TableHasColumn be where
- TableHasColumn :: HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be) => {..} -> TableHasColumn be
data TableColumnHasConstraint be = TableColumnHasConstraint {
}
data TableHasPrimaryKey = TableHasPrimaryKey {
- hasPrimaryKey_table :: QualifiedName
- hasPrimaryKey_cols :: [Text]
}
beamCheckDeserializers :: forall be. (Typeable be, BeamMigrateOnlySqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be)) => BeamDeserializers be

Table checks

data TableExistsPredicate Source #

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

Constructors

TableExistsPredicate QualifiedName

Table name

Instances

Instances details

Generic TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep TableExistsPredicate :: Type -> Type # Methods from :: TableExistsPredicate -> Rep TableExistsPredicate x # to :: Rep TableExistsPredicate x -> TableExistsPredicate #
Show TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods showsPrec :: Int -> TableExistsPredicate -> ShowS # show :: TableExistsPredicate -> String # showList :: [TableExistsPredicate] -> ShowS #
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 #
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 #
Hashable TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableExistsPredicate -> Int # hash :: TableExistsPredicate -> Int #
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.5.2.0-inplace" 'False) (C1 ('MetaCons "TableExistsPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)))

class HasDataTypeCreatedCheck dataType where Source #

A class that can check whether a particular data type is present in a set of preconditions.

Methods

dataTypeHasBeenCreated :: dataType -> (forall preCondition. Typeable preCondition => [preCondition]) -> Bool Source #

Instances

Instances details

HasDataTypeCreatedCheck HsDataType Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods dataTypeHasBeenCreated :: HsDataType -> (forall preCondition. Typeable preCondition => [preCondition]) -> Bool Source #

data TableHasColumn be 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
Fields :: HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be) => { hasColumn_table :: QualifiedName Table name , hasColumn_column :: Text Column name , hasColumn_type :: BeamMigrateSqlBackendDataTypeSyntax be Data type } -> TableHasColumn be

Instances

Instances details

(Typeable be, BeamMigrateOnlySqlBackend be, Hashable (BeamMigrateSqlBackendDataTypeSyntax be)) => DatabasePredicate (TableHasColumn be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods englishDescription :: TableHasColumn be -> String Source # predicateSpecificity :: proxy (TableHasColumn be) -> PredicateSpecificity Source # serializePredicate :: TableHasColumn be -> Value Source # predicateCascadesDropOn :: DatabasePredicate p' => TableHasColumn be -> p' -> Bool Source #
Eq (BeamMigrateSqlBackendDataTypeSyntax be) => Eq (TableHasColumn be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableHasColumn be -> TableHasColumn be -> Bool # (/=) :: TableHasColumn be -> TableHasColumn be -> Bool #
Hashable (BeamMigrateSqlBackendDataTypeSyntax be) => Hashable (TableHasColumn be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableHasColumn be -> Int # hash :: TableHasColumn be -> Int #

data TableColumnHasConstraint be 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 :: QualifiedName Table name hasConstraint_column :: Text Column name hasConstraint_defn :: BeamSqlBackendColumnConstraintDefinitionSyntax be Constraint definition

Instances

Instances details

Generic (TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep (TableColumnHasConstraint be) :: Type -> Type # Methods from :: TableColumnHasConstraint be -> Rep (TableColumnHasConstraint be) x # to :: Rep (TableColumnHasConstraint be) x -> TableColumnHasConstraint be #
(Typeable be, BeamMigrateOnlySqlBackend be, Hashable (BeamSqlBackendColumnConstraintDefinitionSyntax be)) => DatabasePredicate (TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods englishDescription :: TableColumnHasConstraint be -> String Source # predicateSpecificity :: proxy (TableColumnHasConstraint be) -> PredicateSpecificity Source # serializePredicate :: TableColumnHasConstraint be -> Value Source # predicateCascadesDropOn :: DatabasePredicate p' => TableColumnHasConstraint be -> p' -> Bool Source #
Eq (BeamSqlBackendColumnConstraintDefinitionSyntax be) => Eq (TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableColumnHasConstraint be -> TableColumnHasConstraint be -> Bool # (/=) :: TableColumnHasConstraint be -> TableColumnHasConstraint be -> Bool #
Hashable (BeamSqlBackendColumnConstraintDefinitionSyntax be) => Hashable (TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableColumnHasConstraint be -> Int # hash :: TableColumnHasConstraint be -> Int #
type Rep (TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks type Rep (TableColumnHasConstraint be) = D1 ('MetaData "TableColumnHasConstraint" "Database.Beam.Migrate.Checks" "beam-migrate-0.5.2.0-inplace" 'False) (C1 ('MetaCons "TableColumnHasConstraint" 'PrefixI 'True) (S1 ('MetaSel ('Just "hasConstraint_table") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :: (S1 ('MetaSel ('Just "hasConstraint_column") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "hasConstraint_defn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BeamSqlBackendColumnConstraintDefinitionSyntax be)))))

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 :: QualifiedName Table name hasPrimaryKey_cols :: [Text] Column names

Instances

Instances details

Generic TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep TableHasPrimaryKey :: Type -> Type # Methods from :: TableHasPrimaryKey -> Rep TableHasPrimaryKey x # to :: Rep TableHasPrimaryKey x -> TableHasPrimaryKey #
Show TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods showsPrec :: Int -> TableHasPrimaryKey -> ShowS # show :: TableHasPrimaryKey -> String # showList :: [TableHasPrimaryKey] -> ShowS #
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 #
Eq TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool # (/=) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool #
Hashable TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableHasPrimaryKey -> Int # hash :: TableHasPrimaryKey -> Int #
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.5.2.0-inplace" 'False) (C1 ('MetaCons "TableHasPrimaryKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "hasPrimaryKey_table") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel ('Just "hasPrimaryKey_cols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

Deserialization

beamCheckDeserializers :: forall be. (Typeable be, BeamMigrateOnlySqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be)) => BeamDeserializers be Source #

BeamDeserializers for all the predicates defined in this module