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

Database.Beam.Migrate.SQL.SQL92

Description

Finally-tagless encoding of SQL92 DDL commands.

If you're writing a beam backend driver and you want to support migrations, making an instance of your command syntax for IsSql92DdlCommandSyntax and making it satisfy Sql92SaneDdlCommandSyntax.

Synopsis

Convenience type synonyms

type Sql92SaneDdlCommandSyntax cmd = (Sql92SaneDdlCommandSyntaxMigrateOnly cmd, Sql92ExpressionCastTargetSyntax (Sql92ExpressionSyntax cmd) ~ Sql92DdlCommandDataTypeSyntax cmd, Sql92ColumnSchemaExpressionSyntax (Sql92DdlCommandColumnSchemaSyntax cmd) ~ Sql92ExpressionSyntax cmd) Source #

Syntax equalities that any reasonable DDL syntax would follow, including equalities between beam-migrate and beam-core types.

type Sql92SaneDdlSchemaCommandSyntax cmd = (Sql92SaneDdlSchemaCommandSyntaxMigrateOnly cmd, Sql92ExpressionCastTargetSyntax (Sql92ExpressionSyntax cmd) ~ Sql92DdlCommandDataTypeSyntax cmd, Sql92ColumnSchemaExpressionSyntax (Sql92DdlCommandColumnSchemaSyntax cmd) ~ Sql92ExpressionSyntax cmd) Source #

Syntax equalities that any reasonable DDL syntax with schema support would follow, including equalities between beam-migrate and beam-core types.

type Sql92SaneDdlCommandSyntaxMigrateOnly cmd = (IsSql92DdlCommandSyntax cmd, Sql92SerializableDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd), Sql92SerializableConstraintDefinitionSyntax (Sql92DdlCommandConstraintDefinitionSyntax cmd), Typeable (Sql92DdlCommandColumnSchemaSyntax cmd), Sql92AlterTableColumnSchemaSyntax (Sql92AlterTableAlterTableActionSyntax (Sql92DdlCommandAlterTableSyntax cmd)) ~ Sql92CreateTableColumnSchemaSyntax (Sql92DdlCommandCreateTableSyntax cmd)) Source #

Syntax equalities for any reasonable DDL syntax, only including types defined here.

type Sql92SaneDdlSchemaCommandSyntaxMigrateOnly cmd = (Sql92SaneDdlCommandSyntaxMigrateOnly cmd, IsSql92DdlSchemaCommandSyntax cmd) Source #

Syntax equalities for any reasonable DDL syntax, only including types defined here.

type Sql92DdlCommandDataTypeSyntax syntax = Sql92ColumnSchemaColumnTypeSyntax (Sql92DdlCommandColumnSchemaSyntax syntax) Source #

type Sql92DdlCommandColumnSchemaSyntax syntax = Sql92CreateTableColumnSchemaSyntax (Sql92DdlCommandCreateTableSyntax syntax) Source #

type Sql92DdlCommandConstraintDefinitionSyntax syntax = Sql92ColumnSchemaColumnConstraintDefinitionSyntax (Sql92DdlCommandColumnSchemaSyntax syntax) Source #

type Sql92DdlColumnSchemaConstraintSyntax syntax = Sql92ColumnConstraintDefinitionConstraintSyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax) Source #

type Sql92DdlCommandColumnConstraintSyntax syntax = Sql92DdlColumnSchemaConstraintSyntax (Sql92DdlCommandColumnSchemaSyntax syntax) Source #

type Sql92DdlCommandMatchTypeSyntax syntax = Sql92ColumnConstraintMatchTypeSyntax (Sql92DdlCommandColumnConstraintSyntax syntax) Source #

type Sql92DdlCommandReferentialActionSyntax syntax = Sql92ColumnConstraintReferentialActionSyntax (Sql92DdlCommandColumnConstraintSyntax syntax) Source #

type Sql92DdlCommandConstraintAttributesSyntax syntax = Sql92ColumnConstraintDefinitionAttributesSyntax (Sql92DdlCommandConstraintDefinitionSyntax syntax) Source #

type Sql92DdlCommandAlterTableActionSyntax syntax = Sql92AlterTableAlterTableActionSyntax (Sql92DdlCommandAlterTableSyntax syntax) Source #

