phino-0.0.0.41: Command-Line Manipulator of 𝜑-Calculus Expressions

Safe Haskell	None
Language	Haskell2010

Rule

Documentation

data RuleContext Source #

Constructors

RuleContext
Fields _program :: Program _buildTerm :: BuildTermFunc

isNF :: Expression -> RuleContext -> Bool Source #

matchProgramWithRule :: Program -> Rule -> RuleContext -> IO [Subst] Source #

meetCondition :: Condition -> [Subst] -> RuleContext -> IO [Subst] Source #