darcs-2.14.4: a distributed, interactive, smart revision control system

Darcs.Util.Progress

Description

Utility functions for tracking progress of long-running actions.

Synopsis

Documentation

beginTedious k starts a tedious process and registers it in _progressData with the key k. A tedious process is one for which we want a progress indicator.

Wouldn't it be safer if it had type String -> IO ProgressDataKey, so that we can ensure there is no collision? What happens if you call beginTedious twice with the same string, without calling endTedious in the meantime?

endTedious k unregisters the tedious process with key k, printing Done if such a tedious process exists.

progress :: String -> a -> a Source #

finishedOne :: String -> String -> a -> a Source #

progressList :: String -> [a] -> [a] Source #

XXX: document this constant