rest-rewrite-0.3.0: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.RPO

Documentation

rpo :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity Source #

rpoTerm :: RuntimeTerm -> RuntimeTerm Source #

rpoGTE :: (?impl :: WQOConstraints oc m, Hashable (oc Op), Eq (oc Op), Show (oc Op)) => RuntimeTerm -> RuntimeTerm -> oc Op Source #

rpoGTE' :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => WQOConstraints oc m' -> oc Op -> RuntimeTerm -> RuntimeTerm -> Identity (oc Op) Source #

synGTE :: OpOrdering -> RuntimeTerm -> RuntimeTerm -> Bool Source #