unison-parser-typechecker-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Codebase.SqliteCodebase

Synopsis

Documentation

init :: forall (m :: Type -> Type). (HasCallStack, MonadUnliftIO m) => Init m Symbol Ann Source #

initWithSetup :: forall (m :: Type -> Type). (HasCallStack, MonadUnliftIO m) => Transaction () -> Init m Symbol Ann Source #

Like init, but allows passing in an action to be perform when a new codebase is created.

data BackupStrategy Source #

Constructors

Backup

Create a backup of the codebase in the same directory as the codebase, see backupCodebasePath.

NoBackup

Don't create a backup when migrating, this might be used if the caller has already created a copy of the codebase for instance.

data VacuumStrategy Source #

Constructors

Vacuum

Vacuum after migrating. Takes a bit longer but keeps the codebase clean and maybe reduces size.

NoVacuum

Don't vacuum after migrating. Vacuuming is time consuming on large codebases, so we don't want to do it during server migrations.

copyCodebase :: MonadIO m => CodebasePath -> CodebasePath -> m () Source #

Given two codebase roots (e.g. "./mycodebase"), safely copy the codebase at the source to the destination. Note: this does not copy the .unisonConfig file.