Database.Beam.Migrate.SQL.SQL92

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.

Convenience type synonyms

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

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)

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))

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

type Sql92SaneDdlSchemaCommandSyntaxMigrateOnly cmd = (Sql92SaneDdlCommandSyntaxMigrateOnly cmd, IsSql92DdlSchemaCommandSyntax cmd)

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

type Sql92DdlCommandDataTypeSyntax syntax = Sql92ColumnSchemaColumnTypeSyntax (Sql92DdlCommandColumnSchemaSyntax syntax)

type Sql92DdlCommandColumnSchemaSyntax syntax = Sql92CreateTableColumnSchemaSyntax (Sql92DdlCommandCreateTableSyntax syntax)

type Sql92DdlCommandConstraintDefinitionSyntax syntax = Sql92ColumnSchemaColumnConstraintDefinitionSyntax (Sql92DdlCommandColumnSchemaSyntax syntax)

type Sql92DdlColumnSchemaConstraintSyntax syntax = Sql92ColumnConstraintDefinitionConstraintSyntax (Sql92ColumnSchemaColumnConstraintDefinitionSyntax syntax)

type Sql92DdlCommandColumnConstraintSyntax syntax = Sql92DdlColumnSchemaConstraintSyntax (Sql92DdlCommandColumnSchemaSyntax syntax)

type Sql92DdlCommandMatchTypeSyntax syntax = Sql92ColumnConstraintMatchTypeSyntax (Sql92DdlCommandColumnConstraintSyntax syntax)

type Sql92DdlCommandReferentialActionSyntax syntax = Sql92ColumnConstraintReferentialActionSyntax (Sql92DdlCommandColumnConstraintSyntax syntax)

type Sql92DdlCommandConstraintAttributesSyntax syntax = Sql92ColumnConstraintDefinitionAttributesSyntax (Sql92DdlCommandConstraintDefinitionSyntax syntax)

type Sql92DdlCommandAlterTableActionSyntax syntax = Sql92AlterTableAlterTableActionSyntax (Sql92DdlCommandAlterTableSyntax syntax)

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

Associated Types

type Sql92DdlCommandCreateSchemaSyntax syntax :: Type

type Sql92DdlCommandDropSchemaSyntax syntax :: Type

Methods

createSchemaCmd :: Sql92DdlCommandCreateSchemaSyntax syntax -> syntax

dropSchemaCmd :: Sql92DdlCommandDropSchemaSyntax syntax -> syntax

Instances

IsSql92DdlSchemaCommandSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DdlCommandCreateSchemaSyntax SqlSyntaxBuilder

type Sql92DdlCommandDropSchemaSyntax SqlSyntaxBuilder

Methods

createSchemaCmd :: Sql92DdlCommandCreateSchemaSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

dropSchemaCmd :: Sql92DdlCommandDropSchemaSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

IsSql92DdlSchemaCommandSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DdlCommandCreateSchemaSyntax HsAction

type Sql92DdlCommandDropSchemaSyntax HsAction

Methods

createSchemaCmd :: Sql92DdlCommandCreateSchemaSyntax HsAction -> HsAction

dropSchemaCmd :: Sql92DdlCommandDropSchemaSyntax HsAction -> HsAction

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

Associated Types

type Sql92DdlCommandCreateTableSyntax syntax :: Type

type Sql92DdlCommandAlterTableSyntax syntax :: Type

type Sql92DdlCommandDropTableSyntax syntax :: Type

Methods

createTableCmd :: Sql92DdlCommandCreateTableSyntax syntax -> syntax

dropTableCmd :: Sql92DdlCommandDropTableSyntax syntax -> syntax

alterTableCmd :: Sql92DdlCommandAlterTableSyntax syntax -> syntax

Instances

IsSql92DdlCommandSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DdlCommandCreateTableSyntax SqlSyntaxBuilder

type Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder

type Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder

Methods

createTableCmd :: Sql92DdlCommandCreateTableSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

dropTableCmd :: Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

alterTableCmd :: Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

IsSql92DdlCommandSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DdlCommandCreateTableSyntax HsAction

type Sql92DdlCommandAlterTableSyntax HsAction

type Sql92DdlCommandDropTableSyntax HsAction

Methods

createTableCmd :: Sql92DdlCommandCreateTableSyntax HsAction -> HsAction

dropTableCmd :: Sql92DdlCommandDropTableSyntax HsAction -> HsAction

alterTableCmd :: Sql92DdlCommandAlterTableSyntax HsAction -> HsAction

class IsSql92SchemaNameSyntax (Sql92CreateSchemaSchemaNameSyntax syntax) => IsSql92CreateSchemaSyntax syntax where

Associated Types

type Sql92CreateSchemaSchemaNameSyntax syntax :: Type

