ho-rewriting-0.1: Generic rewrite rules with safe treatment of variables and binders

Index

$$Data.Rewriting.Rules
$-Data.Rewriting.Rules
-$Data.Rewriting.Rules
-$-Data.Rewriting.Rules
===>Data.Rewriting.Rules
A 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
AlphaEnvData.Rewriting.HigherOrder
alphaEqData.Rewriting.HigherOrder
annFreeVarsData.Rewriting.HigherOrder
APPData.Rewriting.HigherOrder
AppData.Rewriting.HigherOrder
appData.Rewriting.HigherOrder
applyFirst 
1 (Function)Data.Rewriting.FirstOrder
2 (Function)Data.Rewriting.HigherOrder
B 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
BindData.Rewriting.HigherOrder
bottomUp 
1 (Function)Data.Rewriting.FirstOrder
2 (Function)Data.Rewriting.HigherOrder
C 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
freshData.Rewriting.HigherOrder
fromRepData.Rewriting.Rules
getAnnData.Rewriting.HigherOrder
LAMData.Rewriting.HigherOrder
LamData.Rewriting.HigherOrder
lamData.Rewriting.HigherOrder
LHS 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
MAppData.Rewriting.Rules
match 
1 (Function)Data.Rewriting.FirstOrder
2 (Function)Data.Rewriting.HigherOrder
matchM 
1 (Function)Data.Rewriting.FirstOrder
2 (Function)Data.Rewriting.HigherOrder
METAData.Rewriting.Rules
MetaData.Rewriting.Rules
MetaArgData.Rewriting.Rules
MetaExpData.Rewriting.Rules
metaExpData.Rewriting.Rules
MetaId 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
MetaRepData.Rewriting.Rules
MetaVarData.Rewriting.Rules
mkLamData.Rewriting.HigherOrder
MVarData.Rewriting.Rules
mvarData.Rewriting.Rules
NameData.Rewriting.Rules
oEmptyData.Rewriting.HigherOrder
oInsertData.Rewriting.HigherOrder
oLookupLData.Rewriting.HigherOrder
oMemberData.Rewriting.HigherOrder
oMemberEitherData.Rewriting.HigherOrder
OneToOneData.Rewriting.HigherOrder
PFData.Rewriting.Rules
QuantifiableData.Rewriting.Rules
quantifyData.Rewriting.Rules
quantify'Data.Rewriting.Rules
RepData.Rewriting.Rules
rewrite 
1 (Function)Data.Rewriting.FirstOrder
2 (Function)Data.Rewriting.HigherOrder
RHS 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
Rule 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.Rules
RuleTypeData.Rewriting.Rules
solveSubstData.Rewriting.FirstOrder
solveSubstAlphaData.Rewriting.HigherOrder
solveTermData.Rewriting.FirstOrder
solveTermAlphaData.Rewriting.HigherOrder
SubstData.Rewriting.Rules
substitute 
1 (Function)Data.Rewriting.FirstOrder
2 (Function)Data.Rewriting.HigherOrder
tAData.Rewriting.Rules
tBData.Rewriting.Rules
tCData.Rewriting.Rules
topDownData.Rewriting.FirstOrder
toRepData.Rewriting.Rules
tRuleData.Rewriting.Rules
unLHSData.Rewriting.Rules
unRHSData.Rewriting.Rules
VARData.Rewriting.HigherOrder
Var 
1 (Type/Class)Data.Rewriting.Rules
2 (Data Constructor)Data.Rewriting.HigherOrder
varData.Rewriting.HigherOrder
WILDData.Rewriting.Rules
WildCard 
1 (Data Constructor)Data.Rewriting.Rules
2 (Type/Class)Data.Rewriting.Rules
__Data.Rewriting.Rules