{- | Converts a 'ProofState' into a ('ProverStatusColour',
     'String') tuple to be displayed by the GUI.
-}
toGuiStatus :: ProofState
            -> (ProverStatusColour, String)
toGuiStatus st = if proverRunning st
  then statusRunning
  else statusNotRunning
toGuiStatus :: ProofState
            -> (ProverStatusColour, String)
toGuiStatus st = if proverRunning st
  then statusRunning
  else statusNotRunning
toGuiStatus st = if proverRunning st
  then statusRunning
  else statusNotRunning