Methods

createSchemaSyntax :: Sql92CreateSchemaSchemaNameSyntax syntax -> syntax

Instances

IsSql92CreateSchemaSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92CreateSchemaSchemaNameSyntax SqlSyntaxBuilder

Methods

createSchemaSyntax :: Sql92CreateSchemaSchemaNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

IsSql92CreateSchemaSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92CreateSchemaSchemaNameSyntax HsAction

Methods

createSchemaSyntax :: Sql92CreateSchemaSchemaNameSyntax HsAction -> HsAction

class IsSql92SchemaNameSyntax (Sql92DropSchemaSchemaNameSyntax syntax) => IsSql92DropSchemaSyntax syntax where

Associated Types

type Sql92DropSchemaSchemaNameSyntax syntax :: Type

Methods

dropSchemaSyntax :: Sql92DropSchemaSchemaNameSyntax syntax -> syntax

Instances

IsSql92DropSchemaSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DropSchemaSchemaNameSyntax SqlSyntaxBuilder

Methods

dropSchemaSyntax :: Sql92DropSchemaSchemaNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

IsSql92DropSchemaSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DropSchemaSchemaNameSyntax HsAction

Methods

dropSchemaSyntax :: Sql92DropSchemaSchemaNameSyntax HsAction -> HsAction

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

Associated Types

type Sql92CreateTableTableNameSyntax syntax :: Type

type Sql92CreateTableColumnSchemaSyntax syntax :: Type

type Sql92CreateTableTableConstraintSyntax syntax :: Type

type Sql92CreateTableOptionsSyntax syntax :: Type

Methods

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

Instances

IsSql92CreateTableSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92CreateTableTableNameSyntax SqlSyntaxBuilder

type Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder

type Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder

type Sql92CreateTableOptionsSyntax SqlSyntaxBuilder

Methods

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

IsSql92CreateTableSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92CreateTableTableNameSyntax HsAction

type Sql92CreateTableColumnSchemaSyntax HsAction

type Sql92CreateTableTableConstraintSyntax HsAction

type Sql92CreateTableOptionsSyntax HsAction

Methods

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

class IsSql92TableNameSyntax (Sql92DropTableTableNameSyntax syntax) => IsSql92DropTableSyntax syntax where

Associated Types

type Sql92DropTableTableNameSyntax syntax :: Type

Methods

dropTableSyntax :: Sql92DropTableTableNameSyntax syntax -> syntax

Instances

IsSql92DropTableSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92DropTableTableNameSyntax SqlSyntaxBuilder

Methods

dropTableSyntax :: Sql92DropTableTableNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

IsSql92DropTableSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92DropTableTableNameSyntax HsAction

Methods

dropTableSyntax :: Sql92DropTableTableNameSyntax HsAction -> HsAction

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

Associated Types

type Sql92AlterTableTableNameSyntax syntax :: Type

type Sql92AlterTableAlterTableActionSyntax syntax :: Type

Methods

alterTableSyntax :: Sql92AlterTableTableNameSyntax syntax -> Sql92AlterTableAlterTableActionSyntax syntax -> syntax

Instances

IsSql92AlterTableSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92AlterTableTableNameSyntax SqlSyntaxBuilder

type Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder

Methods

alterTableSyntax :: Sql92AlterTableTableNameSyntax SqlSyntaxBuilder -> Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

IsSql92AlterTableSyntax HsAction

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92AlterTableTableNameSyntax HsAction

type Sql92AlterTableAlterTableActionSyntax HsAction

Methods

alterTableSyntax :: Sql92AlterTableTableNameSyntax HsAction -> Sql92AlterTableAlterTableActionSyntax HsAction -> HsAction

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

Associated Types

type Sql92AlterTableAlterColumnActionSyntax syntax :: Type

type Sql92AlterTableColumnSchemaSyntax syntax :: Type

Methods

alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax syntax -> syntax

addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax syntax -> syntax

dropColumnSyntax :: Text -> syntax

renameTableToSyntax :: Text -> syntax

renameColumnToSyntax :: Text -> Text -> syntax

Instances

IsSql92AlterTableActionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92AlterTableAlterColumnActionSyntax SqlSyntaxBuilder

type Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder

Methods

alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

dropColumnSyntax :: Text -> SqlSyntaxBuilder

renameTableToSyntax :: Text -> SqlSyntaxBuilder

renameColumnToSyntax :: Text -> Text -> SqlSyntaxBuilder

IsSql92AlterTableActionSyntax HsNone

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92AlterTableAlterColumnActionSyntax HsNone

type Sql92AlterTableColumnSchemaSyntax HsNone

Methods

alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax HsNone -> HsNone

addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax HsNone -> HsNone

