Safe Haskell	None
Language	Haskell2010

Database.Beam.Migrate.SQL.SQL92

Contents

Convenience type synonyms

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

type Sql92SaneDdlCommandSyntax cmd = ( Sql92SaneDdlCommandSyntaxMigrateOnly cmd, Sql92ExpressionCastTargetSyntax ( Sql92ExpressionSyntax cmd) ~ Sql92DdlCommandDataTypeSyntax cmd, Sql92ColumnSchemaExpressionSyntax ( Sql92DdlCommandColumnSchemaSyntax cmd) ~ Sql92ExpressionSyntax cmd)
type Sql92SaneDdlCommandSyntaxMigrateOnly cmd = ( IsSql92DdlCommandSyntax cmd, Sql92SerializableDataTypeSyntax ( Sql92DdlCommandDataTypeSyntax cmd), Sql92SerializableConstraintDefinitionSyntax ( Sql92DdlCommandConstraintDefinitionSyntax cmd), Typeable ( Sql92DdlCommandColumnSchemaSyntax cmd), Sql92AlterTableColumnSchemaSyntax ( Sql92AlterTableAlterTableActionSyntax ( Sql92DdlCommandAlterTableSyntax cmd)) ~ Sql92CreateTableColumnSchemaSyntax ( Sql92DdlCommandCreateTableSyntax cmd))
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 ( IsSql92CreateTableSyntax ( Sql92DdlCommandCreateTableSyntax syntax), IsSql92DropTableSyntax ( Sql92DdlCommandDropTableSyntax syntax), IsSql92AlterTableSyntax ( Sql92DdlCommandAlterTableSyntax syntax)) => IsSql92DdlCommandSyntax syntax where
- type Sql92DdlCommandCreateTableSyntax syntax :: *
- type Sql92DdlCommandAlterTableSyntax syntax :: *
- type Sql92DdlCommandDropTableSyntax syntax :: *
- createTableCmd :: Sql92DdlCommandCreateTableSyntax syntax -> syntax
- dropTableCmd :: Sql92DdlCommandDropTableSyntax syntax -> syntax
- alterTableCmd :: Sql92DdlCommandAlterTableSyntax syntax -> syntax
class ( IsSql92TableConstraintSyntax ( Sql92CreateTableTableConstraintSyntax syntax), IsSql92ColumnSchemaSyntax ( Sql92CreateTableColumnSchemaSyntax syntax), IsSql92TableNameSyntax ( Sql92CreateTableTableNameSyntax syntax)) => IsSql92CreateTableSyntax syntax where
- type Sql92CreateTableTableNameSyntax syntax :: *
- type Sql92CreateTableColumnSchemaSyntax syntax :: *
- type Sql92CreateTableTableConstraintSyntax syntax :: *
- type Sql92CreateTableOptionsSyntax syntax :: *
- createTableSyntax :: Maybe ( Sql92CreateTableOptionsSyntax syntax) -> Sql92CreateTableTableNameSyntax syntax -> [( Text , Sql92CreateTableColumnSchemaSyntax syntax)] -> [ Sql92CreateTableTableConstraintSyntax syntax] -> syntax
class IsSql92TableNameSyntax ( Sql92DropTableTableNameSyntax syntax) => IsSql92DropTableSyntax syntax where
- type Sql92DropTableTableNameSyntax syntax :: *
- dropTableSyntax :: Sql92DropTableTableNameSyntax syntax -> syntax
class ( IsSql92TableNameSyntax ( Sql92AlterTableTableNameSyntax syntax), IsSql92AlterTableActionSyntax ( Sql92AlterTableAlterTableActionSyntax syntax)) => IsSql92AlterTableSyntax syntax where
- type Sql92AlterTableTableNameSyntax syntax :: *
- type Sql92AlterTableAlterTableActionSyntax syntax :: *
- alterTableSyntax :: Sql92AlterTableTableNameSyntax syntax -> Sql92AlterTableAlterTableActionSyntax syntax -> syntax
class ( IsSql92ColumnSchemaSyntax ( Sql92AlterTableColumnSchemaSyntax syntax), IsSql92AlterColumnActionSyntax ( Sql92AlterTableAlterColumnActionSyntax syntax)) => IsSql92AlterTableActionSyntax syntax where
- type Sql92AlterTableAlterColumnActionSyntax syntax :: *
- type Sql92AlterTableColumnSchemaSyntax syntax :: *
- alterColumnSyntax :: Text -> Sql92AlterTableAlterColumnActionSyntax syntax -> syntax
- addColumnSyntax :: Text -> Sql92AlterTableColumnSchemaSyntax syntax -> syntax
- dropColumnSyntax :: Text -> syntax
- renameTableToSyntax :: Text -> syntax
- renameColumnToSyntax :: Text -> Text -> syntax
class IsSql92AlterColumnActionSyntax syntax where
- setNotNullSyntax , setNullSyntax :: syntax
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
- type Sql92ColumnSchemaColumnTypeSyntax columnSchema :: *
- type Sql92ColumnSchemaExpressionSyntax columnSchema :: *
- type Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema :: *
- columnSchemaSyntax :: Sql92ColumnSchemaColumnTypeSyntax columnSchema -> Maybe ( Sql92ColumnSchemaExpressionSyntax columnSchema) -> [ Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema] -> Maybe Text -> columnSchema
class Typeable constraint => IsSql92TableConstraintSyntax constraint where
- primaryKeyConstraintSyntax :: [ Text ] -> constraint
class Typeable match => IsSql92MatchTypeSyntax match where
- fullMatchSyntax :: match
- partialMatchSyntax :: match
class Typeable refAction => IsSql92ReferentialActionSyntax refAction where
- referentialActionCascadeSyntax :: refAction
- referentialActionSetNullSyntax :: refAction
- referentialActionSetDefaultSyntax :: refAction
- referentialActionNoActionSyntax :: refAction
class ( IsSql92ColumnConstraintSyntax ( Sql92ColumnConstraintDefinitionConstraintSyntax constraint), IsSql92ConstraintAttributesSyntax ( Sql92ColumnConstraintDefinitionAttributesSyntax constraint), Typeable constraint) => IsSql92ColumnConstraintDefinitionSyntax constraint where
- type Sql92ColumnConstraintDefinitionConstraintSyntax constraint :: *
- type Sql92ColumnConstraintDefinitionAttributesSyntax constraint :: *
- constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax constraint -> Maybe ( Sql92ColumnConstraintDefinitionAttributesSyntax constraint) -> constraint
class ( Semigroup attrs, Monoid attrs, Typeable attrs) => IsSql92ConstraintAttributesSyntax attrs where
- initiallyDeferredAttributeSyntax :: attrs
- initiallyImmediateAttributeSyntax :: attrs
- notDeferrableAttributeSyntax :: attrs
- deferrableAttributeSyntax :: attrs
class ( IsSql92MatchTypeSyntax ( Sql92ColumnConstraintMatchTypeSyntax constraint), IsSql92ReferentialActionSyntax ( Sql92ColumnConstraintReferentialActionSyntax constraint), Typeable ( Sql92ColumnConstraintExpressionSyntax constraint), Typeable constraint) => IsSql92ColumnConstraintSyntax constraint where
- type Sql92ColumnConstraintMatchTypeSyntax constraint :: *
- type Sql92ColumnConstraintReferentialActionSyntax constraint :: *
- type Sql92ColumnConstraintExpressionSyntax constraint :: *
- notNullConstraintSyntax :: constraint
- uniqueColumnConstraintSyntax :: constraint
- primaryKeyColumnConstraintSyntax :: constraint
- checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax constraint -> constraint
- referencesConstraintSyntax :: Text -> [ Text ] -> Maybe ( Sql92ColumnConstraintMatchTypeSyntax constraint) -> Maybe ( Sql92ColumnConstraintReferentialActionSyntax constraint) -> Maybe ( Sql92ColumnConstraintReferentialActionSyntax constraint) -> constraint
class Sql92SerializableDataTypeSyntax dataType where
- serializeDataType :: dataType -> Value
class Sql92SerializableConstraintDefinitionSyntax constraint where
- serializeConstraint :: constraint -> Value

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 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 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 ( 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 Source # type Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder Source # type Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder Source # 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 Source # type Sql92DdlCommandAlterTableSyntax HsAction Source # type Sql92DdlCommandDropTableSyntax HsAction Source # Methods createTableCmd :: Sql92DdlCommandCreateTableSyntax HsAction -> HsAction Source # dropTableCmd :: Sql92DdlCommandDropTableSyntax HsAction -> HsAction Source # alterTableCmd :: Sql92DdlCommandAlterTableSyntax 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 Source # type Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder Source # type Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder Source # type Sql92CreateTableOptionsSyntax SqlSyntaxBuilder Source # 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 Source # type Sql92CreateTableColumnSchemaSyntax HsAction Source # type Sql92CreateTableTableConstraintSyntax HsAction Source # type Sql92CreateTableOptionsSyntax HsAction Source # 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 Source # Methods dropTableSyntax :: Sql92DropTableTableNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #
IsSql92DropTableSyntax HsAction Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92DropTableTableNameSyntax HsAction Source # 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 Source # type Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder Source # Methods alterTableSyntax :: Sql92AlterTableTableNameSyntax SqlSyntaxBuilder -> Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #
IsSql92AlterTableSyntax HsAction Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92AlterTableTableNameSyntax HsAction Source # type Sql92AlterTableAlterTableActionSyntax HsAction Source # 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 Source # type Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder Source # 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 Source # type Sql92AlterTableColumnSchemaSyntax HsNone Source # 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 #

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 Source # type Sql92ColumnSchemaExpressionSyntax SqlSyntaxBuilder Source # type Sql92ColumnSchemaColumnConstraintDefinitionSyntax SqlSyntaxBuilder Source # 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 Source # type Sql92ColumnSchemaExpressionSyntax HsColumnSchema Source # type Sql92ColumnSchemaColumnConstraintDefinitionSyntax HsColumnSchema Source # 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 BeamSerializedMatchType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods fullMatchSyntax :: BeamSerializedMatchType Source # partialMatchSyntax :: BeamSerializedMatchType Source #
IsSql92MatchTypeSyntax HsNone Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods fullMatchSyntax :: HsNone Source # partialMatchSyntax :: HsNone 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 BeamSerializedReferentialAction Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods referentialActionCascadeSyntax :: BeamSerializedReferentialAction Source # referentialActionSetNullSyntax :: BeamSerializedReferentialAction Source # referentialActionSetDefaultSyntax :: BeamSerializedReferentialAction Source # referentialActionNoActionSyntax :: BeamSerializedReferentialAction 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 #

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 Source # type Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder Source # Methods constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax SqlSyntaxBuilder -> Maybe ( Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder ) -> SqlSyntaxBuilder Source #
IsSql92ColumnConstraintDefinitionSyntax BeamSerializedConstraintDefinition Source #
Instance details Defined in Database.Beam.Migrate.Serialization Associated Types type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition Source # type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition Source # Methods constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition -> Maybe ( Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition ) -> BeamSerializedConstraintDefinition Source #
IsSql92ColumnConstraintDefinitionSyntax HsConstraintDefinition Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92ColumnConstraintDefinitionConstraintSyntax HsConstraintDefinition Source # type Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition Source # Methods constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax HsConstraintDefinition -> Maybe ( Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition ) -> HsConstraintDefinition 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 BeamSerializedConstraintAttributes Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods initiallyDeferredAttributeSyntax :: BeamSerializedConstraintAttributes Source # initiallyImmediateAttributeSyntax :: BeamSerializedConstraintAttributes Source # notDeferrableAttributeSyntax :: BeamSerializedConstraintAttributes Source # deferrableAttributeSyntax :: BeamSerializedConstraintAttributes 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 HsNone Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods initiallyDeferredAttributeSyntax :: HsNone Source # initiallyImmediateAttributeSyntax :: HsNone Source # notDeferrableAttributeSyntax :: HsNone Source # deferrableAttributeSyntax :: HsNone 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 Source # type Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder Source # type Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder Source # 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 BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization Associated Types type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint Source # type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint Source # type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint Source # 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 #
IsSql92ColumnConstraintSyntax HsExpr Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92ColumnConstraintMatchTypeSyntax HsExpr Source # type Sql92ColumnConstraintReferentialActionSyntax HsExpr Source # type Sql92ColumnConstraintExpressionSyntax HsExpr Source # 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 #

class Sql92SerializableDataTypeSyntax dataType where Source #

IsSql92DataTypeSyntax es 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 #

IsSql92ColumnConstraintDefinitionSyntax es 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 #