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

Nat

Documentation

termToInt :: ToMetaTerm a => a -> Maybe Int Source #

intToTerm :: Int -> RuntimeTerm Source #

parseTerm :: String -> RuntimeTerm Source #

pp :: ToMetaTerm a => a -> String Source #

s :: Op Source #

z :: Op Source #

Orphan instances

IsString RuntimeTerm Source # 
Instance details

Methods

fromString :: String -> RuntimeTerm #

ToRuntimeTerm Int Source # 
Instance details

Methods

toRuntimeTerm :: Int -> RuntimeTerm #