class (IsSql92CreateSchemaSyntax (Sql92DdlCommandCreateSchemaSyntax syntax), IsSql92DropSchemaSyntax (Sql92DdlCommandDropSchemaSyntax syntax)) => IsSql92DdlSchemaCommandSyntax syntax where Source #

Associated Types

type Sql92DdlCommandCreateSchemaSyntax syntax Source #

type Sql92DdlCommandDropSchemaSyntax syntax Source #

Methods

createSchemaCmd :: Sql92DdlCommandCreateSchemaSyntax syntax -> syntax Source #

dropSchemaCmd :: Sql92DdlCommandDropSchemaSyntax syntax -> syntax Source #

Instances

Instances details
IsSql92DdlSchemaCommandSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DdlCommandCreateSchemaSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DdlCommandCreateSchemaSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92DdlCommandDropSchemaSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DdlCommandDropSchemaSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

createSchemaCmd :: Sql92DdlCommandCreateSchemaSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

dropSchemaCmd :: Sql92DdlCommandDropSchemaSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

IsSql92DdlSchemaCommandSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DdlCommandCreateSchemaSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DdlCommandCreateSchemaSyntax HsAction = HsAction
type Sql92DdlCommandDropSchemaSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DdlCommandDropSchemaSyntax HsAction = HsAction

Methods

createSchemaCmd :: Sql92DdlCommandCreateSchemaSyntax HsAction -> HsAction Source #

dropSchemaCmd :: Sql92DdlCommandDropSchemaSyntax HsAction -> HsAction Source #

class (IsSql92CreateTableSyntax (Sql92DdlCommandCreateTableSyntax syntax), IsSql92DropTableSyntax (Sql92DdlCommandDropTableSyntax syntax), IsSql92AlterTableSyntax (Sql92DdlCommandAlterTableSyntax syntax)) => IsSql92DdlCommandSyntax syntax where Source #

Associated Types

type Sql92DdlCommandCreateTableSyntax syntax Source #

type Sql92DdlCommandAlterTableSyntax syntax Source #

type Sql92DdlCommandDropTableSyntax syntax Source #

Methods

createTableCmd :: Sql92DdlCommandCreateTableSyntax syntax -> syntax Source #

dropTableCmd :: Sql92DdlCommandDropTableSyntax syntax -> syntax Source #

alterTableCmd :: Sql92DdlCommandAlterTableSyntax syntax -> syntax Source #

Instances

Instances details
IsSql92DdlCommandSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DdlCommandCreateTableSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DdlCommandCreateTableSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

createTableCmd :: Sql92DdlCommandCreateTableSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

dropTableCmd :: Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

alterTableCmd :: Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

IsSql92DdlCommandSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DdlCommandCreateTableSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DdlCommandCreateTableSyntax HsAction = HsAction
type Sql92DdlCommandAlterTableSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DdlCommandAlterTableSyntax HsAction = HsAction
type Sql92DdlCommandDropTableSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DdlCommandDropTableSyntax HsAction = HsAction

Methods

createTableCmd :: Sql92DdlCommandCreateTableSyntax HsAction -> HsAction Source #

dropTableCmd :: Sql92DdlCommandDropTableSyntax HsAction -> HsAction Source #

alterTableCmd :: Sql92DdlCommandAlterTableSyntax HsAction -> HsAction Source #

class IsSql92SchemaNameSyntax (Sql92CreateSchemaSchemaNameSyntax syntax) => IsSql92CreateSchemaSyntax syntax where Source #

Associated Types

type Sql92CreateSchemaSchemaNameSyntax syntax Source #

Methods

createSchemaSyntax :: Sql92CreateSchemaSchemaNameSyntax syntax -> syntax Source #

Instances

Instances details
IsSql92CreateSchemaSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92CreateSchemaSchemaNameSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92CreateSchemaSchemaNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

createSchemaSyntax :: Sql92CreateSchemaSchemaNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

IsSql92CreateSchemaSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92CreateSchemaSchemaNameSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92CreateSchemaSchemaNameSyntax HsAction = SchemaName

Methods

createSchemaSyntax :: Sql92CreateSchemaSchemaNameSyntax HsAction -> HsAction Source #

