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, 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 Sql92DisplaySyntax syntax where
class (IsSql92CreateTableSyntax (Sql92DdlCommandCreateTableSyntax syntax), IsSql92DropTableSyntax (Sql92DdlCommandDropTableSyntax syntax), IsSql92AlterTableSyntax (Sql92DdlCommandAlterTableSyntax syntax)) => IsSql92DdlCommandSyntax syntax where
- type Sql92DdlCommandCreateTableSyntax syntax :: *
- type Sql92DdlCommandAlterTableSyntax syntax :: *
- type Sql92DdlCommandDropTableSyntax syntax :: *
class (IsSql92TableConstraintSyntax (Sql92CreateTableTableConstraintSyntax syntax), IsSql92ColumnSchemaSyntax (Sql92CreateTableColumnSchemaSyntax syntax)) => IsSql92CreateTableSyntax syntax where
- type Sql92CreateTableColumnSchemaSyntax syntax :: *
- type Sql92CreateTableTableConstraintSyntax syntax :: *
- type Sql92CreateTableOptionsSyntax syntax :: *
class IsSql92DropTableSyntax syntax where
class IsSql92AlterTableActionSyntax (Sql92AlterTableAlterTableActionSyntax syntax) => IsSql92AlterTableSyntax syntax where
- type Sql92AlterTableAlterTableActionSyntax syntax :: *
class (IsSql92ColumnSchemaSyntax (Sql92AlterTableColumnSchemaSyntax syntax), IsSql92AlterColumnActionSyntax (Sql92AlterTableAlterColumnActionSyntax syntax)) => IsSql92AlterTableActionSyntax syntax where
- type Sql92AlterTableAlterColumnActionSyntax syntax :: *
- type Sql92AlterTableColumnSchemaSyntax syntax :: *
class IsSql92AlterColumnActionSyntax syntax where
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 :: *
class Typeable constraint => IsSql92TableConstraintSyntax constraint where
class Typeable match => IsSql92MatchTypeSyntax match where
class Typeable refAction => IsSql92ReferentialActionSyntax refAction where
class (IsSql92ColumnConstraintSyntax (Sql92ColumnConstraintDefinitionConstraintSyntax constraint), IsSql92ConstraintAttributesSyntax (Sql92ColumnConstraintDefinitionAttributesSyntax constraint), Typeable constraint) => IsSql92ColumnConstraintDefinitionSyntax constraint where
- type Sql92ColumnConstraintDefinitionConstraintSyntax constraint :: *
- type Sql92ColumnConstraintDefinitionAttributesSyntax constraint :: *
class (Semigroup attrs, Monoid attrs, Typeable attrs) => IsSql92ConstraintAttributesSyntax attrs where
class (IsSql92MatchTypeSyntax (Sql92ColumnConstraintMatchTypeSyntax constraint), IsSql92ReferentialActionSyntax (Sql92ColumnConstraintReferentialActionSyntax constraint), Typeable (Sql92ColumnConstraintExpressionSyntax constraint), Typeable constraint) => IsSql92ColumnConstraintSyntax constraint where
- type Sql92ColumnConstraintMatchTypeSyntax constraint :: *
- type Sql92ColumnConstraintReferentialActionSyntax constraint :: *
- type Sql92ColumnConstraintExpressionSyntax constraint :: *
class Sql92SerializableDataTypeSyntax dataType where
class Sql92SerializableConstraintDefinitionSyntax constraint where

Convenience type synonyms

type Sql92SaneDdlCommandSyntax cmd = (Sql92SaneDdlCommandSyntaxMigrateOnly 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 Sql92DisplaySyntax syntax where Source #

Type classes for syntaxes which can be displayed

Minimal complete definition

displaySyntax

Methods

displaySyntax :: syntax -> String Source #

Render the syntax as a String, representing the SQL expression it stands for

Instances

Sql92DisplaySyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Methods displaySyntax :: SqlSyntaxBuilder -> String Source #
Sql92DisplaySyntax HsColumnSchema Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods displaySyntax :: HsColumnSchema -> String Source #
Sql92DisplaySyntax HsDataType Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods displaySyntax :: HsDataType -> String Source #
Sql92DisplaySyntax HsConstraintDefinition Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods displaySyntax :: HsConstraintDefinition -> String Source #

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

Minimal complete definition

createTableCmd, dropTableCmd, alterTableCmd

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 :: * 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)) => IsSql92CreateTableSyntax syntax where Source #

Minimal complete definition

createTableSyntax

Associated Types

type Sql92CreateTableColumnSchemaSyntax syntax :: * Source #

