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

IsSql92DdlCommandSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92DdlCommandCreateTableSyntax SqlSyntaxBuilder :: Type Source # type Sql92DdlCommandAlterTableSyntax SqlSyntaxBuilder :: Type Source # type Sql92DdlCommandDropTableSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92DdlCommandAlterTableSyntax HsAction :: Type Source # type Sql92DdlCommandDropTableSyntax HsAction :: Type 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

IsSql92CreateTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92CreateTableTableNameSyntax SqlSyntaxBuilder :: Type Source # type Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder :: Type Source # type Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder :: Type Source # type Sql92CreateTableOptionsSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92CreateTableColumnSchemaSyntax HsAction :: Type Source # type Sql92CreateTableTableConstraintSyntax HsAction :: Type Source # type Sql92CreateTableOptionsSyntax HsAction :: Type 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

IsSql92DropTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92DropTableTableNameSyntax SqlSyntaxBuilder :: Type Source # Methods dropTableSyntax :: Sql92DropTableTableNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #
IsSql92DropTableSyntax HsAction Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92DropTableTableNameSyntax HsAction :: Type 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

IsSql92AlterTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92AlterTableTableNameSyntax SqlSyntaxBuilder :: Type Source # type Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92AlterTableAlterTableActionSyntax HsAction :: Type 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

IsSql92AlterTableActionSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92AlterTableAlterColumnActionSyntax SqlSyntaxBuilder :: Type Source # type Sql92AlterTableColumnSchemaSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92AlterTableColumnSchemaSyntax HsNone :: Type 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

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

IsSql92ColumnSchemaSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92ColumnSchemaColumnTypeSyntax SqlSyntaxBuilder :: Type Source # type Sql92ColumnSchemaExpressionSyntax SqlSyntaxBuilder :: Type Source # type Sql92ColumnSchemaColumnConstraintDefinitionSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92ColumnSchemaExpressionSyntax HsColumnSchema :: Type Source # type Sql92ColumnSchemaColumnConstraintDefinitionSyntax HsColumnSchema :: Type 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

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

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

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

IsSql92ColumnConstraintDefinitionSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92ColumnConstraintDefinitionConstraintSyntax SqlSyntaxBuilder :: Type Source # type Sql92ColumnConstraintDefinitionAttributesSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition :: Type 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 :: Type Source # type Sql92ColumnConstraintDefinitionAttributesSyntax HsConstraintDefinition :: Type 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

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

IsSql92ColumnConstraintSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92ColumnConstraintMatchTypeSyntax SqlSyntaxBuilder :: Type Source # type Sql92ColumnConstraintReferentialActionSyntax SqlSyntaxBuilder :: Type Source # type Sql92ColumnConstraintExpressionSyntax SqlSyntaxBuilder :: Type 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 :: Type Source # type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint :: Type Source # type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint :: Type 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 :: Type Source # type Sql92ColumnConstraintReferentialActionSyntax HsExpr :: Type Source # type Sql92ColumnConstraintExpressionSyntax HsExpr :: Type 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 #

IsSql92DataTypeSyntaxes that can be serialized to JSON

Methods

serializeDataType :: dataType -> Value Source #

Instances

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

Sql92SerializableConstraintDefinitionSyntax HsConstraintDefinition Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods serializeConstraint :: HsConstraintDefinition -> Value Source #