jukebox-0.1.6: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell98

Jukebox.ProgressBar

Documentation

data ProgressBar Source

Constructors

ProgressBar 

Fields

tick :: IO ()
 
enter :: String -> IO ()
 
leave :: IO ()
 

tickOnRead :: ProgressBar -> ByteString -> IO ByteString Source

withProgressBar :: (ProgressBar -> IO a) -> IO a Source