hermod-recon-framework
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hermod.ReCon.LTL.Check

Synopsis

Documentation

checkIntTerm :: Set VariableIdentifier -> IntTerm -> [Error] Source #

Validate an integer term by checking all of its free variables are bound.

checkTextTerm :: Set VariableIdentifier -> TextTerm -> [Error] Source #

Validate a text term by checking all of its free variables are bound.

checkParamConstraint :: Set VariableIdentifier -> PropConstraint -> [Error] Source #

Validate a constraint by ensuring its term is well-scoped.

checkFormula :: Set VariableIdentifier -> Formula event ty -> [Error] Source #

Check whether the formula is syntactically valid.

data Error Source #

Constructors

UnboundVariableIdentifier VariableIdentifier 

Instances

Instances details
Show Error Source # 
Instance details

Defined in Hermod.ReCon.LTL.Check

Methods

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

show :: Error -> String Source #

showList :: [Error] -> ShowS Source #

Eq Error Source # 
Instance details

Defined in Hermod.ReCon.LTL.Check

Methods

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

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

prettyError :: Error -> Text Source #