Data.Rewriting.Rule.Type

Documentation

module Data.Rewriting.Term.Type

data Rule f v

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)