dropColumnSyntax :: Text -> HsNone

renameTableToSyntax :: Text -> HsNone

renameColumnToSyntax :: Text -> Text -> HsNone

class IsSql92AlterColumnActionSyntax syntax where

Methods

setNotNullSyntax :: syntax

setNullSyntax :: syntax

Instances

IsSql92AlterColumnActionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Methods

setNotNullSyntax :: SqlSyntaxBuilder

setNullSyntax :: SqlSyntaxBuilder

IsSql92AlterColumnActionSyntax HsNone

Defined in Database.Beam.Haskell.Syntax

Methods

setNotNullSyntax :: HsNone

setNullSyntax :: HsNone

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

Associated Types

type Sql92ColumnSchemaColumnTypeSyntax columnSchema :: Type

type Sql92ColumnSchemaExpressionSyntax columnSchema :: Type

type Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema :: Type

Methods

columnSchemaSyntax

Arguments

:: Sql92ColumnSchemaColumnTypeSyntax columnSchema

Column type

-> Maybe (Sql92ColumnSchemaExpressionSyntax columnSchema)

Default value

-> [Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema]

Column constraints

-> Maybe Text

Default collation

-> columnSchema

Instances

IsSql92ColumnSchemaSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92ColumnSchemaColumnTypeSyntax SqlSyntaxBuilder

type Sql92ColumnSchemaExpressionSyntax SqlSyntaxBuilder

type Sql92ColumnSchemaColumnConstraintDefinitionSyntax SqlSyntaxBuilder

Methods

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

IsSql92ColumnSchemaSyntax HsColumnSchema

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92ColumnSchemaColumnTypeSyntax HsColumnSchema

type Sql92ColumnSchemaExpressionSyntax HsColumnSchema

type Sql92ColumnSchemaColumnConstraintDefinitionSyntax HsColumnSchema

Methods

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

class Typeable constraint => IsSql92TableConstraintSyntax constraint where

Methods

primaryKeyConstraintSyntax :: [Text] -> constraint

Instances

IsSql92TableConstraintSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Methods

primaryKeyConstraintSyntax :: [Text] -> SqlSyntaxBuilder

IsSql92TableConstraintSyntax HsTableConstraint

Defined in Database.Beam.Haskell.Syntax

Methods

primaryKeyConstraintSyntax :: [Text] -> HsTableConstraint

class Typeable match => IsSql92MatchTypeSyntax match where

Methods

fullMatchSyntax :: match

partialMatchSyntax :: match

Instances

IsSql92MatchTypeSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Methods

fullMatchSyntax :: SqlSyntaxBuilder

partialMatchSyntax :: SqlSyntaxBuilder

IsSql92MatchTypeSyntax HsNone

Defined in Database.Beam.Haskell.Syntax

Methods

fullMatchSyntax :: HsNone

partialMatchSyntax :: HsNone

IsSql92MatchTypeSyntax BeamSerializedMatchType

Defined in Database.Beam.Migrate.Serialization

Methods

fullMatchSyntax :: BeamSerializedMatchType

partialMatchSyntax :: BeamSerializedMatchType

class Typeable refAction => IsSql92ReferentialActionSyntax refAction where

Methods

referentialActionCascadeSyntax :: refAction

referentialActionSetNullSyntax :: refAction

referentialActionSetDefaultSyntax :: refAction

referentialActionNoActionSyntax :: refAction

Instances

IsSql92ReferentialActionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Methods

referentialActionCascadeSyntax :: SqlSyntaxBuilder

referentialActionSetNullSyntax :: SqlSyntaxBuilder

referentialActionSetDefaultSyntax :: SqlSyntaxBuilder

referentialActionNoActionSyntax :: SqlSyntaxBuilder

IsSql92ReferentialActionSyntax HsNone

Defined in Database.Beam.Haskell.Syntax

Methods

referentialActionCascadeSyntax :: HsNone

referentialActionSetNullSyntax :: HsNone

referentialActionSetDefaultSyntax :: HsNone

referentialActionNoActionSyntax :: HsNone

IsSql92ReferentialActionSyntax BeamSerializedReferentialAction

Defined in Database.Beam.Migrate.Serialization

Methods

referentialActionCascadeSyntax :: BeamSerializedReferentialAction

referentialActionSetNullSyntax :: BeamSerializedReferentialAction

referentialActionSetDefaultSyntax :: BeamSerializedReferentialAction

referentialActionNoActionSyntax :: BeamSerializedReferentialAction

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

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax constraint :: Type

type Sql92ColumnConstraintDefinitionAttributesSyntax constraint :: Type

Methods

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

Instances

IsSql92ColumnConstraintDefinitionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax SqlSyntaxBuilder

type Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder

Methods

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

