Term.Rewriting.Definitions

Term Equalities, Matching Problems, and Subterm Rules.

Equalities

data Equal a

An equality.

Constructors

Equal

Fields

eqLHS :: a

eqRHS :: a

Instances

Functor Equal

Applicative Equal

Foldable Equal

Traversable Equal

Eq a => Eq (Equal a)

Show a => Show (Equal a)

Monoid a => Monoid (Equal a)

HasFrees a => HasFrees (Equal a)

Apply t => Apply (Equal t)

evalEqual :: Eq a => Equal a -> Bool

True iff the two sides of the equality are equal with respect to their Eq instance.

Matching Problems

data Match a

A matching problem.

Constructors

MatchWith

Fields

matchTerm :: a

matchPattern :: a

Instances

Functor Match

Applicative Match

Foldable Match

Traversable Match

Eq a => Eq (Match a)

Show a => Show (Match a)

Monoid a => Monoid (Match a)

HasFrees a => HasFrees (Match a)

Rewriting Rules

data RRule a

A rewrite rule.

Constructors

RRule a a

Instances

Functor RRule

Applicative RRule

Foldable RRule

Traversable RRule

Eq a => Eq (RRule a)

Ord a => Ord (RRule a)

Show a => Show (RRule a)

Monoid a => Monoid (RRule a)

HasFrees a => HasFrees (RRule a)