type Sql92CreateTableTableConstraintSyntax syntax :: * Source #

type Sql92CreateTableOptionsSyntax syntax :: * Source #

Methods

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

Instances

IsSql92CreateTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder :: * Source # type Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder :: * Source # type Sql92CreateTableOptionsSyntax SqlSyntaxBuilder :: * Source # Methods createTableSyntax :: Maybe (Sql92CreateTableOptionsSyntax SqlSyntaxBuilder) -> Text -> [(Text, Sql92CreateTableColumnSchemaSyntax SqlSyntaxBuilder)] -> [Sql92CreateTableTableConstraintSyntax SqlSyntaxBuilder] -> SqlSyntaxBuilder Source #
IsSql92CreateTableSyntax HsAction Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92CreateTableColumnSchemaSyntax HsAction :: * Source # type Sql92CreateTableTableConstraintSyntax HsAction :: * Source # type Sql92CreateTableOptionsSyntax HsAction :: * Source # Methods createTableSyntax :: Maybe (Sql92CreateTableOptionsSyntax HsAction) -> Text -> [(Text, Sql92CreateTableColumnSchemaSyntax HsAction)] -> [Sql92CreateTableTableConstraintSyntax HsAction] -> HsAction Source #

class IsSql92DropTableSyntax syntax where Source #

Minimal complete definition

dropTableSyntax

Methods

dropTableSyntax :: Text -> syntax Source #

Instances

IsSql92DropTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Methods dropTableSyntax :: Text -> SqlSyntaxBuilder Source #
IsSql92DropTableSyntax HsAction Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods dropTableSyntax :: Text -> HsAction Source #

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

Minimal complete definition

alterTableSyntax

Associated Types

type Sql92AlterTableAlterTableActionSyntax syntax :: * Source #

Methods

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

Instances

IsSql92AlterTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Associated Types type Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder :: * Source # Methods alterTableSyntax :: Text -> Sql92AlterTableAlterTableActionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #
IsSql92AlterTableSyntax HsAction Source #
Instance details Defined in Database.Beam.Haskell.Syntax Associated Types type Sql92AlterTableAlterTableActionSyntax HsAction :: * Source # Methods alterTableSyntax :: Text -> Sql92AlterTableAlterTableActionSyntax HsAction -> HsAction Source #

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

Minimal complete definition

alterColumnSyntax, addColumnSyntax, dropColumnSyntax, renameTableToSyntax, renameColumnToSyntax

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 :: * 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 #

Minimal complete definition

setNotNullSyntax, setNullSyntax

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 #

Minimal complete definition

columnSchemaSyntax

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 :: * 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 #

Minimal complete definition

primaryKeyConstraintSyntax

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 #

Minimal complete definition

fullMatchSyntax, partialMatchSyntax

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 #

Minimal complete definition

referentialActionCascadeSyntax, referentialActionSetNullSyntax, referentialActionSetDefaultSyntax, referentialActionNoActionSyntax

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 #

Minimal complete definition

constraintDefinitionSyntax

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 :: * 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 #

Minimal complete definition

initiallyDeferredAttributeSyntax, initiallyImmediateAttributeSyntax, notDeferrableAttributeSyntax, deferrableAttributeSyntax

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 HsNone Source #
Instance details Defined in Database.Beam.Haskell.Syntax Methods initiallyDeferredAttributeSyntax :: HsNone Source # initiallyImmediateAttributeSyntax :: HsNone Source # notDeferrableAttributeSyntax :: HsNone Source # deferrableAttributeSyntax :: HsNone Source #
IsSql92ConstraintAttributesSyntax SqlConstraintAttributesBuilder Source #
Instance details Defined in Database.Beam.Migrate.SQL.Builder Methods initiallyDeferredAttributeSyntax :: SqlConstraintAttributesBuilder Source # initiallyImmediateAttributeSyntax :: SqlConstraintAttributesBuilder Source # notDeferrableAttributeSyntax :: SqlConstraintAttributesBuilder Source # deferrableAttributeSyntax :: SqlConstraintAttributesBuilder Source #

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

Minimal complete definition

notNullConstraintSyntax, uniqueColumnConstraintSyntax, primaryKeyColumnConstraintSyntax, checkColumnConstraintSyntax, referencesConstraintSyntax

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 :: * 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 #

IsSql92DataTypeSyntaxes that can be serialized to JSON

Minimal complete definition

serializeDataType

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

Minimal complete definition

serializeConstraint

Methods

serializeConstraint :: constraint -> Value Source #

Instances

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