Database.Beam.Migrate.SQL

Manual alternative to the CheckedDatabaseSettings mechanism.

Database schemas are given as sequences of DDL commands expressed in a beam-migrate DSL. The runMigrationSilenced function can be used to recover the CheckedDatabaseSettings that represents the database settings as well as the database predicates corresponding to the sequence of DDL commands.

This is often a more concise way of specifying a database schema when your database names are wildly different from the defaults beam assigns or you multiple constraints that make modifying the auto-generated schema too difficult.

Documentation

module Database.Beam.Migrate.SQL.SQL92

module Database.Beam.Migrate.SQL.Tables

type TableSchema fieldSchemaSyntax tbl = tbl (TableFieldSchema fieldSchemaSyntax)

A table schema, produced by createTable

data TableFieldSchema fieldSchemaSyntax a

A schema for a field within a given table

Constructors

TableFieldSchema Text (FieldSchema fieldSchemaSyntax a) [FieldCheck]

Instances

(Typeable * syntax, Typeable * (Sql92ColumnSchemaColumnTypeSyntax syntax), Sql92DisplaySyntax (Sql92ColumnSchemaColumnTypeSyntax syntax), Eq (Sql92ColumnSchemaColumnTypeSyntax syntax), Sql92DisplaySyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax), Eq (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax), IsSql92ColumnSchemaSyntax syntax, Sql92SerializableConstraintDefinitionSyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax), Sql92SerializableDataTypeSyntax (Sql92ColumnSchemaColumnTypeSyntax syntax)) => FieldReturnType defaultGiven collationGiven syntax resTy (TableFieldSchema syntax resTy)

Methods

field' :: Proxy Bool defaultGiven -> Proxy Bool collationGiven -> Text -> Sql92ColumnSchemaColumnTypeSyntax syntax -> Maybe (Sql92ColumnSchemaExpressionSyntax syntax) -> Maybe Text -> [Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax] -> TableFieldSchema syntax resTy

newtype FieldSchema syntax a

A schema for a field which hasn't been named yet

Constructors

FieldSchema syntax

Instances

Eq syntax => Eq (FieldSchema syntax a)

Methods

(==) :: FieldSchema syntax a -> FieldSchema syntax a -> Bool

(/=) :: FieldSchema syntax a -> FieldSchema syntax a -> Bool

Show syntax => Show (FieldSchema syntax a)

Methods

showsPrec :: Int -> FieldSchema syntax a -> ShowS

show :: FieldSchema syntax a -> String

showList :: [FieldSchema syntax a] -> ShowS

newtype DataType syntax a

A data type in a given IsSql92DataTypeSyntax which describes a SQL type mapping to the Haskell type a

Constructors

DataType syntax

Instances

(FieldReturnType defaultGiven collationGiven syntax resTy a, TypeError Constraint (Text "Only one type declaration allowed per 'field' invocation")) => FieldReturnType defaultGiven collationGiven syntax resTy (DataType syntax' x -> a)

Methods

field' :: Proxy Bool defaultGiven -> Proxy Bool collationGiven -> Text -> Sql92ColumnSchemaColumnTypeSyntax syntax -> Maybe (Sql92ColumnSchemaExpressionSyntax syntax) -> Maybe Text -> [Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax] -> DataType syntax' x -> a

Eq syntax => Eq (DataType syntax a)

Methods

(==) :: DataType syntax a -> DataType syntax a -> Bool

(/=) :: DataType syntax a -> DataType syntax a -> Bool

Sql92DisplaySyntax syntax => Show (DataType syntax a)

Methods

showsPrec :: Int -> DataType syntax a -> ShowS

show :: DataType syntax a -> String

showList :: [DataType syntax a] -> ShowS