| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Database.PostgreSQL.PQTypes.Checks
Contents
Synopsis
- checkDatabase :: forall m. (MonadDB m, MonadLog m, MonadThrow m) => ExtrasOptions -> [CompositeType] -> [Domain] -> [Table] -> m ()
- checkDatabaseAllowUnknownObjects :: forall m. (MonadDB m, MonadLog m, MonadThrow m) => ExtrasOptions -> [CompositeType] -> [Domain] -> [Table] -> m ()
- createTable :: MonadDB m => Bool -> Table -> m ()
- createDomain :: MonadDB m => Domain -> m ()
- data ExtrasOptions = ExtrasOptions {}
- defaultExtrasOptions :: ExtrasOptions
- migrateDatabase :: (MonadDB m, MonadLog m, MonadMask m) => ExtrasOptions -> [Extension] -> [CompositeType] -> [Domain] -> [Table] -> [Migration m] -> m ()
Checks
checkDatabase :: forall m. (MonadDB m, MonadLog m, MonadThrow m) => ExtrasOptions -> [CompositeType] -> [Domain] -> [Table] -> m () Source #
Run checks on the database structure and whether the database needs to be migrated. Will do a full check of DB structure.
checkDatabaseAllowUnknownObjects :: forall m. (MonadDB m, MonadLog m, MonadThrow m) => ExtrasOptions -> [CompositeType] -> [Domain] -> [Table] -> m () Source #
Same as checkDatabase, but will not fail if there are additional tables
and composite types in the database.
createDomain :: MonadDB m => Domain -> m () Source #
Options
data ExtrasOptions Source #
Constructors
| ExtrasOptions | |
Fields
| |
Instances
| Eq ExtrasOptions Source # | |
Defined in Database.PostgreSQL.PQTypes.ExtrasOptions Methods (==) :: ExtrasOptions -> ExtrasOptions -> Bool # (/=) :: ExtrasOptions -> ExtrasOptions -> Bool # | |
Migrations
migrateDatabase :: (MonadDB m, MonadLog m, MonadMask m) => ExtrasOptions -> [Extension] -> [CompositeType] -> [Domain] -> [Table] -> [Migration m] -> m () Source #
Run migrations and check the database structure.