| above | Data.Rewriting.Pos |
| allRules | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| AllTerms | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| apply | |
| 1 (Function) | Data.Rewriting.Substitution.Ops, Data.Rewriting.Substitution |
| 2 (Function) | Data.Rewriting.Context.Ops, Data.Rewriting.Context |
| applyCtxt | Data.Rewriting.Substitution.Ops, Data.Rewriting.Substitution |
| applyRule | Data.Rewriting.Substitution.Ops, Data.Rewriting.Substitution |
| BasicTerms | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| below | Data.Rewriting.Pos |
| both | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| comment | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| compose | |
| 1 (Function) | Data.Rewriting.Substitution.Ops, Data.Rewriting.Substitution |
| 2 (Function) | Data.Rewriting.Context.Ops, Data.Rewriting.Context |
| CP | |
| 1 (Type/Class) | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| 2 (Data Constructor) | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| cps | Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair |
| cps' | Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair |
| cpsIn | Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair |
| cpsIn' | Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair |
| cpsOut | Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair |
| cpsOut' | Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair |
| Ctxt | |
| 1 (Type/Class) | Data.Rewriting.Context.Type, Data.Rewriting.Context |
| 2 (Data Constructor) | Data.Rewriting.Context.Type, Data.Rewriting.Context |
| Equations | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| FileReadError | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| fold | Data.Rewriting.Term.Type, Data.Rewriting.Term |
| fromCharStream | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| fromFile | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| fromMap | Data.Rewriting.Substitution.Type |
| fromString | |
| 1 (Function) | Data.Rewriting.Term.Parse, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Substitution.Parse, Data.Rewriting.Substitution |
| 3 (Function) | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| Full | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| fullRewrite | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| Fun | Data.Rewriting.Term.Type, Data.Rewriting.Rule.Type, Data.Rewriting.Term, Data.Rewriting.Rule |
| funs | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 3 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| funsDL | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 3 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| gApply | Data.Rewriting.Substitution.Ops, Data.Rewriting.Substitution |
| GSubst | Data.Rewriting.Substitution.Type, Data.Rewriting.Substitution |
| Hole | Data.Rewriting.Context.Type, Data.Rewriting.Context |
| Innermost | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| innerRewrite | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| isCollapsing | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isCreating | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isDuplicating | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isErasing | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isExpanding | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| isFun | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| isGround | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 3 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isInstanceOf | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| isLeftGround | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isLeftLinear | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isLinear | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 3 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isRightGround | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isRightLinear | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isValid | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| isVar | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| isVariantOf | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| left | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| leftOf | Data.Rewriting.Pos |
| leftPos | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| leftRule | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| lhs | Data.Rewriting.Rule.Type, Data.Rewriting.Rule |
| lhss | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| listContexts | Data.Rewriting.Rules.Rewrite |
| map | Data.Rewriting.Term.Type, Data.Rewriting.Term |
| match | Data.Rewriting.Substitution.Match, Data.Rewriting.Substitution |
| merge | Data.Rewriting.Substitution.Ops, Data.Rewriting.Substitution |
| nested | Data.Rewriting.Rules.Rewrite |
| ofTerm | Data.Rewriting.Context.Ops, Data.Rewriting.Context |
| Outermost | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| outerRewrite | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| parallelTo | Data.Rewriting.Pos |
| parse | |
| 1 (Function) | Data.Rewriting.Term.Parse, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Substitution.Parse, Data.Rewriting.Substitution |
| parseFileIO | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| parseFun | Data.Rewriting.Term.Parse, Data.Rewriting.Term |
| parseIO | |
| 1 (Function) | Data.Rewriting.Term.Parse, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Substitution.Parse, Data.Rewriting.Substitution |
| 3 (Function) | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| parseVar | Data.Rewriting.Term.Parse, Data.Rewriting.Term |
| parseWST | Data.Rewriting.Term.Parse, Data.Rewriting.Term |
| Pos | Data.Rewriting.Pos |
| pos | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| prettyProblem | Data.Rewriting.Problem.Pretty, Data.Rewriting.Problem |
| prettyRule | Data.Rewriting.Rule.Pretty, Data.Rewriting.Rule |
| prettySubst | Data.Rewriting.Substitution.Pretty, Data.Rewriting.Substitution |
| prettyTerm | Data.Rewriting.Term.Pretty, Data.Rewriting.Term |
| prettyWST | Data.Rewriting.Problem.Pretty, Data.Rewriting.Problem |
| prettyWST' | Data.Rewriting.Problem.Pretty, Data.Rewriting.Problem |
| Problem | |
| 1 (Type/Class) | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| 2 (Data Constructor) | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| ProblemParseError | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| properSubterms | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| Reduct | |
| 1 (Type/Class) | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| 2 (Data Constructor) | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| rename | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| replaceAt | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| restrictFuns | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| result | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| rhs | Data.Rewriting.Rule.Type, Data.Rewriting.Rule |
| rhss | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| right | |
| 1 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 2 (Function) | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| rightOf | Data.Rewriting.Pos |
| rightRule | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| root | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| rootRewrite | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| Rule | |
| 1 (Type/Class) | Data.Rewriting.Rule.Type, Data.Rewriting.Rule |
| 2 (Data Constructor) | Data.Rewriting.Rule.Type, Data.Rewriting.Rule |
| rule | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| rules | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| RulesPair | |
| 1 (Type/Class) | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| 2 (Data Constructor) | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| SomeParseError | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| StartTerms | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| startTerms | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| Strategy | |
| 1 (Type/Class) | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| 2 (Type/Class) | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| strategy | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| strictRules | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| Subst | Data.Rewriting.Substitution.Type, Data.Rewriting.Substitution |
| subst | |
| 1 (Function) | Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules |
| 2 (Function) | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| subtermAt | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| subterms | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| SymbolProperty | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| symbols | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| Term | Data.Rewriting.Term.Type, Data.Rewriting.Rule.Type, Data.Rewriting.Term, Data.Rewriting.Rule |
| Theory | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| theory | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| toMap | Data.Rewriting.Substitution.Type |
| top | Data.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair |
| unify | Data.Rewriting.Substitution.Unify, Data.Rewriting.Substitution |
| unifyRef | Data.Rewriting.Substitution.Unify, Data.Rewriting.Substitution |
| UnknownParseError | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| UnsupportedDeclaration | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| UnsupportedStrategy | Data.Rewriting.Problem.Parse, Data.Rewriting.Problem |
| Var | Data.Rewriting.Term.Type, Data.Rewriting.Rule.Type, Data.Rewriting.Term, Data.Rewriting.Rule |
| variables | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| vars | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 3 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| varsDL | |
| 1 (Function) | Data.Rewriting.Term.Ops, Data.Rewriting.Term |
| 2 (Function) | Data.Rewriting.Rule.Ops, Data.Rewriting.Rule |
| 3 (Function) | Data.Rewriting.Rules.Ops, Data.Rewriting.Rules |
| weakRules | Data.Rewriting.Problem.Type, Data.Rewriting.Problem |
| withArity | Data.Rewriting.Term.Ops, Data.Rewriting.Term |