Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type ProverMilestoneStartGoal = Integer -> IO ()
- type ProverMilestoneEndGoal = Integer -> IO ()
- type ProverMilestoneFinish = IO ()
- type ProverMilestoneCallbacks = (ProverMilestoneStartGoal, ProverMilestoneEndGoal, ProverMilestoneFinish)
- silentProverMilestoneCallbacks :: ProverMilestoneCallbacks
- prepStatus :: String -> Int -> IO ProverMilestoneCallbacks
- withProgressBar' :: String -> [a] -> (a -> IO b) -> IO [b]
- withProgressBar :: Int -> [a] -> (a -> IO b) -> IO [b]
Documentation
type ProverMilestoneStartGoal = Integer -> IO () Source #
Callback called with index when a goal is started
type ProverMilestoneEndGoal = Integer -> IO () Source #
Callback called with index when a goal has ended
type ProverMilestoneFinish = IO () Source #
Callback called when all goals have ended
type ProverMilestoneCallbacks = (ProverMilestoneStartGoal, ProverMilestoneEndGoal, ProverMilestoneFinish) Source #
Set of three callbacks called by the prover to let loggers indicate progress of the proving process.
prepStatus :: String -> Int -> IO ProverMilestoneCallbacks Source #