beam-migrate-0.5.1.2: SQL DDL support and migrations support library for Beam
Safe Haskell None
Language Haskell2010

Database.Beam.Migrate.SQL.Tables

Synopsis

Table manipulation

Creation and deletion

createTable :: ( Beamable table, Table table, BeamMigrateSqlBackend be) => Text -> TableSchema be table -> Migration be ( CheckedDatabaseEntity be db ( TableEntity table)) Source #

Add a CREATE TABLE statement to this migration

The first argument is the name of the table.

The second argument is a table containing a FieldSchema for each field. See documentation on the Field command for more information.c

dropTable :: BeamMigrateSqlBackend be => CheckedDatabaseEntity be db ( TableEntity table) -> Migration be () Source #

Add a DROP TABLE statement to this migration.

preserve :: CheckedDatabaseEntity be db e -> Migration be ( CheckedDatabaseEntity be db' e) Source #

Copy a table schema from one database to another

ALTER TABLE

alterTable :: forall be db db' table table'. ( Table table', BeamMigrateSqlBackend be) => CheckedDatabaseEntity be db ( TableEntity table) -> (table ColumnMigration -> TableMigration be (table' ColumnMigration )) -> Migration be ( CheckedDatabaseEntity be db' ( TableEntity table')) Source #

Compose a series of ALTER TABLE commands

Example usage

migrate (OldDb oldTbl) = do
  alterTable oldTbl $ oldTbl' ->
    field2 <- renameColumnTo NewNameForField2 (_field2 oldTbl')
    dropColumn (_field3 oldTbl')
    renameTableTo NewTableName
    field4 <- addColumn (field ANewColumn smallint notNull (defaultTo_ (val_ 0)))
    return (NewTable (_field1 oldTbl') field2 field4)

The above would result in commands like:

ALTER TABLE oldtable RENAME COLUMN field2 TO NewNameForField2;
ALTER TABLE oldtable DROP COLUMN field3;
ALTER TABLE oldtable RENAME TO NewTableName;
ALTER TABLE NewTableName ADD COLUMN ANewColumn SMALLINT NOT NULL DEFAULT 0;

dropColumn :: BeamMigrateSqlBackend be => ColumnMigration a -> TableMigration be () Source #

ALTER TABLE ... DROP COLUMN ... command

Field specification

data DefaultValue be a Source #

Represents the default value of a field with a given column schema syntax and type

newtype Constraint be Source #

Represents a constraint in the given column schema syntax

Instances

Instances details
FieldReturnType defaultGiven collationGiven be resTy a => FieldReturnType defaultGiven collationGiven be resTy ( Constraint be -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

data NotNullConstraint be Source #

Instances

Instances details
( FieldReturnType defaultGiven collationGiven be resTy ( Constraint be -> a), IsNotNull resTy) => FieldReturnType defaultGiven collationGiven be resTy ( NotNullConstraint be -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

field :: ( BeamMigrateSqlBackend be, FieldReturnType ' False ' False be resTy a) => Text -> DataType be resTy -> a Source #

Build a schema for a field. This function takes the name and type of the field and a variable number of modifiers, such as constraints and default values. GHC will complain at you if the modifiers do not make sense. For example, you cannot apply the notNull constraint to a column with a Maybe type.

Example of creating a table named Employee with three columns: FirstName , LastName , and HireDate

data Employee f =
  Employee { _firstName :: C f Text
           , _lastName  :: C f Text
           , _hireDate  :: C f (Maybe LocalTime)
           } deriving Generic
instance Beamable Employee

instance Table Employee where
   data PrimaryKey Employee f = EmployeeKey (C f Text) (C f Text) deriving Generic
   primaryKey = EmployeeKey <$> _firstName <*> _lastName

instance Beamable PrimaryKey Employee f

data EmployeeDb entity
    = EmployeeDb { _employees :: entity (TableEntity Employee) }
    deriving Generic
instance Database EmployeeDb

migration :: IsSql92DdlCommandSyntax syntax => Migration syntax () EmployeeDb
migration = do
  employees <- createTable EmployeesTable
                 (Employee (field FirstNameField (varchar (Just 15)) notNull)
                           (field "last_name" (varchar Nothing) notNull (defaultTo_ (val_ Smith)))
                           (field "hiredDate" (maybeType timestamp)))
  return (EmployeeDb employees)

defaultTo_ :: BeamMigrateSqlBackend be => ( forall s. QExpr be s a) -> DefaultValue be a Source #

Build a DefaultValue from a QExpr . GHC will complain if you supply more than one default value.

Internal classes

class FieldReturnType (defaultGiven :: Bool ) (collationGiven :: Bool ) be resTy a | a -> be resTy where Source #

Instances

Instances details
FieldReturnType ' True collationGiven be resTy a => FieldReturnType ' False collationGiven be resTy ( DefaultValue be resTy -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

( FieldReturnType ' True collationGiven be resTy a, TypeError (' Text "Only one DEFAULT clause can be given per 'field' invocation") :: Constraint ) => FieldReturnType ' True collationGiven be resTy ( DefaultValue be resTy -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

( BeamMigrateSqlBackend be, HasDataTypeCreatedCheck ( BeamMigrateSqlBackendDataTypeSyntax be)) => FieldReturnType defaultGiven collationGiven be resTy ( TableFieldSchema be resTy) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

( FieldReturnType defaultGiven collationGiven be resTy a, TypeError (' Text "Only one type declaration allowed per 'field' invocation") :: Constraint ) => FieldReturnType defaultGiven collationGiven be resTy ( DataType be' x -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

( FieldReturnType defaultGiven collationGiven be resTy ( Constraint be -> a), IsNotNull resTy) => FieldReturnType defaultGiven collationGiven be resTy ( NotNullConstraint be -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

FieldReturnType defaultGiven collationGiven be resTy a => FieldReturnType defaultGiven collationGiven be resTy ( Constraint be -> a) Source #
Instance details

Defined in Database.Beam.Migrate.SQL.Tables

type family IsNotNull (x :: *) :: Constraint where ... Source #

Equations

IsNotNull ( Maybe x) = TypeError ((' Text "You used Database.Beam.Migrate.notNull on a column with type" :$$: ' ShowType ( Maybe x)) :$$: ' Text "Either remove 'notNull' from your migration or 'Maybe' from your table")
IsNotNull x = ()