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

Database.Beam.Migrate.Log

Description

Contains a schema for beam migration tools. Used by the CLI and the managed migrations support here.

Documentation

data LogEntryT f Source #

Constructors

LogEntry

Fields

Instances

Instances details
Show LogEntryKey Source #
Instance details

Defined in Database.Beam.Migrate.Log

Methods

showsPrec :: Int -> LogEntryKey -> ShowS Source #

show :: LogEntryKey -> String Source #

showList :: [ LogEntryKey ] -> ShowS Source #

Show LogEntry Source #
Instance details

Defined in Database.Beam.Migrate.Log

Methods

showsPrec :: Int -> LogEntry -> ShowS Source #

show :: LogEntry -> String Source #

showList :: [ LogEntry ] -> ShowS Source #

Table LogEntryT Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

data PrimaryKey LogEntryT column Source #

Methods

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

Beamable 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)) -> LogEntryT f -> LogEntryT g -> m ( LogEntryT h) Source #

tblSkeleton :: TableSkeleton LogEntryT Source #

Generic ( LogEntryT f) Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep ( LogEntryT f) :: Type -> Type Source #

Methods

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

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

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) Source #

tblSkeleton :: TableSkeleton ( PrimaryKey LogEntryT ) Source #

Generic ( PrimaryKey LogEntryT f) Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep ( PrimaryKey LogEntryT f) :: Type -> Type Source #

Methods

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

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

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.1.2-5J0i6YZEVbedBErF518Oy" ' 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.1.2-5J0i6YZEVbedBErF518Oy" ' 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 Source #

Constructors

BeamMigrateVersion

Fields

Instances

Instances details
Show BeamMigrateVersionKey Source #
Instance details

Defined in Database.Beam.Migrate.Log

Methods

showsPrec :: Int -> BeamMigrateVersionKey -> ShowS Source #

show :: BeamMigrateVersionKey -> String Source #

showList :: [ BeamMigrateVersionKey ] -> ShowS Source #

Show BeamMigrateVersion Source #
Instance details

Defined in Database.Beam.Migrate.Log

Methods

showsPrec :: Int -> BeamMigrateVersion -> ShowS Source #

show :: BeamMigrateVersion -> String Source #

showList :: [ BeamMigrateVersion ] -> ShowS Source #

Table BeamMigrateVersionT Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

data PrimaryKey BeamMigrateVersionT column Source #

Methods

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

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) Source #

tblSkeleton :: TableSkeleton BeamMigrateVersionT Source #

Generic ( BeamMigrateVersionT f) Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep ( BeamMigrateVersionT f) :: Type -> Type Source #

Methods

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

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

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) Source #

tblSkeleton :: TableSkeleton ( PrimaryKey BeamMigrateVersionT ) Source #

Generic ( PrimaryKey BeamMigrateVersionT f) Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep ( PrimaryKey BeamMigrateVersionT f) :: Type -> Type Source #

Methods

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

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

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.1.2-5J0i6YZEVbedBErF518Oy" ' 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.1.2-5J0i6YZEVbedBErF518Oy" ' 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 Source #

Constructors

BeamMigrateDb

Fields

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) Source #

Generic ( BeamMigrateDb entity) Source #
Instance details

Defined in Database.Beam.Migrate.Log

Associated Types

type Rep ( BeamMigrateDb entity) :: Type -> Type Source #

Methods

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

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

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.1.2-5J0i6YZEVbedBErF518Oy" ' 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. ( BeamMigrateSqlBackend be, HasDataTypeCreatedCheck ( BeamMigrateSqlBackendDataTypeSyntax be), MonadBeam be m) => CheckedDatabaseSettings be BeamMigrateDb Source #

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

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

beamMigrateSchemaVersion :: Int32 Source #

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

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

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

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

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