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

Language.REST.MetaTerm

Synopsis

Documentation

data MetaTerm Source #

A MetaTerm is a term with variables; used for Rewrite rules

Constructors

Var String 
RWApp Op [MetaTerm] 

Instances

Instances details
IsString MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

Generic MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

Associated Types

type Rep MetaTerm :: Type -> Type #

Methods

from :: MetaTerm -> Rep MetaTerm x #

to :: Rep MetaTerm x -> MetaTerm #

Show MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

Eq MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

Ord MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

Hashable MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

Methods

hashWithSalt :: Int -> MetaTerm -> Int #

hash :: MetaTerm -> Int #

ToMetaTerm MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

type Rep MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

class ToMetaTerm a where Source #

Helper class, enabling conversion of RuntimeTerms to MetaTerms

Methods

toMetaTerm :: a -> MetaTerm Source #

Instances

Instances details
ToMetaTerm MetaTerm Source # 
Instance details

Defined in Language.REST.MetaTerm

ToMetaTerm RuntimeTerm Source # 
Instance details

Defined in Language.REST.MetaTerm