jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellSafe-Inferred

Jukebox.ProgressBar

Documentation

data ProgressBar Source

Constructors

ProgressBar 

Fields

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

tickOnRead :: ProgressBar -> ByteString -> IO ByteStringSource

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