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

Language.REST

Description

 

Documentation

adtRPO :: (Handle, Handle) -> OCAlgebra (ConstraintsADT Op) RuntimeTerm IO Source #

getVars :: RuntimeTerm -> HashSet Op Source #

varsEQ :: RuntimeTerm -> RuntimeTerm -> WQO Op Source #

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