overeasy-0.2.0: A purely functional E-Graph library

Index

ArithOvereasy.Example
ArithConstOvereasy.Example
ArithConstFOvereasy.Example
ArithFOvereasy.Example
ArithPlusOvereasy.Example
ArithPlusFOvereasy.Example
ArithShiftLOvereasy.Example
ArithShiftLFOvereasy.Example
ArithShiftROvereasy.Example
ArithShiftRFOvereasy.Example
ArithTimesOvereasy.Example
ArithTimesFOvereasy.Example
AssocOvereasy.Assoc
assocBwdOvereasy.Assoc
assocCanCompactOvereasy.Assoc
assocCompactOvereasy.Assoc
assocCompactIncOvereasy.Assoc
assocEquivOvereasy.Assoc
assocFootprintOvereasy.Assoc
assocFromListOvereasy.Assoc
assocFwdOvereasy.Assoc
assocInsertOvereasy.Assoc
assocInsertIncOvereasy.Assoc
AssocInsertResOvereasy.Assoc
AssocInsertResCreatedOvereasy.Assoc
AssocInsertResMergedOvereasy.Assoc
AssocInsertResUnchangedOvereasy.Assoc
AssocInsertResUpdatedOvereasy.Assoc
assocLeavesOvereasy.Assoc
assocLookupByKeyOvereasy.Assoc
assocLookupByValueOvereasy.Assoc
assocLookupRootOvereasy.Assoc
assocMemberOvereasy.Assoc
assocMembersOvereasy.Assoc
assocNewOvereasy.Assoc
assocPartialLookupByKeyOvereasy.Assoc
assocPartialLookupByValueOvereasy.Assoc
assocRemoveAllOvereasy.Assoc
assocRemoveAllIncOvereasy.Assoc
assocRootsOvereasy.Assoc
assocSingletonOvereasy.Assoc
assocSizeOvereasy.Assoc
assocToListOvereasy.Assoc
assocUnionOvereasy.Assoc
ChangedOvereasy.Util
ChangedNoOvereasy.Util
ChangedYesOvereasy.Util
chooseOvereasy.Streams
chooseWithOvereasy.Streams
ClassReplacementsOvereasy.EGraph
EAnalysisOvereasy.EGraph
eciDataOvereasy.EGraph
eciNodesOvereasy.EGraph
eciParentsOvereasy.EGraph
EClassId 
1 (Type/Class)Overeasy.EGraph
2 (Data Constructor)Overeasy.EGraph
EClassInfo 
1 (Type/Class)Overeasy.EGraph
2 (Data Constructor)Overeasy.EGraph
efAddOvereasy.EquivFind
efAddIncOvereasy.EquivFind
efBwdOvereasy.EquivFind
efCanCompactOvereasy.EquivFind
efCanonicalizeOvereasy.EquivFind
efCanonicalizePartialOvereasy.EquivFind
efClosureOvereasy.EquivFind
efCompactOvereasy.EquivFind
efCompactIncOvereasy.EquivFind
efEquivsOvereasy.EquivFind
efFindAllOvereasy.EquivFind
efFindLeavesOvereasy.EquivFind
efFindRootOvereasy.EquivFind
efFwdOvereasy.EquivFind
efLeavesOvereasy.EquivFind
efLeavesSizeOvereasy.EquivFind
efLookupLeavesOvereasy.EquivFind
efLookupRootOvereasy.EquivFind
efMemberOvereasy.EquivFind
efMembersOvereasy.EquivFind
efMergeOvereasy.EquivFind
efMergeIncOvereasy.EquivFind
efMergeSetsOvereasy.EquivFind
efMergeSetsIncOvereasy.EquivFind
efNewOvereasy.EquivFind
efRemoveAllOvereasy.EquivFind
efRemoveAllIncOvereasy.EquivFind
efRootsOvereasy.EquivFind
efRootsSizeOvereasy.EquivFind
efSingletonOvereasy.EquivFind
efSubsetOvereasy.EquivFind
efTotalSizeOvereasy.EquivFind
efUnsafeAddLeafIncOvereasy.EquivFind
efUnsafeMergeOvereasy.EquivFind
egAddTermOvereasy.EGraph
egCanonicalizeOvereasy.EGraph
egCanonicalizePartialOvereasy.EGraph
egClassesOvereasy.EGraph
egClassInfoOvereasy.EGraph
egClassMapOvereasy.EGraph
egClassSizeOvereasy.EGraph
egClassSourceOvereasy.EGraph
egEquivFindOvereasy.EGraph
egFindNodeOvereasy.EGraph
egFindTermOvereasy.EGraph
egHashConsOvereasy.EGraph
egMergeOvereasy.EGraph
egMergeManyOvereasy.EGraph
egNewOvereasy.EGraph
egNodeAssocOvereasy.EGraph
egNodeSizeOvereasy.EGraph
egNodeSourceOvereasy.EGraph
EGraphOvereasy.EGraph
egReanalyzeOvereasy.EGraph
egReanalyzeSubsetOvereasy.EGraph
ENodeId 
1 (Type/Class)Overeasy.EGraph
2 (Data Constructor)Overeasy.EGraph
EquivAddResOvereasy.EquivFind
EquivAddResAlreadyLeafOfOvereasy.EquivFind
EquivAddResAlreadyRootOvereasy.EquivFind
EquivAddResNewRootOvereasy.EquivFind
EquivFindOvereasy.EquivFind
EquivMergeResOvereasy.EquivFind
EquivMergeResChangedOvereasy.EquivFind
EquivMergeResMissingOvereasy.EquivFind
EquivMergeResUnchangedOvereasy.EquivFind
EquivMergeSetsResOvereasy.EquivFind
EquivMergeSetsResChangedOvereasy.EquivFind
EquivMergeSetsResEmptySetOvereasy.EquivFind
EquivMergeSetsResMissingOvereasy.EquivFind
EquivMergeSetsResUnchangedOvereasy.EquivFind
exampleGraphOvereasy.Example
exampleMainOvereasy.Example
examplePatOvereasy.Example
foldWholeMOvereasy.Util
Match 
1 (Type/Class)Overeasy.Matching
2 (Data Constructor)Overeasy.Matching
matchOvereasy.Matching
matchAnnoOvereasy.Matching
matchClassesOvereasy.Matching
matchClassFOvereasy.Matching
MatchF 
1 (Type/Class)Overeasy.Matching
2 (Data Constructor)Overeasy.Matching
MatchPatOvereasy.Matching
matchPatOvereasy.Matching
MatchPatEmbedOvereasy.Matching
MatchPatEmbedFOvereasy.Matching
MatchPatFOvereasy.Matching
matchPatFOvereasy.Matching
MatchPatPureOvereasy.Matching
MatchPatPureFOvereasy.Matching
MatchSubst 
1 (Type/Class)Overeasy.Matching
2 (Data Constructor)Overeasy.Matching
matchVarsOvereasy.Matching
MergeResultOvereasy.EGraph
MergeResultChangedOvereasy.EGraph
MergeResultMissingOvereasy.EGraph
MergeResultUnchangedOvereasy.EGraph
msMatchOvereasy.Matching
msSubstOvereasy.Matching
noAnalysisOvereasy.EGraph
PatOvereasy.Matching
PatGraph 
1 (Type/Class)Overeasy.Matching
2 (Data Constructor)Overeasy.Matching
patGraphOvereasy.Matching
PatGraphCOvereasy.Matching
PatGroupOvereasy.Matching
patVarsOvereasy.Matching
pgNodesOvereasy.Matching
pgRootsOvereasy.Matching
pgVarsOvereasy.Matching
RecursiveWholeOvereasy.Util
sgByVarOvereasy.Matching
sgNodesOvereasy.Matching
singlePatGraphOvereasy.Matching
SolGraph 
1 (Type/Class)Overeasy.Matching
2 (Data Constructor)Overeasy.Matching
solGraphOvereasy.Matching
SolGraphCOvereasy.Matching
SolStreamOvereasy.Matching
solveOvereasy.Matching
SolveCOvereasy.Matching
SourceOvereasy.Source
sourceAddOvereasy.Source
sourceAddIncOvereasy.Source
sourceNewOvereasy.Source
sourcePeekOvereasy.Source
sourceSizeOvereasy.Source
sourceSkipOvereasy.Source
sourceSkipIncOvereasy.Source
stateFailOvereasy.Util
stateFailChangedOvereasy.Util
stateFoldOvereasy.Util
stateOptionOvereasy.Util
StreamOvereasy.Streams
streamAllOvereasy.Streams
SubstOvereasy.Matching
substVarsOvereasy.Matching
unEClassIdOvereasy.EGraph
unENodeIdOvereasy.EGraph
unVarIdOvereasy.Matching
VarId 
1 (Type/Class)Overeasy.Matching
2 (Data Constructor)Overeasy.Matching
WholeOvereasy.Util
WorkItemOvereasy.EGraph
WorkListOvereasy.EGraph