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

Language.REST.Core

Documentation

type MetaTerm = MetaTerm Source #

contains :: RuntimeTerm -> RuntimeTerm -> Bool Source #

orient' :: Show oc => (?impl :: OCAlgebra oc RuntimeTerm m) => oc -> [RuntimeTerm] -> oc Source #

orient :: Show oc => OCAlgebra oc RuntimeTerm m -> [RuntimeTerm] -> oc Source #

canOrient :: forall oc m. Show oc => (?impl :: OCAlgebra oc RuntimeTerm m) => [RuntimeTerm] -> m Bool Source #

syms :: MetaTerm -> HashSet String Source #

termPathStr :: [RuntimeTerm] -> String Source #

eval :: HashSet Rewrite -> RuntimeTerm -> IO RuntimeTerm Source #