class IsSql92SchemaNameSyntax (Sql92DropSchemaSchemaNameSyntax syntax) => IsSql92DropSchemaSyntax syntax where Source #

Associated Types

type Sql92DropSchemaSchemaNameSyntax syntax Source #

Methods

dropSchemaSyntax :: Sql92DropSchemaSchemaNameSyntax syntax -> syntax Source #

Instances

Instances details
IsSql92DropSchemaSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DropSchemaSchemaNameSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DropSchemaSchemaNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

dropSchemaSyntax :: Sql92DropSchemaSchemaNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

IsSql92DropSchemaSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DropSchemaSchemaNameSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DropSchemaSchemaNameSyntax HsAction = SchemaName

Methods

dropSchemaSyntax :: Sql92DropSchemaSchemaNameSyntax HsAction -> HsAction Source #

class (IsSql92TableConstraintSyntax (Sql92CreateTableTableConstraintSyntax syntax), IsSql92ColumnSchemaSyntax (Sql92CreateTableColumnSchemaSyntax syntax), IsSql92TableNameSyntax (Sql92CreateTableTableNameSyntax syntax)) => IsSql92CreateTableSyntax syntax where Source #

Associated Types

type Sql92CreateTableTableNameSyntax syntax Source #

type Sql92CreateTableColumnSchemaSyntax syntax Source #

type Sql92CreateTableTableConstraintSyntax syntax Source #

type Sql92CreateTableOptionsSyntax syntax Source #

Methods

createTableSyntax :: Maybe (Sql92CreateTableOptionsSyntax syntax) -> Sql92CreateTableTableNameSyntax syntax -> [(Text, Sql92CreateTableColumnSchemaSyntax syntax)] -> [Sql92CreateTableTableConstraintSyntax syntax] -> syntax Source #

Instances

Instances details
IsSql92CreateTableSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92CreateTableTableNameSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92CreateTableTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92CreateTableOptionsSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92CreateTableOptionsSyntax SqlSyntaxBuilder = SqlSyntaxBuilderCreateTableOptions

Methods

createTableSyntax :: Maybe (Sql92CreateTableOptionsSyntax SqlSyntaxBuilder) -> Sql92CreateTableTableNameSyntax SqlSyntaxBuilder -> [(Text, Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder)] -> [Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder] -> SqlSyntaxBuilder Source #

IsSql92CreateTableSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92CreateTableTableNameSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92CreateTableTableNameSyntax HsAction = TableName
type Sql92CreateTableColumnSchemaSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92CreateTableColumnSchemaSyntax HsAction = HsColumnSchema
type Sql92CreateTableTableConstraintSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92CreateTableTableConstraintSyntax HsAction = HsTableConstraint
type Sql92CreateTableOptionsSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92CreateTableOptionsSyntax HsAction = HsNone

Methods

createTableSyntax :: Maybe (Sql92CreateTableOptionsSyntax HsAction) -> Sql92CreateTableTableNameSyntax HsAction -> [(Text, Sql92CreateTableColumnSchemaSyntax HsAction)] -> [Sql92CreateTableTableConstraintSyntax HsAction] -> HsAction Source #

class IsSql92TableNameSyntax (Sql92DropTableTableNameSyntax syntax) => IsSql92DropTableSyntax syntax where Source #

Associated Types

type Sql92DropTableTableNameSyntax syntax Source #

Methods

dropTableSyntax :: Sql92DropTableTableNameSyntax syntax -> syntax Source #

Instances

Instances details
IsSql92DropTableSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DropTableTableNameSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92DropTableTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

dropTableSyntax :: Sql92DropTableTableNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

IsSql92DropTableSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DropTableTableNameSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92DropTableTableNameSyntax HsAction = TableName

Methods

dropTableSyntax :: Sql92DropTableTableNameSyntax HsAction -> HsAction Source #

class (IsSql92TableNameSyntax (Sql92AlterTableTableNameSyntax syntax), IsSql92AlterTableActionSyntax (Sql92AlterTableAlterTableActionSyntax syntax)) => IsSql92AlterTableSyntax syntax where Source #

Associated Types

type Sql92AlterTableTableNameSyntax syntax Source #

