Documentation

data RuleContext Source #

attrInBindings :: Attribute -> [Binding] -> Bool Source #

compareAttrs :: Attribute -> Attribute -> Subst -> Bool Source #

numToInt :: Number -> Subst -> Maybe Integer Source #

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

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

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

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

meetMaybeCondition :: Maybe Condition -> [Subst] -> RuleContext -> IO [Subst] Source #

extraSubstitutions :: [Subst] -> Maybe [Extra] -> RuleContext -> IO [Subst] Source #

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