unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 08:18:04 +03:00
Code Issues Projects Releases Wiki Activity

sync progress formatting

Browse Source
This commit is contained in:
Arya Irani 2021-03-17 13:47:37 -04:00
parent d422299998
commit 6dd1e4bedd
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
parser-typechecker/src/Unison/Codebase/SqliteCodebase.hs
View File

@ -793,7 +793,7 @@ syncProgress = Sync.Progress need done allDone
then pure ()
else State.put $ SyncProgressState (Just $ Set.insert h need) (Right done)
SyncProgressState _ _ -> undefined
State.get >>= liftIO . putStr . ("\r"<>) . renderState
State.get >>= liftIO . putStrLn . (\s -> "Synced " <> s <> " entities.") . renderState
done h = do
State.get >>= \case
@ -802,16 +802,14 @@ syncProgress = Sync.Progress need done allDone
SyncProgressState (Just need) (Right done) ->
State.put $ SyncProgressState (Just $ Set.delete h need) (Right $ Set.insert h done)
SyncProgressState _ _ -> undefined
State.get >>= liftIO . putStrLn . renderState
State.get >>= liftIO . putStrLn . (\s -> "Synced " <> s <> " entities.") . renderState
allDone =
liftIO . putStrLn . (\s -> "Done syncing " <> s <> " entities.") . renderState =<< State.get
allDone = liftIO $ putStrLn "\rSync complete."
renderState = \case
SyncProgressState Nothing (Left doneCount) ->
"Synced " ++ show doneCount ++ " entities"
SyncProgressState (Just need) (Right done) ->
"Synced " ++ show (Set.size done) ++ "/" ++ show (Set.size done + Set.size need) ++ " entities"
SyncProgressState Nothing Right {} ->
"invalid SyncProgressState Nothing Right{}"
SyncProgressState Just {} Left {} ->
"invalid SyncProgressState Just{} Left{}"
SyncProgressState Nothing (Left doneCount) -> show doneCount
SyncProgressState (Just need) (Right done) -> show (Set.size done) ++ "/" ++ show (Set.size done + Set.size need)
SyncProgressState Nothing Right {} -> "(invalid SyncProgressState Nothing Right{})"
SyncProgressState Just {} Left {} -> "(invalid SyncProgressState Just{} Left{})"