Language.Fixpoint.Utils.Progress

Progress Bar API

Documentation

withProgress :: Int -> IO a -> IO a

progressInit :: Int -> IO ()

progressTick :: IO ()

progressClose :: IO ()