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

DSL

Documentation

commutes :: (MetaTerm -> MetaTerm -> MetaTerm) -> Rewrite Source #

assocL :: (MetaTerm -> MetaTerm -> MetaTerm) -> Rewrite Source #

assocR :: (MetaTerm -> MetaTerm -> MetaTerm) -> Rewrite Source #

distribL :: (MetaTerm -> MetaTerm -> MetaTerm) -> (MetaTerm -> MetaTerm -> MetaTerm) -> Rewrite Source #

distribR :: (MetaTerm -> MetaTerm -> MetaTerm) -> (MetaTerm -> MetaTerm -> MetaTerm) -> Rewrite Source #

ackOp :: Op Source #

plus :: Op Source #

minus :: Op Source #

times :: Op Source #

a :: RuntimeTerm Source #

b :: RuntimeTerm Source #

c :: RuntimeTerm Source #

d :: RuntimeTerm Source #

x :: MetaTerm Source #

y :: MetaTerm Source #

v :: MetaTerm Source #

w :: MetaTerm Source #

z' :: MetaTerm Source #

f :: Op Source #

g :: Op Source #

h :: Op Source #

t1Op :: Op Source #

t2Op :: Op Source #

t1 :: RuntimeTerm Source #

t2 :: RuntimeTerm Source #

t3 :: RuntimeTerm Source #

t4 :: RuntimeTerm Source #

t5 :: RuntimeTerm Source #

zero :: RuntimeTerm Source #

one :: RuntimeTerm Source #

two :: RuntimeTerm Source #

suc :: RuntimeTerm -> RuntimeTerm Source #

ack :: RuntimeTerm -> RuntimeTerm -> RuntimeTerm Source #

zero' :: MetaTerm Source #

one' :: MetaTerm Source #

suc' :: MetaTerm -> MetaTerm Source #

ack' :: MetaTerm -> MetaTerm -> MetaTerm Source #

(.+) :: RuntimeTerm -> RuntimeTerm -> RuntimeTerm infixl 1 Source #

(#+) :: MetaTerm -> MetaTerm -> MetaTerm Source #

(#-) :: MetaTerm -> MetaTerm -> MetaTerm Source #

(#*) :: MetaTerm -> MetaTerm -> MetaTerm Source #

(~>) :: MetaTerm -> MetaTerm -> Rewrite infix 0 Source #

(<~>) :: MetaTerm -> MetaTerm -> [Rewrite] infix 0 Source #