hermod-recon-framework
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hermod.ReCon.LTL.Formula.Prec

Synopsis

Documentation

data Prec Source #

Finite type of precedences used for formula pretty-printing.

Constructors

Universe 
Implies 
Or 
And 
Prefix 
Eq 
Atom 

Instances

Instances details
Show Prec Source # 
Instance details

Defined in Hermod.ReCon.LTL.Formula.Prec

Methods

showsPrec :: Int -> Prec -> ShowS Source #

show :: Prec -> String Source #

showList :: [Prec] -> ShowS Source #

Eq Prec Source # 
Instance details

Defined in Hermod.ReCon.LTL.Formula.Prec

Methods

(==) :: Prec -> Prec -> Bool Source #

(/=) :: Prec -> Prec -> Bool Source #

Ord Prec Source # 
Instance details

Defined in Hermod.ReCon.LTL.Formula.Prec

Methods

compare :: Prec -> Prec -> Ordering Source #

(<) :: Prec -> Prec -> Bool Source #

(<=) :: Prec -> Prec -> Bool Source #

(>) :: Prec -> Prec -> Bool Source #

(>=) :: Prec -> Prec -> Bool Source #

max :: Prec -> Prec -> Prec Source #

min :: Prec -> Prec -> Prec Source #