eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Rules.RunYegor

Documentation

runWithYegorRules :: (Context -> Object -> Object) -> Object -> IO () Source #

yegorRuleSet :: RuleSet Source #

yegorRules :: [NamedRule] Source #