overeasy-0.2.0: A purely functional E-Graph library
Contents
Index
Index
Arith
Overeasy.Example
ArithConst
Overeasy.Example
ArithConstF
Overeasy.Example
ArithF
Overeasy.Example
ArithPlus
Overeasy.Example
ArithPlusF
Overeasy.Example
ArithShiftL
Overeasy.Example
ArithShiftLF
Overeasy.Example
ArithShiftR
Overeasy.Example
ArithShiftRF
Overeasy.Example
ArithTimes
Overeasy.Example
ArithTimesF
Overeasy.Example
Assoc
Overeasy.Assoc
assocBwd
Overeasy.Assoc
assocCanCompact
Overeasy.Assoc
assocCompact
Overeasy.Assoc
assocCompactInc
Overeasy.Assoc
assocEquiv
Overeasy.Assoc
assocFootprint
Overeasy.Assoc
assocFromList
Overeasy.Assoc
assocFwd
Overeasy.Assoc
assocInsert
Overeasy.Assoc
assocInsertInc
Overeasy.Assoc
AssocInsertRes
Overeasy.Assoc
AssocInsertResCreated
Overeasy.Assoc
AssocInsertResMerged
Overeasy.Assoc
AssocInsertResUnchanged
Overeasy.Assoc
AssocInsertResUpdated
Overeasy.Assoc
assocLeaves
Overeasy.Assoc
assocLookupByKey
Overeasy.Assoc
assocLookupByValue
Overeasy.Assoc
assocLookupRoot
Overeasy.Assoc
assocMember
Overeasy.Assoc
assocMembers
Overeasy.Assoc
assocNew
Overeasy.Assoc
assocPartialLookupByKey
Overeasy.Assoc
assocPartialLookupByValue
Overeasy.Assoc
assocRemoveAll
Overeasy.Assoc
assocRemoveAllInc
Overeasy.Assoc
assocRoots
Overeasy.Assoc
assocSingleton
Overeasy.Assoc
assocSize
Overeasy.Assoc
assocToList
Overeasy.Assoc
assocUnion
Overeasy.Assoc
Changed
Overeasy.Util
ChangedNo
Overeasy.Util
ChangedYes
Overeasy.Util
choose
Overeasy.Streams
chooseWith
Overeasy.Streams
ClassReplacements
Overeasy.EGraph
EAnalysis
Overeasy.EGraph
eciData
Overeasy.EGraph
eciNodes
Overeasy.EGraph
eciParents
Overeasy.EGraph
EClassId
1 (Type/Class)
Overeasy.EGraph
2 (Data Constructor)
Overeasy.EGraph
EClassInfo
1 (Type/Class)
Overeasy.EGraph
2 (Data Constructor)
Overeasy.EGraph
efAdd
Overeasy.EquivFind
efAddInc
Overeasy.EquivFind
efBwd
Overeasy.EquivFind
efCanCompact
Overeasy.EquivFind
efCanonicalize
Overeasy.EquivFind
efCanonicalizePartial
Overeasy.EquivFind
efClosure
Overeasy.EquivFind
efCompact
Overeasy.EquivFind
efCompactInc
Overeasy.EquivFind
efEquivs
Overeasy.EquivFind
efFindAll
Overeasy.EquivFind
efFindLeaves
Overeasy.EquivFind
efFindRoot
Overeasy.EquivFind
efFwd
Overeasy.EquivFind
efLeaves
Overeasy.EquivFind
efLeavesSize
Overeasy.EquivFind
efLookupLeaves
Overeasy.EquivFind
efLookupRoot
Overeasy.EquivFind
efMember
Overeasy.EquivFind
efMembers
Overeasy.EquivFind
efMerge
Overeasy.EquivFind
efMergeInc
Overeasy.EquivFind
efMergeSets
Overeasy.EquivFind
efMergeSetsInc
Overeasy.EquivFind
efNew
Overeasy.EquivFind
efRemoveAll
Overeasy.EquivFind
efRemoveAllInc
Overeasy.EquivFind
efRoots
Overeasy.EquivFind
efRootsSize
Overeasy.EquivFind
efSingleton
Overeasy.EquivFind
efSubset
Overeasy.EquivFind
efTotalSize
Overeasy.EquivFind
efUnsafeAddLeafInc
Overeasy.EquivFind
efUnsafeMerge
Overeasy.EquivFind
egAddTerm
Overeasy.EGraph
egCanonicalize
Overeasy.EGraph
egCanonicalizePartial
Overeasy.EGraph
egClasses
Overeasy.EGraph
egClassInfo
Overeasy.EGraph
egClassMap
Overeasy.EGraph
egClassSize
Overeasy.EGraph
egClassSource
Overeasy.EGraph
egEquivFind
Overeasy.EGraph
egFindNode
Overeasy.EGraph
egFindTerm
Overeasy.EGraph
egHashCons
Overeasy.EGraph
egMerge
Overeasy.EGraph
egMergeMany
Overeasy.EGraph
egNew
Overeasy.EGraph
egNodeAssoc
Overeasy.EGraph
egNodeSize
Overeasy.EGraph
egNodeSource
Overeasy.EGraph
EGraph
Overeasy.EGraph
egReanalyze
Overeasy.EGraph
egReanalyzeSubset
Overeasy.EGraph
ENodeId
1 (Type/Class)
Overeasy.EGraph
2 (Data Constructor)
Overeasy.EGraph
EquivAddRes
Overeasy.EquivFind
EquivAddResAlreadyLeafOf
Overeasy.EquivFind
EquivAddResAlreadyRoot
Overeasy.EquivFind
EquivAddResNewRoot
Overeasy.EquivFind
EquivFind
Overeasy.EquivFind
EquivMergeRes
Overeasy.EquivFind
EquivMergeResChanged
Overeasy.EquivFind
EquivMergeResMissing
Overeasy.EquivFind
EquivMergeResUnchanged
Overeasy.EquivFind
EquivMergeSetsRes
Overeasy.EquivFind
EquivMergeSetsResChanged
Overeasy.EquivFind
EquivMergeSetsResEmptySet
Overeasy.EquivFind
EquivMergeSetsResMissing
Overeasy.EquivFind
EquivMergeSetsResUnchanged
Overeasy.EquivFind
exampleGraph
Overeasy.Example
exampleMain
Overeasy.Example
examplePat
Overeasy.Example
foldWholeM
Overeasy.Util
Match
1 (Type/Class)
Overeasy.Matching
2 (Data Constructor)
Overeasy.Matching
match
Overeasy.Matching
matchAnno
Overeasy.Matching
matchClasses
Overeasy.Matching
matchClassF
Overeasy.Matching
MatchF
1 (Type/Class)
Overeasy.Matching
2 (Data Constructor)
Overeasy.Matching
MatchPat
Overeasy.Matching
matchPat
Overeasy.Matching
MatchPatEmbed
Overeasy.Matching
MatchPatEmbedF
Overeasy.Matching
MatchPatF
Overeasy.Matching
matchPatF
Overeasy.Matching
MatchPatPure
Overeasy.Matching
MatchPatPureF
Overeasy.Matching
MatchSubst
1 (Type/Class)
Overeasy.Matching
2 (Data Constructor)
Overeasy.Matching
matchVars
Overeasy.Matching
MergeResult
Overeasy.EGraph
MergeResultChanged
Overeasy.EGraph
MergeResultMissing
Overeasy.EGraph
MergeResultUnchanged
Overeasy.EGraph
msMatch
Overeasy.Matching
msSubst
Overeasy.Matching
noAnalysis
Overeasy.EGraph
Pat
Overeasy.Matching
PatGraph
1 (Type/Class)
Overeasy.Matching
2 (Data Constructor)
Overeasy.Matching
patGraph
Overeasy.Matching
PatGraphC
Overeasy.Matching
PatGroup
Overeasy.Matching
patVars
Overeasy.Matching
pgNodes
Overeasy.Matching
pgRoots
Overeasy.Matching
pgVars
Overeasy.Matching
RecursiveWhole
Overeasy.Util
sgByVar
Overeasy.Matching
sgNodes
Overeasy.Matching
singlePatGraph
Overeasy.Matching
SolGraph
1 (Type/Class)
Overeasy.Matching
2 (Data Constructor)
Overeasy.Matching
solGraph
Overeasy.Matching
SolGraphC
Overeasy.Matching
SolStream
Overeasy.Matching
solve
Overeasy.Matching
SolveC
Overeasy.Matching
Source
Overeasy.Source
sourceAdd
Overeasy.Source
sourceAddInc
Overeasy.Source
sourceNew
Overeasy.Source
sourcePeek
Overeasy.Source
sourceSize
Overeasy.Source
sourceSkip
Overeasy.Source
sourceSkipInc
Overeasy.Source
stateFail
Overeasy.Util
stateFailChanged
Overeasy.Util
stateFold
Overeasy.Util
stateOption
Overeasy.Util
Stream
Overeasy.Streams
streamAll
Overeasy.Streams
Subst
Overeasy.Matching
substVars
Overeasy.Matching
unEClassId
Overeasy.EGraph
unENodeId
Overeasy.EGraph
unVarId
Overeasy.Matching
VarId
1 (Type/Class)
Overeasy.Matching
2 (Data Constructor)
Overeasy.Matching
Whole
Overeasy.Util
WorkItem
Overeasy.EGraph
WorkList
Overeasy.EGraph