Safe Haskell	None
Language	Haskell2010

Database.Beam.Migrate.Checks

Contents

Table checks
Deserialization

Description

Defines common DatabasePredicate s 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

Eq TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableExistsPredicate -> TableExistsPredicate -> Bool Source # (/=) :: TableExistsPredicate -> TableExistsPredicate -> Bool Source #
Ord TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods compare :: TableExistsPredicate -> TableExistsPredicate -> Ordering Source # (<) :: TableExistsPredicate -> TableExistsPredicate -> Bool Source # (<=) :: TableExistsPredicate -> TableExistsPredicate -> Bool Source # (>) :: TableExistsPredicate -> TableExistsPredicate -> Bool Source # (>=) :: TableExistsPredicate -> TableExistsPredicate -> Bool Source # max :: TableExistsPredicate -> TableExistsPredicate -> TableExistsPredicate Source # min :: TableExistsPredicate -> TableExistsPredicate -> TableExistsPredicate Source #
Show TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods showsPrec :: Int -> TableExistsPredicate -> ShowS Source # show :: TableExistsPredicate -> String Source # showList :: [ TableExistsPredicate ] -> ShowS Source #
Generic TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep TableExistsPredicate :: Type -> Type Source # Methods from :: TableExistsPredicate -> Rep TableExistsPredicate x Source # to :: Rep TableExistsPredicate x -> TableExistsPredicate Source #
Hashable TableExistsPredicate Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableExistsPredicate -> Int Source # hash :: TableExistsPredicate -> Int Source #
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.5.1.2-5J0i6YZEVbedBErF518Oy" ' 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

Eq ( BeamMigrateSqlBackendDataTypeSyntax be) => Eq ( TableHasColumn be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableHasColumn be -> TableHasColumn be -> Bool Source # (/=) :: TableHasColumn be -> TableHasColumn be -> Bool Source #
Hashable ( BeamMigrateSqlBackendDataTypeSyntax be) => Hashable ( TableHasColumn be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableHasColumn be -> Int Source # hash :: TableHasColumn be -> Int Source #
( 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 #

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

Eq ( BeamSqlBackendColumnConstraintDefinitionSyntax be) => Eq ( TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableColumnHasConstraint be -> TableColumnHasConstraint be -> Bool Source # (/=) :: TableColumnHasConstraint be -> TableColumnHasConstraint be -> Bool Source #
Generic ( TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep ( TableColumnHasConstraint be) :: Type -> Type Source # Methods from :: TableColumnHasConstraint be -> Rep ( TableColumnHasConstraint be) x Source # to :: Rep ( TableColumnHasConstraint be) x -> TableColumnHasConstraint be Source #
Hashable ( BeamSqlBackendColumnConstraintDefinitionSyntax be) => Hashable ( TableColumnHasConstraint be) Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableColumnHasConstraint be -> Int Source # hash :: TableColumnHasConstraint be -> Int Source #
( 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 #
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.1.2-5J0i6YZEVbedBErF518Oy" ' 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

Eq TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods (==) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool Source # (/=) :: TableHasPrimaryKey -> TableHasPrimaryKey -> Bool Source #
Show TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods showsPrec :: Int -> TableHasPrimaryKey -> ShowS Source # show :: TableHasPrimaryKey -> String Source # showList :: [ TableHasPrimaryKey ] -> ShowS Source #
Generic TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Associated Types type Rep TableHasPrimaryKey :: Type -> Type Source # Methods from :: TableHasPrimaryKey -> Rep TableHasPrimaryKey x Source # to :: Rep TableHasPrimaryKey x -> TableHasPrimaryKey Source #
Hashable TableHasPrimaryKey Source #
Instance details Defined in Database.Beam.Migrate.Checks Methods hashWithSalt :: Int -> TableHasPrimaryKey -> Int Source # hash :: TableHasPrimaryKey -> Int Source #
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.5.1.2-5J0i6YZEVbedBErF518Oy" ' 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