Data.Rewriting.Problem.Type

Documentation

data StartTerms

Constructors

AllTerms

BasicTerms

Instances

Eq StartTerms

Show StartTerms

data Strategy

Constructors

Innermost

Full

Outermost

Instances

Eq Strategy

Show Strategy

data RulesPair f v

Constructors

RulesPair

Fields

strictRules :: [Rule f v]

weakRules :: [Rule f v]

Instances

(Eq f, Eq v) => Eq (RulesPair f v)

(Show f, Show v) => Show (RulesPair f v)

data Problem f v

Constructors

Problem

Fields

startTerms :: StartTerms

strategy :: Strategy

theory :: Maybe [Theory f v]

rules :: RulesPair f v

variables :: [v]

symbols :: [f]

comment :: Maybe String

Instances

(Show f, Show v) => Show (Problem f v)

(Eq f, Eq v, Pretty f, Pretty v) => Pretty (Problem f v)

data Theory f v

Constructors

SymbolProperty String [f]

Equations [Rule f v]

Instances

(Eq f, Eq v) => Eq (Theory f v)

(Show f, Show v) => Show (Theory f v)

allRules :: RulesPair f v -> [Rule f v]