pg-migrate-1.0.0.0: src/Database/PostgreSQL/Migrate.hs

-- | Safe common facade for defining, inspecting, running, repairing, and importing
-- PostgreSQL migration plans. Smart constructors reject invalid definitions before
-- acquisition; reports and errors describe durable outcomes without exposing actions.
module Database.PostgreSQL.Migrate
  ( ComponentName,
    componentName,
    MigrationName,
    migrationName,
    MigrationId,
    migrationId,
    MigrationChecksum,
    migrationFingerprint,
    Migration,
    sqlMigration,
    transactionMigration,
    sessionMigration,
    MigrationComponent,
    migrationComponent,
    migrationComponentFromEmbeddedSql,
    MigrationPlan,
    migrationPlan,
    resolveMigrationPlan,
    LedgerConfig,
    defaultLedgerConfig,
    ledgerConfig,
    ledgerSchemaVersion,
    MigrationStatus (..),
    UnknownMigrationsPolicy (..),
    StoredMigration (..),
    VerificationIssue (..),
    VerificationReport (..),
    StatusReport (..),
    RunOptions,
    defaultRunOptions,
    withLedger,
    withLockWait,
    withStatementTimeout,
    withUnknownMigrationsPolicy,
    withEventHandler,
    LockWait (..),
    MigrationEvent (..),
    MigrationOutcome (..),
    MigrationResult (..),
    MigrationReport (..),
    CleanupIssue (..),
    MigrationError (..),
    ConnectionProvider,
    connectionProvider,
    connectionProviderFromSettings,
    migrationStatus,
    migrationStatusWith,
    verifyMigrationPlan,
    verifyMigrationPlanWith,
    runMigrationPlan,
    runMigrationPlanWith,
    RepairOperation (..),
    Confirmation (..),
    RepairDefinitionError (..),
    RepairRequest,
    repairRequest,
    RepairError (..),
    RepairReport (..),
    repairMigration,
    EvidenceKey,
    evidenceKey,
    EvidenceStrength (..),
    SourceTimestamp (..),
    ImportEvidence,
    ledgerOnlyEvidence,
    sourceManifestVerifiedEvidence,
    sourceLedgerChecksumVerifiedEvidence,
    EvidenceRequirement (..),
    PayloadRelation (..),
    HistoryMapping,
    historyMapping,
    historyMappingPayloadRelation,
    StateValidationError,
    stateValidationError,
    StateValidator,
    stateValidator,
    HistoryImport,
    historyImport,
    HistoryDefinitionError (..),
    EquivalentHistoryPolicy (..),
    ImportOptions,
    defaultImportOptions,
    withEquivalentHistory,
    withImportRunOptions,
    importEquivalentHistoryPolicy,
    HistoryImportOutcome (..),
    HistoryImportResult (..),
    HistoryImportReport (..),
    HistoryValidationError (..),
    validateHistoryMappingTargets,
    HistoryImportError (..),
    importMigrationHistory,
    IdentifierError (..),
    PostgresIdentifierError (..),
    SqlError (..),
    DefinitionError (..),
    PlanError (..),
  )
where

import Database.PostgreSQL.Migrate.Definition
  ( DefinitionError (..),
    IdentifierError (..),
    PostgresIdentifierError (..),
    componentName,
    migrationComponent,
    migrationComponentFromEmbeddedSql,
    migrationFingerprint,
    migrationId,
    migrationName,
    sessionMigration,
    sqlMigration,
    transactionMigration,
  )
import Database.PostgreSQL.Migrate.History
  ( EquivalentHistoryPolicy (..),
    EvidenceKey,
    EvidenceRequirement (..),
    EvidenceStrength (..),
    HistoryDefinitionError (..),
    HistoryImport,
    HistoryImportError (..),
    HistoryImportOutcome (..),
    HistoryImportReport (..),
    HistoryImportResult (..),
    HistoryMapping,
    HistoryValidationError (..),
    ImportEvidence,
    ImportOptions,
    PayloadRelation (..),
    SourceTimestamp (..),
    StateValidationError,
    StateValidator,
    defaultImportOptions,
    evidenceKey,
    historyImport,
    historyMapping,
    historyMappingPayloadRelation,
    importEquivalentHistoryPolicy,
    importMigrationHistory,
    ledgerOnlyEvidence,
    sourceLedgerChecksumVerifiedEvidence,
    sourceManifestVerifiedEvidence,
    stateValidationError,
    stateValidator,
    validateHistoryMappingTargets,
    withEquivalentHistory,
    withImportRunOptions,
  )
import Database.PostgreSQL.Migrate.Inspection
  ( migrationStatus,
    migrationStatusWith,
    verifyMigrationPlan,
    verifyMigrationPlanWith,
  )
import Database.PostgreSQL.Migrate.Ledger.Migrations (ledgerSchemaVersion)
import Database.PostgreSQL.Migrate.Ledger.Types
  ( LedgerConfig,
    MigrationStatus (..),
    StatusReport (..),
    StoredMigration (..),
    UnknownMigrationsPolicy (..),
    VerificationIssue (..),
    VerificationReport (..),
    defaultLedgerConfig,
    ledgerConfig,
  )
import Database.PostgreSQL.Migrate.Plan
  ( PlanError (..),
    migrationPlan,
    resolveMigrationPlan,
  )
import Database.PostgreSQL.Migrate.Repair
  ( repairMigration,
  )
import Database.PostgreSQL.Migrate.Repair.Types
  ( Confirmation (..),
    RepairDefinitionError (..),
    RepairError (..),
    RepairOperation (..),
    RepairReport (..),
    RepairRequest,
    repairRequest,
  )
import Database.PostgreSQL.Migrate.Runner
  ( runMigrationPlan,
    runMigrationPlanWith,
  )
import Database.PostgreSQL.Migrate.Runner.Connection
  ( connectionProviderFromSettings,
  )
import Database.PostgreSQL.Migrate.Runner.Types
  ( CleanupIssue (..),
    ConnectionProvider,
    LockWait (..),
    MigrationError (..),
    MigrationEvent (..),
    MigrationOutcome (..),
    MigrationReport (..),
    MigrationResult (..),
    RunOptions,
    connectionProvider,
    defaultRunOptions,
    withEventHandler,
    withLedger,
    withLockWait,
    withStatementTimeout,
    withUnknownMigrationsPolicy,
  )
import Database.PostgreSQL.Migrate.Sql (SqlError (..))
import Database.PostgreSQL.Migrate.Types
  ( ComponentName,
    Migration,
    MigrationChecksum,
    MigrationComponent,
    MigrationId,
    MigrationName,
    MigrationPlan,
  )
import PgMigrate.Prelude ()