term-rewriting-0.3.0.1: Term Rewriting Library

Index

aboveData.Rewriting.Pos
allRulesData.Rewriting.Problem.Type, Data.Rewriting.Problem
AllTermsData.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
applyCtxtData.Rewriting.Substitution.Ops, Data.Rewriting.Substitution
applyRuleData.Rewriting.Substitution.Ops, Data.Rewriting.Substitution
BasicTermsData.Rewriting.Problem.Type, Data.Rewriting.Problem
belowData.Rewriting.Pos
bothData.Rewriting.Rule.Ops, Data.Rewriting.Rule
commentData.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
cpsData.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair
cps'Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair
cpsInData.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair
cpsIn'Data.Rewriting.CriticalPair.Ops, Data.Rewriting.CriticalPair
cpsOutData.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
EquationsData.Rewriting.Problem.Type, Data.Rewriting.Problem
FileReadErrorData.Rewriting.Problem.Parse, Data.Rewriting.Problem
foldData.Rewriting.Term.Type, Data.Rewriting.Term
fromCharStreamData.Rewriting.Problem.Parse, Data.Rewriting.Problem
fromFileData.Rewriting.Problem.Parse, Data.Rewriting.Problem
fromMapData.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
FullData.Rewriting.Problem.Type, Data.Rewriting.Problem
fullRewriteData.Rewriting.Rules.Rewrite, Data.Rewriting.Rules
FunData.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
gApplyData.Rewriting.Substitution.Ops, Data.Rewriting.Substitution
GSubstData.Rewriting.Substitution.Type, Data.Rewriting.Substitution
HoleData.Rewriting.Context.Type, Data.Rewriting.Context
InnermostData.Rewriting.Problem.Type, Data.Rewriting.Problem
innerRewriteData.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 
1 (Function)Data.Rewriting.Rule.Ops, Data.Rewriting.Rule
2 (Function)Data.Rewriting.Rules.Ops, Data.Rewriting.Rules
isFunData.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
isVarData.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
leftOfData.Rewriting.Pos
leftPosData.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair
leftRuleData.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair
lhsData.Rewriting.Rule.Type, Data.Rewriting.Rule
lhssData.Rewriting.Rules.Ops, Data.Rewriting.Rules
listContextsData.Rewriting.Rules.Rewrite
map 
1 (Function)Data.Rewriting.Term.Type, Data.Rewriting.Term
2 (Function)Data.Rewriting.Rule.Type, Data.Rewriting.Rule
3 (Function)Data.Rewriting.Rules.Ops, Data.Rewriting.Rules
4 (Function)Data.Rewriting.Problem.Type, Data.Rewriting.Problem
mapSidesData.Rewriting.Rule.Type, Data.Rewriting.Rule
matchData.Rewriting.Substitution.Match, Data.Rewriting.Substitution
mergeData.Rewriting.Substitution.Ops, Data.Rewriting.Substitution
nestedData.Rewriting.Rules.Rewrite
ofTermData.Rewriting.Context.Ops, Data.Rewriting.Context
OutermostData.Rewriting.Problem.Type, Data.Rewriting.Problem
outerRewriteData.Rewriting.Rules.Rewrite, Data.Rewriting.Rules
parallelToData.Rewriting.Pos
parse 
1 (Function)Data.Rewriting.Term.Parse, Data.Rewriting.Term
2 (Function)Data.Rewriting.Substitution.Parse, Data.Rewriting.Substitution
parseFileIOData.Rewriting.Problem.Parse, Data.Rewriting.Problem
parseFunData.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
parseVarData.Rewriting.Term.Parse, Data.Rewriting.Term
parseWSTData.Rewriting.Term.Parse, Data.Rewriting.Term
PosData.Rewriting.Pos
posData.Rewriting.Rules.Rewrite, Data.Rewriting.Rules
prettyProblemData.Rewriting.Problem.Pretty, Data.Rewriting.Problem
prettyRuleData.Rewriting.Rule.Pretty, Data.Rewriting.Rule
prettySubstData.Rewriting.Substitution.Pretty, Data.Rewriting.Substitution
prettyTermData.Rewriting.Term.Pretty, Data.Rewriting.Term
prettyWSTData.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
ProblemParseErrorData.Rewriting.Problem.Parse, Data.Rewriting.Problem
properSubtermsData.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
replaceAtData.Rewriting.Term.Ops, Data.Rewriting.Term
restrictFunsData.Rewriting.Rules.Ops, Data.Rewriting.Rules
resultData.Rewriting.Rules.Rewrite, Data.Rewriting.Rules
rhsData.Rewriting.Rule.Type, Data.Rewriting.Rule
rhssData.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
rightOfData.Rewriting.Pos
rightRuleData.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair
rootData.Rewriting.Term.Ops, Data.Rewriting.Term
rootRewriteData.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
ruleData.Rewriting.Rules.Rewrite, Data.Rewriting.Rules
rulesData.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
SomeParseErrorData.Rewriting.Problem.Parse, Data.Rewriting.Problem
StartTermsData.Rewriting.Problem.Type, Data.Rewriting.Problem
startTermsData.Rewriting.Problem.Type, Data.Rewriting.Problem
Strategy 
1 (Type/Class)Data.Rewriting.Rules.Rewrite, Data.Rewriting.Rules
2 (Type/Class)Data.Rewriting.Problem.Type, Data.Rewriting.Problem
strategyData.Rewriting.Problem.Type, Data.Rewriting.Problem
strictRulesData.Rewriting.Problem.Type, Data.Rewriting.Problem
SubstData.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
subtermAtData.Rewriting.Term.Ops, Data.Rewriting.Term
subtermsData.Rewriting.Term.Ops, Data.Rewriting.Term
SymbolPropertyData.Rewriting.Problem.Type, Data.Rewriting.Problem
symbolsData.Rewriting.Problem.Type, Data.Rewriting.Problem
TermData.Rewriting.Term.Type, Data.Rewriting.Rule.Type, Data.Rewriting.Term, Data.Rewriting.Rule
TheoryData.Rewriting.Problem.Type, Data.Rewriting.Problem
theoryData.Rewriting.Problem.Type, Data.Rewriting.Problem
toMapData.Rewriting.Substitution.Type
topData.Rewriting.CriticalPair.Type, Data.Rewriting.CriticalPair
unifyData.Rewriting.Substitution.Unify, Data.Rewriting.Substitution
unifyRefData.Rewriting.Substitution.Unify, Data.Rewriting.Substitution
UnknownParseErrorData.Rewriting.Problem.Parse, Data.Rewriting.Problem
UnsupportedDeclarationData.Rewriting.Problem.Parse, Data.Rewriting.Problem
UnsupportedStrategyData.Rewriting.Problem.Parse, Data.Rewriting.Problem
VarData.Rewriting.Term.Type, Data.Rewriting.Rule.Type, Data.Rewriting.Term, Data.Rewriting.Rule
variablesData.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
weakRulesData.Rewriting.Problem.Type, Data.Rewriting.Problem
withArityData.Rewriting.Term.Ops, Data.Rewriting.Term