Common.GtkGoal

Contents

• Datatypes and functions for prover

Synopsis

• data Goal = Goal {
  • gStatus :: GStatus
  • gName :: String
  }
• toGtkGoal :: (String, Maybe BasicProof) -> Goal
• showGoal :: Goal -> String
• data GStatus
  • = GOpen
  • | GTimeout
  • | GDisproved
  • | GInconsistent
  • | GProved
  • | GGuessed
  • | GConjectured
  • | GHandwritten
• showSimple :: GStatus -> String
• statusToColor :: GStatus -> String
• statusToPrefix :: GStatus -> String
• spanString :: GStatus -> String -> String
• proofStatusToGStatus :: ProofStatus a -> GStatus
• basicProofToGStatus :: BasicProof -> GStatus
• genericConfigToGStatus :: GenericConfig a -> GStatus

Datatypes and functions for prover