Documentation

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

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

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

matchesAnyNormalizationRule :: Expression -> Bool Source #

isNF :: Expression -> Bool Source #

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

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

matchProgramWithCondition :: Expression -> Maybe Condition -> Program -> IO (Maybe [Subst]) Source #