generics-mrsop-gdiff-0.0.2: Reimplementation of the gdiff algorithm for generics-mrsop (Index)

generics-mrsop-gdiff-0.0.2: Reimplementation of the gdiff algorithm for generics-mrsop

Index

A0	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
ADel	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
AIns	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Al	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Almu	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
AlmuMin
1 (Type/Class)	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
2 (Data Constructor)	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Ann	Generics.MRSOP.STDiff.Compute
annDest	Generics.MRSOP.STDiff.Compute
annSrc	Generics.MRSOP.STDiff.Compute
apply
1 (Function)	Generics.MRSOP.GDiff
2 (Function)	Generics.MRSOP.STDiff
apply'	Generics.MRSOP.GDiff
applyES	Generics.MRSOP.GDiff
At	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
AtFix	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
AtSet	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
AX	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Cof	Generics.MRSOP.GDiff
cofHeq	Generics.MRSOP.GDiff
cofIdx	Generics.MRSOP.GDiff
cofWitnessI	Generics.MRSOP.GDiff
ConstrI	Generics.MRSOP.GDiff
ConstrK	Generics.MRSOP.GDiff
copiesAlgebra	Generics.MRSOP.STDiff.Compute
Copy	Generics.MRSOP.STDiff.Compute
cost	Generics.MRSOP.GDiff
countCopies	Generics.MRSOP.STDiff.Compute
Cpy	Generics.MRSOP.GDiff
Ctx	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
CtxDel	Generics.MRSOP.STDiff.Compute
CtxIns	Generics.MRSOP.STDiff.Compute
Del
1 (Data Constructor)	Generics.MRSOP.GDiff
2 (Data Constructor)	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
DelCtx	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
diff
1 (Function)	Generics.MRSOP.GDiff
2 (Function)	Generics.MRSOP.STDiff.Compute, Generics.MRSOP.STDiff
diff'	Generics.MRSOP.GDiff
diffAl	Generics.MRSOP.STDiff.Compute
diffAlmu	Generics.MRSOP.STDiff.Compute
diffAt	Generics.MRSOP.STDiff.Compute
diffCtx	Generics.MRSOP.STDiff.Compute
diffSpine	Generics.MRSOP.STDiff.Compute
enumAlmu	Generics.MRSOP.STDiff.Enum
ES	Generics.MRSOP.GDiff
ES0	Generics.MRSOP.GDiff
H	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
hasCopies	Generics.MRSOP.STDiff.Compute
injCofAnn	Generics.MRSOP.STDiff.Compute
Ins
1 (Data Constructor)	Generics.MRSOP.GDiff
2 (Data Constructor)	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
insCofAnn	Generics.MRSOP.STDiff.Compute
InsCtx	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
InsOrDel	Generics.MRSOP.STDiff.Compute
L1	Generics.MRSOP.GDiff.Util
L2	Generics.MRSOP.GDiff.Util
L3	Generics.MRSOP.GDiff.Util
L4	Generics.MRSOP.GDiff.Util
listPrfNP	Generics.MRSOP.GDiff.Util
matchCof	Generics.MRSOP.GDiff
merge	Generics.MRSOP.STDiff.Merge, Generics.MRSOP.STDiff
Modify	Generics.MRSOP.STDiff.Compute
myForgetAnn	Generics.MRSOP.STDiff.Compute
myGetAnn	Generics.MRSOP.STDiff.Compute
myGetAnnAt	Generics.MRSOP.STDiff.Compute
myGetCopies	Generics.MRSOP.STDiff.Compute
reify	Generics.MRSOP.GDiff.Util
RList
1 (Type/Class)	Generics.MRSOP.GDiff.Util
2 (Data Constructor)	Generics.MRSOP.GDiff.Util
SChg	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
SCns	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Scp	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Spine	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
split	Generics.MRSOP.GDiff.Util
Spn	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
stiffAl	Generics.MRSOP.STDiff.Compute
stiffAlmu	Generics.MRSOP.STDiff.Compute
stiffAt	Generics.MRSOP.STDiff.Compute
stiffSpine	Generics.MRSOP.STDiff.Compute
T	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
Trivial	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
TrivialK	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff
unAlmuMin	Generics.MRSOP.STDiff.Types, Generics.MRSOP.STDiff