Algorithm.EqSat.Simplify

Module containing the algebraic rules and simplification function.

Documentation

data Rule

Constructors

Pattern :=> Pattern infix 3

Pattern :==: Pattern infix 3

Rule :| Condition infixl 2

Instances

Show Rule

Defined in Algorithm.EqSat.DB

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

simplifyEqSatDefault :: Fix SRTree -> Fix SRTree

simplify using the default parameters

applyMergeOnlyDftl :: forall (m :: Type -> Type). Monad m => CostFun -> EGraphST m ()

apply a single step of merge-only using default rules

rewrites :: [Rule]

rewriteBasic :: [Rule]

rewritesFun :: [Rule]