term-rewriting-0.2: Term Rewriting Library

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Rewriting.Rule.Type

Synopsis

Documentation

module Data.Rewriting.Term.Type

data Rule f v Source

Rewrite rule with left-hand side and right-hand side.

Constructors

Rule 

Fields

lhs :: Term f v
 
rhs :: Term f v
 

Instances

(Eq f, Eq v) => Eq (Rule f v) 
(Ord f, Ord v) => Ord (Rule f v) 
(Show f, Show v) => Show (Rule f v) 
(Pretty f, Pretty v) => Pretty (Rule f v)