zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> LogEntryT f -> LogEntryT g -> m (LogEntryT h)

tblSkeleton :: TableSkeleton LogEntryT

Table LogEntryT Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

data PrimaryKey LogEntryT f
Instance details Defined in Database.Beam.Migrate.Log data PrimaryKey LogEntryT f = LogEntryKey (C f Int32)

Methods

primaryKey :: forall (column :: Type -> Type). LogEntryT column -> PrimaryKey LogEntryT column

Generic (LogEntryT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep (LogEntryT f)

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (LogEntryT f) = D1 ('MetaData "LogEntryT" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "LogEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "_logEntryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32)) :*: (S1 ('MetaSel ('Just "_logEntryCommitId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Text)) :*: S1 ('MetaSel ('Just "_logEntryDate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f LocalTime)))))

Methods

from :: LogEntryT f -> Rep (LogEntryT f) x #

to :: Rep (LogEntryT f) x -> LogEntryT f #

Beamable (PrimaryKey LogEntryT) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Methods

zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey LogEntryT f -> PrimaryKey LogEntryT g -> m (PrimaryKey LogEntryT h)

tblSkeleton :: TableSkeleton (PrimaryKey LogEntryT)

Generic (PrimaryKey LogEntryT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep (PrimaryKey LogEntryT f)
Instance details Defined in Database.Beam.Migrate.Log type Rep (PrimaryKey LogEntryT f) = D1 ('MetaData "PrimaryKey" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "LogEntryKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32))))

Methods

from :: PrimaryKey LogEntryT f -> Rep (PrimaryKey LogEntryT f) x #

to :: Rep (PrimaryKey LogEntryT f) x -> PrimaryKey LogEntryT f #

data PrimaryKey LogEntryT f Source #

Instance details

Defined in Database.Beam.Migrate.Log

data PrimaryKey LogEntryT f = LogEntryKey (C f Int32)

type Rep (LogEntryT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (LogEntryT f) = D1 ('MetaData "LogEntryT" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "LogEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "_logEntryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32)) :*: (S1 ('MetaSel ('Just "_logEntryCommitId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Text)) :*: S1 ('MetaSel ('Just "_logEntryDate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f LocalTime)))))

type Rep (PrimaryKey LogEntryT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (PrimaryKey LogEntryT f) = D1 ('MetaData "PrimaryKey" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "LogEntryKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32))))

type LogEntry = LogEntryT Identity Source #

type LogEntryKey = PrimaryKey LogEntryT Identity Source #

newtype BeamMigrateVersionT (f :: Type -> Type) Source #

Constructors

BeamMigrateVersion
Fields _beamMigrateVersion :: C f Int32

Instances

Instances details

Show BeamMigrateVersion Source #

Instance details

Defined in Database.Beam.Migrate.Log

Methods

showsPrec :: Int -> BeamMigrateVersion -> ShowS #

show :: BeamMigrateVersion -> String #

showList :: [BeamMigrateVersion] -> ShowS #

Show BeamMigrateVersionKey Source #

Instance details

Defined in Database.Beam.Migrate.Log

Methods

showsPrec :: Int -> BeamMigrateVersionKey -> ShowS #

show :: BeamMigrateVersionKey -> String #

showList :: [BeamMigrateVersionKey] -> ShowS #

Beamable BeamMigrateVersionT Source #

Instance details

Defined in Database.Beam.Migrate.Log

Methods

zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> BeamMigrateVersionT f -> BeamMigrateVersionT g -> m (BeamMigrateVersionT h)

tblSkeleton :: TableSkeleton BeamMigrateVersionT

Table BeamMigrateVersionT Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

data PrimaryKey BeamMigrateVersionT f
Instance details Defined in Database.Beam.Migrate.Log data PrimaryKey BeamMigrateVersionT f = BeamMigrateVersionKey (C f Int32)

Methods

primaryKey :: forall (column :: Type -> Type). BeamMigrateVersionT column -> PrimaryKey BeamMigrateVersionT column

Generic (BeamMigrateVersionT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep (BeamMigrateVersionT f)
Instance details Defined in Database.Beam.Migrate.Log type Rep (BeamMigrateVersionT f) = D1 ('MetaData "BeamMigrateVersionT" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'True) (C1 ('MetaCons "BeamMigrateVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "_beamMigrateVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32))))

Methods

from :: BeamMigrateVersionT f -> Rep (BeamMigrateVersionT f) x #

to :: Rep (BeamMigrateVersionT f) x -> BeamMigrateVersionT f #

Beamable (PrimaryKey BeamMigrateVersionT) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Methods

zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey BeamMigrateVersionT f -> PrimaryKey BeamMigrateVersionT g -> m (PrimaryKey BeamMigrateVersionT h)

tblSkeleton :: TableSkeleton (PrimaryKey BeamMigrateVersionT)

Generic (PrimaryKey BeamMigrateVersionT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep (PrimaryKey BeamMigrateVersionT f)
Instance details Defined in Database.Beam.Migrate.Log type Rep (PrimaryKey BeamMigrateVersionT f) = D1 ('MetaData "PrimaryKey" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "BeamMigrateVersionKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32))))

Methods

from :: PrimaryKey BeamMigrateVersionT f -> Rep (PrimaryKey BeamMigrateVersionT f) x #

to :: Rep (PrimaryKey BeamMigrateVersionT f) x -> PrimaryKey BeamMigrateVersionT f #

data PrimaryKey BeamMigrateVersionT f Source #

Instance details

Defined in Database.Beam.Migrate.Log

data PrimaryKey BeamMigrateVersionT f = BeamMigrateVersionKey (C f Int32)

type Rep (BeamMigrateVersionT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (BeamMigrateVersionT f) = D1 ('MetaData "BeamMigrateVersionT" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'True) (C1 ('MetaCons "BeamMigrateVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "_beamMigrateVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32))))

type Rep (PrimaryKey BeamMigrateVersionT f) Source #

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (PrimaryKey BeamMigrateVersionT f) = D1 ('MetaData "PrimaryKey" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "BeamMigrateVersionKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Int32))))

type BeamMigrateVersion = BeamMigrateVersionT Identity Source #

type BeamMigrateVersionKey = PrimaryKey BeamMigrateVersionT Identity Source #

data BeamMigrateDb (entity :: Type -> Type) Source #

Constructors

BeamMigrateDb
Fields _beamMigrateVersionTbl :: entity (TableEntity BeamMigrateVersionT) _beamMigrateLogEntries :: entity (TableEntity LogEntryT)

Instances

Instances details

Database be BeamMigrateDb Source #

Instance details

Defined in Database.Beam.Migrate.Log

Methods

zipTables :: Applicative m => Proxy be -> (forall tbl. (IsDatabaseEntity be tbl, DatabaseEntityRegularRequirements be tbl) => f tbl -> g tbl -> m (h tbl)) -> BeamMigrateDb f -> BeamMigrateDb g -> m (BeamMigrateDb h)

Generic (BeamMigrateDb entity) Source #

Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep (BeamMigrateDb entity)

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (BeamMigrateDb entity) = D1 ('MetaData "BeamMigrateDb" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "BeamMigrateDb" 'PrefixI 'True) (S1 ('MetaSel ('Just "_beamMigrateVersionTbl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (entity (TableEntity BeamMigrateVersionT))) :*: S1 ('MetaSel ('Just "_beamMigrateLogEntries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (entity (TableEntity LogEntryT)))))

Methods

from :: BeamMigrateDb entity -> Rep (BeamMigrateDb entity) x #

to :: Rep (BeamMigrateDb entity) x -> BeamMigrateDb entity #

type Rep (BeamMigrateDb entity) Source #

Instance details

Defined in Database.Beam.Migrate.Log

type Rep (BeamMigrateDb entity) = D1 ('MetaData "BeamMigrateDb" "Database.Beam.Migrate.Log" "beam-migrate-0.5.3.2-inplace" 'False) (C1 ('MetaCons "BeamMigrateDb" 'PrefixI 'True) (S1 ('MetaSel ('Just "_beamMigrateVersionTbl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (entity (TableEntity BeamMigrateVersionT))) :*: S1 ('MetaSel ('Just "_beamMigrateLogEntries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (entity (TableEntity LogEntryT)))))

beamMigratableDb :: forall be (m :: Type -> Type). (BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), MonadBeam be m) => CheckedDatabaseSettings be BeamMigrateDb Source #

beamMigrateDb :: forall be (m :: Type -> Type). (BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), MonadBeam be m) => DatabaseSettings be BeamMigrateDb Source #

beamMigrateDbMigration :: forall be (m :: Type -> Type). (BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), MonadBeam be m) => Migration be (CheckedDatabaseSettings be BeamMigrateDb) Source #

beamMigrateSchemaVersion :: Int32 Source #

getLatestLogEntry :: (BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), BeamSqlBackendCanDeserialize be Int32, BeamSqlBackendCanDeserialize be LocalTime, BeamSqlBackendSupportsDataType be Text, HasQBuilder be, MonadBeam be m) => m (Maybe LogEntry) Source #

updateSchemaToCurrent :: (BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), BeamSqlBackendCanSerialize be Text, MonadBeam be m) => m () Source #

recordCommit :: (BeamMigrateSqlBackend be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), BeamSqlBackendSupportsDataType be Text, BeamSqlBackendCanDeserialize be Int32, BeamSqlBackendCanDeserialize be LocalTime, HasQBuilder be, MonadBeam be m) => UUID -> m () Source #

ensureBackendTables :: (BeamSqlBackendCanSerialize be Text, MonadFail m) => BeamMigrationBackend be m -> m () Source #

checkForBackendTables :: BeamMigrationBackend be m -> m Bool Source #