Hets - the Heterogeneous Tool Set
Safe HaskellNone

Common.GtkGoal

Synopsis

Datatypes and functions for prover

data Goal Source #

Constructors

Goal 

Fields

Instances

Instances details
Eq Goal Source # 
Instance details

Defined in Common.GtkGoal

Methods

(==) :: Goal -> Goal -> Bool

(/=) :: Goal -> Goal -> Bool

Ord Goal Source # 
Instance details

Defined in Common.GtkGoal

Methods

compare :: Goal -> Goal -> Ordering

(<) :: Goal -> Goal -> Bool

(<=) :: Goal -> Goal -> Bool

(>) :: Goal -> Goal -> Bool

(>=) :: Goal -> Goal -> Bool

max :: Goal -> Goal -> Goal

min :: Goal -> Goal -> Goal

toGtkGoal :: (String, Maybe BasicProof) -> Goal Source #

showGoal :: Goal -> String Source #

data GStatus Source #

Constructors

GOpen 
GTimeout 
GDisproved 
GInconsistent 
GProved 
GGuessed 
GConjectured 
GHandwritten 

Instances

Instances details
Eq GStatus Source # 
Instance details

Defined in Common.GtkGoal

Methods

(==) :: GStatus -> GStatus -> Bool

(/=) :: GStatus -> GStatus -> Bool

Ord GStatus Source # 
Instance details

Defined in Common.GtkGoal

Methods

compare :: GStatus -> GStatus -> Ordering

(<) :: GStatus -> GStatus -> Bool

(<=) :: GStatus -> GStatus -> Bool

(>) :: GStatus -> GStatus -> Bool

(>=) :: GStatus -> GStatus -> Bool

max :: GStatus -> GStatus -> GStatus

min :: GStatus -> GStatus -> GStatus

Show GStatus Source # 
Instance details

Defined in Common.GtkGoal

Methods

showsPrec :: Int -> GStatus -> ShowS

show :: GStatus -> String

showList :: [GStatus] -> ShowS

showSimple :: GStatus -> String Source #

statusToColor :: GStatus -> String Source #

statusToPrefix :: GStatus -> String Source #

spanString :: GStatus -> String -> String Source #

proofStatusToGStatus :: ProofStatus a -> GStatus Source #

Converts a ProofStatus into a GStatus

basicProofToGStatus :: BasicProof -> GStatus Source #

Converts a BasicProof into a GStatus

genericConfigToGStatus :: GenericConfig a -> GStatus Source #

Converts a GenericConfig into a GStatus