type Sql92AlterTableAlterTableActionSyntax syntax Source #

Methods

alterTableSyntax :: Sql92AlterTableTableNameSyntax syntax -> Sql92AlterTableAlterTableActionSyntax syntax -> syntax Source #

Instances

Instances details
IsSql92AlterTableSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92AlterTableTableNameSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92AlterTableTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

alterTableSyntax :: Sql92AlterTableTableNameSyntax SqlSyntaxBuilder -> Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

IsSql92AlterTableSyntax HsAction Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92AlterTableTableNameSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92AlterTableTableNameSyntax HsAction = TableName
type Sql92AlterTableAlterTableActionSyntax HsAction 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92AlterTableAlterTableActionSyntax HsAction = HsNone

Methods

alterTableSyntax :: Sql92AlterTableTableNameSyntax HsAction -> Sql92AlterTableAlterTableActionSyntax HsAction -> HsAction Source #

class (IsSql92ColumnSchemaSyntax (Sql92AlterTableColumnSchemaSyntax syntax), IsSql92AlterColumnActionSyntax (Sql92AlterTableAlterColumnActionSyntax syntax)) => IsSql92AlterTableActionSyntax syntax where Source #

Associated Types

type Sql92AlterTableAlterColumnActionSyntax syntax Source #

type Sql92AlterTableColumnSchemaSyntax syntax Source #

Methods

alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax syntax -> syntax Source #

addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax syntax -> syntax Source #

dropColumnSyntax :: Text -> syntax Source #

renameTableToSyntax :: Text -> syntax Source #

renameColumnToSyntax :: Text -> Text -> syntax Source #

Instances

Instances details
IsSql92AlterTableActionSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92AlterTableAlterColumnActionSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92AlterTableAlterColumnActionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

dropColumnSyntax :: Text -> SqlSyntaxBuilder Source #

renameTableToSyntax :: Text -> SqlSyntaxBuilder Source #

renameColumnToSyntax :: Text -> Text -> SqlSyntaxBuilder Source #

IsSql92AlterTableActionSyntax HsNone Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92AlterTableAlterColumnActionSyntax HsNone 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92AlterTableAlterColumnActionSyntax HsNone = HsNone
type Sql92AlterTableColumnSchemaSyntax HsNone 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92AlterTableColumnSchemaSyntax HsNone = HsColumnSchema

Methods

alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax HsNone -> HsNone Source #

addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax HsNone -> HsNone Source #

dropColumnSyntax :: Text -> HsNone Source #

renameTableToSyntax :: Text -> HsNone Source #

renameColumnToSyntax :: Text -> Text -> HsNone Source #

class IsSql92AlterColumnActionSyntax syntax where Source #

Methods

setNotNullSyntax :: syntax Source #

setNullSyntax :: syntax Source #

Instances

Instances details
IsSql92AlterColumnActionSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Methods

setNotNullSyntax :: SqlSyntaxBuilder Source #

setNullSyntax :: SqlSyntaxBuilder Source #

IsSql92AlterColumnActionSyntax HsNone Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

setNotNullSyntax :: HsNone Source #

setNullSyntax :: HsNone Source #

class (IsSql92ColumnConstraintDefinitionSyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema), IsSql92DataTypeSyntax (Sql92ColumnSchemaColumnTypeSyntax columnSchema), Typeable (Sql92ColumnSchemaColumnTypeSyntax columnSchema), Sql92DisplaySyntax (Sql92ColumnSchemaColumnTypeSyntax columnSchema), Hashable (Sql92ColumnSchemaColumnTypeSyntax columnSchema), Eq (Sql92ColumnSchemaColumnTypeSyntax columnSchema), Sql92DisplaySyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema), Eq (Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema), Hashable (Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema), IsSql92ExpressionSyntax (Sql92ColumnSchemaExpressionSyntax columnSchema), Typeable columnSchema, Sql92DisplaySyntax columnSchema, Eq columnSchema, Hashable columnSchema) => IsSql92ColumnSchemaSyntax columnSchema where Source #

Associated Types

type Sql92ColumnSchemaColumnTypeSyntax columnSchema Source #

type Sql92ColumnSchemaExpressionSyntax columnSchema Source #

type Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema Source #

Methods

columnSchemaSyntax Source #

Arguments

:: Sql92ColumnSchemaColumnTypeSyntax columnSchema

Column type

-> Maybe (Sql92ColumnSchemaExpressionSyntax columnSchema)

Default value

-> [Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema]

Column constraints

-> Maybe Text

Default collation

-> columnSchema 

Instances

Instances details
IsSql92ColumnSchemaSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92ColumnSchemaColumnTypeSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnSchemaColumnTypeSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ColumnSchemaExpressionSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnSchemaExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ColumnSchemaColumnConstraintDefinitionSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnSchemaColumnConstraintDefinitionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

columnSchemaSyntax :: Sql92ColumnSchemaColumnTypeSyntax SqlSyntaxBuilder -> Maybe (Sql92ColumnSchemaExpressionSyntax SqlSyntaxBuilder) -> [Sql92ColumnSchemaColumnConstraintDefinitionSyntax SqlSyntaxBuilder] -> Maybe Text -> SqlSyntaxBuilder Source #

IsSql92ColumnSchemaSyntax HsColumnSchema Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92ColumnSchemaColumnTypeSyntax HsColumnSchema 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnSchemaColumnTypeSyntax HsColumnSchema = HsDataType
type Sql92ColumnSchemaExpressionSyntax HsColumnSchema 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnSchemaExpressionSyntax HsColumnSchema = HsExpr
type Sql92ColumnSchemaColumnConstraintDefinitionSyntax HsColumnSchema 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnSchemaColumnConstraintDefinitionSyntax HsColumnSchema = HsConstraintDefinition

Methods

columnSchemaSyntax :: Sql92ColumnSchemaColumnTypeSyntax HsColumnSchema -> Maybe (Sql92ColumnSchemaExpressionSyntax HsColumnSchema) -> [Sql92ColumnSchemaColumnConstraintDefinitionSyntax HsColumnSchema] -> Maybe Text -> HsColumnSchema Source #

class Typeable constraint => IsSql92TableConstraintSyntax constraint where Source #

Methods

primaryKeyConstraintSyntax :: [Text] -> constraint Source #

Instances

Instances details
IsSql92TableConstraintSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Methods

primaryKeyConstraintSyntax :: [Text] -> SqlSyntaxBuilder Source #

IsSql92TableConstraintSyntax HsTableConstraint Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

primaryKeyConstraintSyntax :: [Text] -> HsTableConstraint Source #

class Typeable match => IsSql92MatchTypeSyntax match where Source #

Methods

fullMatchSyntax :: match Source #

partialMatchSyntax :: match Source #

Instances

Instances details
IsSql92MatchTypeSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Methods

fullMatchSyntax :: SqlSyntaxBuilder Source #

partialMatchSyntax :: SqlSyntaxBuilder Source #

IsSql92MatchTypeSyntax HsNone Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

fullMatchSyntax :: HsNone Source #

partialMatchSyntax :: HsNone Source #

IsSql92MatchTypeSyntax BeamSerializedMatchType Source # 
Instance details

Defined in Database.Beam.Migrate.Serialization

Methods

fullMatchSyntax :: BeamSerializedMatchType Source #

partialMatchSyntax :: BeamSerializedMatchType Source #

class Typeable refAction => IsSql92ReferentialActionSyntax refAction where Source #

Methods

referentialActionCascadeSyntax :: refAction Source #

referentialActionSetNullSyntax :: refAction Source #

referentialActionSetDefaultSyntax :: refAction Source #

referentialActionNoActionSyntax :: refAction Source #

Instances

Instances details
IsSql92ReferentialActionSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Methods

referentialActionCascadeSyntax :: SqlSyntaxBuilder Source #

referentialActionSetNullSyntax :: SqlSyntaxBuilder Source #

referentialActionSetDefaultSyntax :: SqlSyntaxBuilder Source #

referentialActionNoActionSyntax :: SqlSyntaxBuilder Source #

IsSql92ReferentialActionSyntax HsNone Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

referentialActionCascadeSyntax :: HsNone Source #

referentialActionSetNullSyntax :: HsNone Source #

referentialActionSetDefaultSyntax :: HsNone Source #

