beam-migrate-0.5.3.1: SQL DDL support and migrations support library for Beam
Safe HaskellNone
LanguageHaskell2010

Database.Beam.Migrate.Checks

Description

Defines common DatabasePredicates that are shared among backends

Synopsis

Schema checks

data SchemaExistsPredicate Source #

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

Constructors

SchemaExistsPredicate Text

Table name

Instances

Instances details
Generic SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Associated Types

type Rep SchemaExistsPredicate 
Instance details

Defined in Database.Beam.Migrate.Checks

type Rep SchemaExistsPredicate = D1 ('MetaData "SchemaExistsPredicate" "Database.Beam.Migrate.Checks" "beam-migrate-0.5.3.1-K7Jgw0T9R2l7ulXblzpp90" 'False) (C1 ('MetaCons "SchemaExistsPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: SchemaExistsPredicate -> Rep SchemaExistsPredicate x #

to :: Rep SchemaExistsPredicate x -> SchemaExistsPredicate #

Show SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Methods

showsPrec :: Int -> SchemaExistsPredicate -> ShowS #

show :: SchemaExistsPredicate -> String #

showList :: [SchemaExistsPredicate] -> ShowS #

DatabasePredicate SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Methods

englishDescription :: SchemaExistsPredicate -> String Source #

predicateSpecificity :: proxy SchemaExistsPredicate -> PredicateSpecificity Source #

serializePredicate :: SchemaExistsPredicate -> Value Source #

predicateCascadesDropOn :: DatabasePredicate p' => SchemaExistsPredicate -> p' -> Bool Source #

Eq SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Methods

(==) :: SchemaExistsPredicate -> SchemaExistsPredicate -> Bool #

(/=) :: SchemaExistsPredicate -> SchemaExistsPredicate -> Bool #

Ord SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Methods

compare :: SchemaExistsPredicate -> SchemaExistsPredicate -> Ordering #

(<) :: SchemaExistsPredicate -> SchemaExistsPredicate -> Bool #

(<=) :: SchemaExistsPredicate -> SchemaExistsPredicate -> Bool #

(>) :: SchemaExistsPredicate -> SchemaExistsPredicate -> Bool #

(>=) :: SchemaExistsPredicate -> SchemaExistsPredicate -> Bool #

max :: SchemaExistsPredicate -> SchemaExistsPredicate -> SchemaExistsPredicate #

min :: SchemaExistsPredicate -> SchemaExistsPredicate -> SchemaExistsPredicate #

Hashable SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Methods

hashWithSalt :: Int -> SchemaExistsPredicate -> Int #

hash :: SchemaExistsPredicate -> Int #

type Rep SchemaExistsPredicate Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

type Rep SchemaExistsPredicate = D1 ('MetaData "SchemaExistsPredicate" "Database.Beam.Migrate.Checks" "beam-migrate-0.5.3.1-K7Jgw0T9R2l7ulXblzpp90" 'False) (C1 ('MetaCons "SchemaExistsPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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 
Instance details

Defined in Database.Beam.Migrate.Checks

type Rep TableExistsPredicate = D1 ('MetaData "TableExistsPredicate" "Database.Beam.Migrate.Checks" "beam-migrate-0.5.3.1-K7Jgw0T9R2l7ulXblzpp90" 'False) (C1 ('MetaCons "TableExistsPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)))

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.3.1-K7Jgw0T9R2l7ulXblzpp90" '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

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

Instances

Instances details
Generic (TableColumnHasConstraint be) Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Associated Types

type Rep (TableColumnHasConstraint be) 
Instance details

Defined in Database.Beam.Migrate.Checks

type Rep (TableColumnHasConstraint be) = D1 ('MetaData "TableColumnHasConstraint" "Database.Beam.Migrate.Checks" "beam-migrate-0.5.3.1-K7Jgw0T9R2l7ulXblzpp90" '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)))))

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.3.1-K7Jgw0T9R2l7ulXblzpp90" '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

Instances

Instances details
Generic TableHasPrimaryKey Source # 
Instance details

Defined in Database.Beam.Migrate.Checks

Associated Types

type Rep TableHasPrimaryKey 
Instance details

Defined in Database.Beam.Migrate.Checks

type Rep TableHasPrimaryKey = D1 ('MetaData "TableHasPrimaryKey" "Database.Beam.Migrate.Checks" "beam-migrate-0.5.3.1-K7Jgw0T9R2l7ulXblzpp90" '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])))

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.3.1-K7Jgw0T9R2l7ulXblzpp90" '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 :: (Typeable be, BeamMigrateOnlySqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be)) => BeamDeserializers be Source #

BeamDeserializers for all the predicates defined in this module