| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Codebase.SqliteCodebase
Synopsis
- init :: (HasCallStack, MonadUnliftIO m) => Init m Symbol Ann
- initWithSetup :: (HasCallStack, MonadUnliftIO m) => Transaction () -> Init m Symbol Ann
- data MigrationStrategy
- data BackupStrategy
- data VacuumStrategy
- data CodebaseLockOption
- copyCodebase :: MonadIO m => CodebasePath -> CodebasePath -> m ()
Documentation
init :: (HasCallStack, MonadUnliftIO m) => Init m Symbol Ann Source #
initWithSetup :: (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 MigrationStrategy Source #
Constructors
| MigrateAutomatically BackupStrategy VacuumStrategy | Perform a migration immediately if one is required. |
| MigrateAfterPrompt BackupStrategy VacuumStrategy | Prompt the user that a migration is about to occur, continue after acknownledgment |
| DontMigrate | Triggers an |
Instances
| Show MigrationStrategy Source # | |
Defined in Unison.Codebase.Init Methods showsPrec :: Int -> MigrationStrategy -> ShowS # show :: MigrationStrategy -> String # showList :: [MigrationStrategy] -> ShowS # | |
| Eq MigrationStrategy Source # | |
Defined in Unison.Codebase.Init Methods (==) :: MigrationStrategy -> MigrationStrategy -> Bool # (/=) :: MigrationStrategy -> MigrationStrategy -> Bool # | |
| Ord MigrationStrategy Source # | |
Defined in Unison.Codebase.Init Methods compare :: MigrationStrategy -> MigrationStrategy -> Ordering # (<) :: MigrationStrategy -> MigrationStrategy -> Bool # (<=) :: MigrationStrategy -> MigrationStrategy -> Bool # (>) :: MigrationStrategy -> MigrationStrategy -> Bool # (>=) :: MigrationStrategy -> MigrationStrategy -> Bool # max :: MigrationStrategy -> MigrationStrategy -> MigrationStrategy # min :: MigrationStrategy -> MigrationStrategy -> MigrationStrategy # | |
data BackupStrategy Source #
Instances
| Show BackupStrategy Source # | |
Defined in Unison.Codebase.Init Methods showsPrec :: Int -> BackupStrategy -> ShowS # show :: BackupStrategy -> String # showList :: [BackupStrategy] -> ShowS # | |
| Eq BackupStrategy Source # | |
Defined in Unison.Codebase.Init Methods (==) :: BackupStrategy -> BackupStrategy -> Bool # (/=) :: BackupStrategy -> BackupStrategy -> Bool # | |
| Ord BackupStrategy Source # | |
Defined in Unison.Codebase.Init Methods compare :: BackupStrategy -> BackupStrategy -> Ordering # (<) :: BackupStrategy -> BackupStrategy -> Bool # (<=) :: BackupStrategy -> BackupStrategy -> Bool # (>) :: BackupStrategy -> BackupStrategy -> Bool # (>=) :: BackupStrategy -> BackupStrategy -> Bool # max :: BackupStrategy -> BackupStrategy -> BackupStrategy # min :: BackupStrategy -> BackupStrategy -> BackupStrategy # | |
data VacuumStrategy Source #
Instances
| Show VacuumStrategy Source # | |
Defined in Unison.Codebase.Init Methods showsPrec :: Int -> VacuumStrategy -> ShowS # show :: VacuumStrategy -> String # showList :: [VacuumStrategy] -> ShowS # | |
| Eq VacuumStrategy Source # | |
Defined in Unison.Codebase.Init Methods (==) :: VacuumStrategy -> VacuumStrategy -> Bool # (/=) :: VacuumStrategy -> VacuumStrategy -> Bool # | |
| Ord VacuumStrategy Source # | |
Defined in Unison.Codebase.Init Methods compare :: VacuumStrategy -> VacuumStrategy -> Ordering # (<) :: VacuumStrategy -> VacuumStrategy -> Bool # (<=) :: VacuumStrategy -> VacuumStrategy -> Bool # (>) :: VacuumStrategy -> VacuumStrategy -> Bool # (>=) :: VacuumStrategy -> VacuumStrategy -> Bool # max :: VacuumStrategy -> VacuumStrategy -> VacuumStrategy # min :: VacuumStrategy -> VacuumStrategy -> VacuumStrategy # | |
data CodebaseLockOption Source #
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.