Crux.ProgressBar

Documentation

type ProverMilestoneStartGoal = Integer -> IO ()

Callback called with index when a goal is started

type ProverMilestoneEndGoal = Integer -> IO ()

Callback called with index when a goal has ended

type ProverMilestoneFinish = IO ()

Callback called when all goals have ended

type ProverMilestoneCallbacks = (ProverMilestoneStartGoal, ProverMilestoneEndGoal, ProverMilestoneFinish)

Set of three callbacks called by the prover to let loggers indicate progress of the proving process.

silentProverMilestoneCallbacks :: ProverMilestoneCallbacks

prepStatus :: String -> Int -> IO ProverMilestoneCallbacks

withProgressBar' :: String -> [a] -> (a -> IO b) -> IO [b]

withProgressBar :: Int -> [a] -> (a -> IO b) -> IO [b]