beam-migrate 0.5.2.0 → 0.5.2.1
raw patch · 5 files changed
+20/−6 lines, 5 filesdep ~aesondep ~bytestringdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: aeson, bytestring, containers, deepseq, free, ghc-prim, mtl, pqueue, text, vector
API changes (from Hackage documentation)
- Database.Beam.Migrate.SQL.SQL92: type family Sql92ColumnConstraintExpressionSyntax constraint :: *;
- Database.Beam.Migrate.Types: data family CheckedDatabaseEntityDescriptor be entity :: *;
- Database.Beam.Migrate.Types: type family CheckedDatabaseEntityDefaultRequirements be entity :: Constraint;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92AlterTableAlterColumnActionSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92AlterTableAlterTableActionSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92AlterTableColumnSchemaSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92AlterTableTableNameSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnConstraintDefinitionAttributesSyntax constraint :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnConstraintDefinitionConstraintSyntax constraint :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnConstraintExpressionSyntax constraint :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnConstraintMatchTypeSyntax constraint :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnConstraintReferentialActionSyntax constraint :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnSchemaColumnConstraintDefinitionSyntax columnSchema :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnSchemaColumnTypeSyntax columnSchema :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92ColumnSchemaExpressionSyntax columnSchema :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92CreateTableColumnSchemaSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92CreateTableOptionsSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92CreateTableTableConstraintSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92CreateTableTableNameSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92DdlCommandAlterTableSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92DdlCommandCreateTableSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92DdlCommandDropTableSyntax syntax :: *;
+ Database.Beam.Migrate.SQL.SQL92: type Sql92DropTableTableNameSyntax syntax :: *;
+ Database.Beam.Migrate.Types: data CheckedDatabaseEntityDescriptor be entity :: *;
+ Database.Beam.Migrate.Types: type CheckedDatabaseEntityDefaultRequirements be entity :: Constraint;
- Database.Beam.Migrate.Actions: [ChooseActions] :: {choosingActionsAtState :: !DatabaseState cmd " The current node we're searching at", getPotentialActionChoice :: f -> PotentialAction cmd " Convert the opaque @f@ type to a 'PotentialAction'. This can be used to present the actions to the user or to inspect the action to make a more informed choice on exploration strategies.", potentialActionChoices :: [f] " The possible actions that we can take, presented as an opaque list. Use the 'getPotentialActionChoice' function to get the corresponding 'PotentialAction'.", continueSearch :: [f] -> Solver cmd " Continue the search and get the next 'Solver'"} -> Solver cmd
+ Database.Beam.Migrate.Actions: [ChooseActions] :: !DatabaseState cmd -> (f -> PotentialAction cmd) -> [f] -> ([f] -> Solver cmd) -> Solver cmd
- Database.Beam.Migrate.Backend: [BeamMigrationBackend] :: (MonadBeam be m, MonadFail m, HasQBuilder be, BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), BeamSqlBackendCanSerialize be LocalTime, BeamSqlBackendCanSerialize be (Maybe LocalTime), BeamSqlBackendCanSerialize be Text, BeamSqlBackendCanSerialize be SqlNull, Sql92ReasonableMarshaller be) => {backendName :: String, backendConnStringExplanation :: String, backendGetDbConstraints :: m [SomeDatabasePredicate], backendPredicateParsers :: BeamDeserializers be, backendRenderSyntax :: BeamSqlBackendSyntax be -> String, backendFileExtension :: String, backendConvertToHaskell :: HaskellPredicateConverter, backendActionProvider :: ActionProvider be, backendTransact :: forall a. String -> m a -> IO (Either DdlError a)} -> BeamMigrationBackend be m
+ Database.Beam.Migrate.Backend: [BeamMigrationBackend] :: (MonadBeam be m, MonadFail m, HasQBuilder be, BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), BeamSqlBackendCanSerialize be LocalTime, BeamSqlBackendCanSerialize be (Maybe LocalTime), BeamSqlBackendCanSerialize be Text, BeamSqlBackendCanSerialize be SqlNull, Sql92ReasonableMarshaller be) => String -> String -> m [SomeDatabasePredicate] -> BeamDeserializers be -> (BeamSqlBackendSyntax be -> String) -> String -> HaskellPredicateConverter -> ActionProvider be -> (forall a. String -> m a -> IO (Either DdlError a)) -> BeamMigrationBackend be m
- Database.Beam.Migrate.Checks: [TableHasColumn] :: HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be) => {hasColumn_table :: QualifiedName " Table name ", hasColumn_column :: Text " Column name ", hasColumn_type :: BeamMigrateSqlBackendDataTypeSyntax be " Data type "} -> TableHasColumn be
+ Database.Beam.Migrate.Checks: [TableHasColumn] :: HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be) => QualifiedName -> Text -> BeamMigrateSqlBackendDataTypeSyntax be -> TableHasColumn be
- Database.Beam.Migrate.Types: [MigrationRunCommand] :: {_migrationUpCommand :: BeamSqlBackendSyntax be " What to execute when applying the migration", _migrationDownCommand :: Maybe (BeamSqlBackendSyntax be) " What to execute when unapplying the migration", _migrationNext :: next} -> MigrationF be next
+ Database.Beam.Migrate.Types: [MigrationRunCommand] :: BeamSqlBackendSyntax be -> Maybe (BeamSqlBackendSyntax be) -> next -> MigrationF be next
Files
- ChangeLog.md +12/−0
- Database/Beam/Migrate/SQL/Tables.hs +1/−0
- Database/Beam/Migrate/Simple.hs +1/−1
- Database/Beam/Migrate/Types/CheckedEntities.hs +1/−0
- beam-migrate.cabal +5/−5
ChangeLog.md view
@@ -1,3 +1,15 @@+# 0.5.2.1++# Added features++ * Loosen some version bounds++# 0.5.2.0++# Addded features++ * `IN (SELECT ...)` syntax via `inSelectE`+ # 0.5.1.2 ## Added features
Database/Beam/Migrate/SQL/Tables.hs view
@@ -44,6 +44,7 @@ import Database.Beam.Migrate.SQL.SQL92 import Control.Applicative+import Control.Monad import Control.Monad.Identity import Control.Monad.Writer.Strict import Control.Monad.State
Database/Beam/Migrate/Simple.hs view
@@ -45,7 +45,7 @@ import Control.Monad.State import qualified Data.HashSet as HS-import Data.Semigroup (Max(..))+import Data.Semigroup (Max(..), Any(..)) import Data.Typeable import Data.Functor import qualified Data.Text as T
Database/Beam/Migrate/Types/CheckedEntities.hs view
@@ -16,6 +16,7 @@ import Control.Monad.Identity import Data.Maybe+import Data.Monoid import Data.Proxy import Data.Text (Text) import Data.String
beam-migrate.cabal view
@@ -1,5 +1,5 @@ name: beam-migrate-version: 0.5.2.0+version: 0.5.2.1 synopsis: SQL DDL support and migrations support library for Beam description: This package provides type classes to allow backends to implement SQL DDL support for beam. This allows you to use beam syntax to@@ -64,18 +64,18 @@ text >=1.2 && <2.1, aeson >=0.11 && <2.2, bytestring >=0.10 && <0.12,- free >=4.12 && <5.2,+ free >=4.12 && <5.3, time >=1.6 && <1.13,- mtl >=2.2 && <2.3,+ mtl >=2.2 && <2.4, scientific >=0.3 && <0.4,- vector >=0.11 && <0.13,+ vector >=0.11 && <0.14, containers >=0.5 && <0.7, unordered-containers >=0.2 && <0.3, hashable >=1.2 && <1.5, microlens >=0.4 && <0.5, parallel >=3.2 && <3.3, deepseq >=1.4 && <1.5,- ghc-prim >=0.5 && <0.10,+ ghc-prim >=0.5 && <0.11, containers >=0.5 && <0.7, haskell-src-exts >=1.18 && <1.24, pretty >=1.1 && <1.2,