IsSql92ColumnConstraintDefinitionSyntax HsConstraintDefinition

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax HsConstraintDefinition

type Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition

Methods

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

IsSql92ColumnConstraintDefinitionSyntax BeamSerializedConstraintDefinition

Defined in Database.Beam.Migrate.Serialization

Associated Types

type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition

type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition

Methods

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

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

Methods

initiallyDeferredAttributeSyntax :: attrs

initiallyImmediateAttributeSyntax :: attrs

notDeferrableAttributeSyntax :: attrs

deferrableAttributeSyntax :: attrs

Instances

IsSql92ConstraintAttributesSyntax HsNone

Defined in Database.Beam.Haskell.Syntax

Methods

initiallyDeferredAttributeSyntax :: HsNone

initiallyImmediateAttributeSyntax :: HsNone

notDeferrableAttributeSyntax :: HsNone

deferrableAttributeSyntax :: HsNone

IsSql92ConstraintAttributesSyntax SqlConstraintAttributesBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Methods

initiallyDeferredAttributeSyntax :: SqlConstraintAttributesBuilder

initiallyImmediateAttributeSyntax :: SqlConstraintAttributesBuilder

notDeferrableAttributeSyntax :: SqlConstraintAttributesBuilder

deferrableAttributeSyntax :: SqlConstraintAttributesBuilder

IsSql92ConstraintAttributesSyntax BeamSerializedConstraintAttributes

Defined in Database.Beam.Migrate.Serialization

Methods

initiallyDeferredAttributeSyntax :: BeamSerializedConstraintAttributes

initiallyImmediateAttributeSyntax :: BeamSerializedConstraintAttributes

notDeferrableAttributeSyntax :: BeamSerializedConstraintAttributes

deferrableAttributeSyntax :: BeamSerializedConstraintAttributes

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

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax constraint :: Type

type Sql92ColumnConstraintReferentialActionSyntax constraint :: Type

type Sql92ColumnConstraintExpressionSyntax constraint :: Type

Methods

notNullConstraintSyntax :: constraint

uniqueColumnConstraintSyntax :: constraint

primaryKeyColumnConstraintSyntax :: constraint

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax constraint -> constraint

referencesConstraintSyntax

Arguments

:: Text

-> [Text]

-> Maybe (Sql92ColumnConstraintMatchTypeSyntax constraint)

-> Maybe (Sql92ColumnConstraintReferentialActionSyntax constraint)

On update

-> Maybe (Sql92ColumnConstraintReferentialActionSyntax constraint)

On delete

-> constraint

Instances

IsSql92ColumnConstraintSyntax SqlSyntaxBuilder

Defined in Database.Beam.Migrate.SQL.Builder

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax SqlSyntaxBuilder

type Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder

type Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder

Methods

notNullConstraintSyntax :: SqlSyntaxBuilder

uniqueColumnConstraintSyntax :: SqlSyntaxBuilder

primaryKeyColumnConstraintSyntax :: SqlSyntaxBuilder

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

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

IsSql92ColumnConstraintSyntax HsExpr

Defined in Database.Beam.Haskell.Syntax

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax HsExpr

type Sql92ColumnConstraintReferentialActionSyntax HsExpr

type Sql92ColumnConstraintExpressionSyntax HsExpr

Methods

notNullConstraintSyntax :: HsExpr

uniqueColumnConstraintSyntax :: HsExpr

primaryKeyColumnConstraintSyntax :: HsExpr

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax HsExpr -> HsExpr

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

IsSql92ColumnConstraintSyntax BeamSerializedConstraint

Defined in Database.Beam.Migrate.Serialization

Associated Types

type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint

type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint

type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint

Methods

notNullConstraintSyntax :: BeamSerializedConstraint

uniqueColumnConstraintSyntax :: BeamSerializedConstraint

primaryKeyColumnConstraintSyntax :: BeamSerializedConstraint

checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint -> BeamSerializedConstraint

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

class Sql92SerializableDataTypeSyntax dataType where

IsSql92DataTypeSyntaxes that can be serialized to JSON

Methods

serializeDataType :: dataType -> Value

Instances

Sql92SerializableDataTypeSyntax HsDataType

Defined in Database.Beam.Haskell.Syntax

Methods

serializeDataType :: HsDataType -> Value

class Sql92SerializableConstraintDefinitionSyntax constraint where

IsSql92ColumnConstraintDefinitionSyntaxes that can be serialized to JSON

Methods

serializeConstraint :: constraint -> Value

Instances

Sql92SerializableConstraintDefinitionSyntax HsConstraintDefinition

Defined in Database.Beam.Haskell.Syntax

Methods

serializeConstraint :: HsConstraintDefinition -> Value