Database.PostgreSQL.PQTypes.Checks

Checks

checkDatabase :: forall m. (MonadDB m, MonadLog m, MonadThrow m) => ExtrasOptions -> [CompositeType] -> [Domain] -> [Table] -> m ()

Run checks on the database structure and whether the database needs to be migrated. Will do a full check of DB structure.

checkDatabaseAllowUnknownTables :: forall m. (MonadDB m, MonadLog m, MonadThrow m) => ExtrasOptions -> [CompositeType] -> [Domain] -> [Table] -> m ()

Same as checkDatabase, but will not failed if there are additional tables in database.

createTable :: MonadDB m => Bool -> Table -> m ()

createDomain :: MonadDB m => Domain -> m ()

Options

data ExtrasOptions

Constructors

ExtrasOptions

Fields

• eoForceCommit :: Bool

  Force commit after every migration

• eoEnforcePKs :: Bool

  Validate that every handled table has a primary key

Instances

Eq ExtrasOptions

Defined in Database.PostgreSQL.PQTypes.ExtrasOptions

Methods

(==) :: ExtrasOptions -> ExtrasOptions -> Bool

(/=) :: ExtrasOptions -> ExtrasOptions -> Bool

Default ExtrasOptions

Defined in Database.PostgreSQL.PQTypes.ExtrasOptions

Methods

def :: ExtrasOptions

Migrations

migrateDatabase :: (MonadDB m, MonadLog m, MonadMask m) => ExtrasOptions -> [Extension] -> [CompositeType] -> [Domain] -> [Table] -> [Migration m] -> m ()

Run migrations and check the database structure.