hermod-recon-framework
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hermod.ReCon.LTL.Formula.Pretty

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 #

prettyIntTerm :: IntTerm -> Text Source #

Render an integer term.

prettyTextTerm :: TextTerm -> Text Source #

Render a text term.

prettyBinRel :: BinRel -> Text Source #

Render a binary relation symbol.

prettyPropConstraint :: PropConstraint -> Text Source #

Render a single property constraint.

prettyPropConstraints :: [PropConstraint] -> Text Source #

Render a list of property constraints.

prettyFormula :: Show a => Formula event a -> Prec -> Text Source #

Pretty-print a Formula using unicode operators.