referentialActionNoActionSyntax :: HsNone Source #

IsSql92ReferentialActionSyntax BeamSerializedReferentialAction Source # 
Instance details

Defined in Database.Beam.Migrate.Serialization

Methods

referentialActionCascadeSyntax :: BeamSerializedReferentialAction Source #

referentialActionSetNullSyntax :: BeamSerializedReferentialAction Source #

referentialActionSetDefaultSyntax :: BeamSerializedReferentialAction Source #

referentialActionNoActionSyntax :: BeamSerializedReferentialAction Source #

class (IsSql92ColumnConstraintSyntax (Sql92ColumnConstraintDefinitionConstraintSyntax constraint), IsSql92ConstraintAttributesSyntax (Sql92ColumnConstraintDefinitionAttributesSyntax constraint), Typeable constraint) => IsSql92ColumnConstraintDefinitionSyntax constraint where Source #

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax constraint Source #

type Sql92ColumnConstraintDefinitionAttributesSyntax constraint Source #

Methods

constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax constraint -> Maybe (Sql92ColumnConstraintDefinitionAttributesSyntax constraint) -> constraint Source #

Instances

Instances details
IsSql92ColumnConstraintDefinitionSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnConstraintDefinitionConstraintSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder = SqlConstraintAttributesBuilder

Methods

constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax SqlSyntaxBuilder -> Maybe (Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source #

IsSql92ColumnConstraintDefinitionSyntax HsConstraintDefinition Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax HsConstraintDefinition 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnConstraintDefinitionConstraintSyntax HsConstraintDefinition = HsExpr
type Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition = HsNone

Methods

constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax HsConstraintDefinition -> Maybe (Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition) -> HsConstraintDefinition Source #

IsSql92ColumnConstraintDefinitionSyntax BeamSerializedConstraintDefinition Source # 
Instance details

Defined in Database.Beam.Migrate.Serialization

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition 
Instance details

Defined in Database.Beam.Migrate.Serialization

type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition = BeamSerializedConstraint
type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition 
Instance details

Defined in Database.Beam.Migrate.Serialization

type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition = BeamSerializedConstraintAttributes

Methods

constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition -> Maybe (Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition) -> BeamSerializedConstraintDefinition Source #

class (Semigroup attrs, Monoid attrs, Typeable attrs) => IsSql92ConstraintAttributesSyntax attrs where Source #

Methods

initiallyDeferredAttributeSyntax :: attrs Source #

initiallyImmediateAttributeSyntax :: attrs Source #

notDeferrableAttributeSyntax :: attrs Source #

deferrableAttributeSyntax :: attrs Source #

Instances

Instances details
IsSql92ConstraintAttributesSyntax HsNone Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

initiallyDeferredAttributeSyntax :: HsNone Source #

initiallyImmediateAttributeSyntax :: HsNone Source #

notDeferrableAttributeSyntax :: HsNone Source #

deferrableAttributeSyntax :: HsNone Source #

IsSql92ConstraintAttributesSyntax SqlConstraintAttributesBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Methods

initiallyDeferredAttributeSyntax :: SqlConstraintAttributesBuilder Source #

initiallyImmediateAttributeSyntax :: SqlConstraintAttributesBuilder Source #

notDeferrableAttributeSyntax :: SqlConstraintAttributesBuilder Source #

deferrableAttributeSyntax :: SqlConstraintAttributesBuilder Source #

IsSql92ConstraintAttributesSyntax BeamSerializedConstraintAttributes Source # 
Instance details

Defined in Database.Beam.Migrate.Serialization

Methods

initiallyDeferredAttributeSyntax :: BeamSerializedConstraintAttributes Source #

initiallyImmediateAttributeSyntax :: BeamSerializedConstraintAttributes Source #

notDeferrableAttributeSyntax :: BeamSerializedConstraintAttributes Source #

deferrableAttributeSyntax :: BeamSerializedConstraintAttributes Source #

class (IsSql92MatchTypeSyntax (Sql92ColumnConstraintMatchTypeSyntax constraint), IsSql92ReferentialActionSyntax (Sql92ColumnConstraintReferentialActionSyntax constraint), Typeable (Sql92ColumnConstraintExpressionSyntax constraint), Typeable constraint) => IsSql92ColumnConstraintSyntax constraint where Source #

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax constraint Source #

type Sql92ColumnConstraintReferentialActionSyntax constraint Source #

type Sql92ColumnConstraintExpressionSyntax constraint Source #

Methods

notNullConstraintSyntax :: constraint Source #

uniqueColumnConstraintSyntax :: constraint Source #

primaryKeyColumnConstraintSyntax :: constraint Source #

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax constraint -> constraint Source #

referencesConstraintSyntax Source #

Arguments

:: Text 
-> [Text] 
-> Maybe (Sql92ColumnConstraintMatchTypeSyntax constraint) 
-> Maybe (Sql92ColumnConstraintReferentialActionSyntax constraint)

On update

-> Maybe (Sql92ColumnConstraintReferentialActionSyntax constraint)

On delete

-> constraint 

Instances

Instances details
IsSql92ColumnConstraintSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnConstraintMatchTypeSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder 
Instance details

Defined in Database.Beam.Migrate.SQL.Builder

type Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

notNullConstraintSyntax :: SqlSyntaxBuilder Source #

uniqueColumnConstraintSyntax :: SqlSyntaxBuilder Source #

primaryKeyColumnConstraintSyntax :: SqlSyntaxBuilder Source #

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

referencesConstraintSyntax :: Text -> [Text] -> Maybe (Sql92ColumnConstraintMatchTypeSyntax SqlSyntaxBuilder) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source #

IsSql92ColumnConstraintSyntax HsExpr Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax HsExpr 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnConstraintMatchTypeSyntax HsExpr = HsNone
type Sql92ColumnConstraintReferentialActionSyntax HsExpr 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnConstraintReferentialActionSyntax HsExpr = HsNone
type Sql92ColumnConstraintExpressionSyntax HsExpr 
Instance details

Defined in Database.Beam.Haskell.Syntax

type Sql92ColumnConstraintExpressionSyntax HsExpr = HsExpr

Methods

notNullConstraintSyntax :: HsExpr Source #

uniqueColumnConstraintSyntax :: HsExpr Source #

primaryKeyColumnConstraintSyntax :: HsExpr Source #

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax HsExpr -> HsExpr Source #

referencesConstraintSyntax :: Text -> [Text] -> Maybe (Sql92ColumnConstraintMatchTypeSyntax HsExpr) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax HsExpr) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax HsExpr) -> HsExpr Source #

IsSql92ColumnConstraintSyntax BeamSerializedConstraint Source # 
Instance details

Defined in Database.Beam.Migrate.Serialization

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint 
Instance details

Defined in Database.Beam.Migrate.Serialization

type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint = BeamSerializedMatchType
type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint 
Instance details

Defined in Database.Beam.Migrate.Serialization

type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint = BeamSerializedReferentialAction
type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint 
Instance details

Defined in Database.Beam.Migrate.Serialization

type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint = BeamSerializedExpression

Methods

notNullConstraintSyntax :: BeamSerializedConstraint Source #

uniqueColumnConstraintSyntax :: BeamSerializedConstraint Source #

primaryKeyColumnConstraintSyntax :: BeamSerializedConstraint Source #

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint -> BeamSerializedConstraint Source #

referencesConstraintSyntax :: Text -> [Text] -> Maybe (Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint) -> BeamSerializedConstraint Source #

class Sql92SerializableDataTypeSyntax dataType where Source #

IsSql92DataTypeSyntaxes that can be serialized to JSON

Methods

serializeDataType :: dataType -> Value Source #

Instances

Instances details
Sql92SerializableDataTypeSyntax HsDataType Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

serializeDataType :: HsDataType -> Value Source #

class Sql92SerializableConstraintDefinitionSyntax constraint where Source #

IsSql92ColumnConstraintDefinitionSyntaxes that can be serialized to JSON

Methods

serializeConstraint :: constraint -> Value Source #

Instances

Instances details
Sql92SerializableConstraintDefinitionSyntax HsConstraintDefinition Source # 
Instance details

Defined in Database.Beam.Haskell.Syntax

Methods

serializeConstraint :: HsConstraintDefinition -> Value Source #