| // | Data.HDiff.Patch.Merge |
| :>: | Languages.RTree |
| Annotate | |
| 1 (Type/Class) | Data.HDiff.MetaVar |
| 2 (Data Constructor) | Data.HDiff.MetaVar |
| appendES | Data.HDiff.Change.TreeEditDistance |
| Applicable | Data.HDiff.Change.Apply |
| applicableTo | Data.HDiff.Patch |
| ApplicationErr | Data.HDiff.Change.Apply |
| apply | Data.HDiff.Patch |
| applyRTree | Languages.RTree.Diff |
| applyRTree' | Languages.RTree.Diff |
| applyRTreeC | Languages.RTree.Diff |
| arityMap | Data.HDiff.Patch.Merge |
| askListES | Data.HDiff.Change.TreeEditDistance |
| askSubst | Data.HDiff.Change.TreeEditDistance |
| authPeel | Generics.MRSOP.HDiff.Digest |
| authPeel' | Generics.MRSOP.HDiff.Digest |
| big1 | Data.HDiff.Example |
| big2 | Data.HDiff.Example |
| big3 | Data.HDiff.Example |
| CanShare | Data.HDiff.Diff.Modes |
| CantReconcile | Data.HDiff.Patch.Merge |
| CChange | Data.HDiff.Change |
| cCtxDel | Data.HDiff.Change |
| cCtxIns | Data.HDiff.Change |
| cCtxVars | Data.HDiff.Change |
| CDel | Data.HDiff.Change.Classify |
| change | Data.HDiff.Change |
| change1 | Data.HDiff.Example |
| change2 | Data.HDiff.Example |
| change2holes2 | Data.HDiff.Change |
| ChangeClass | Data.HDiff.Change.Classify |
| changeClassify | Data.HDiff.Change.Classify |
| changeCopy | Data.HDiff.Change |
| changeEq | Data.HDiff.Change |
| CId | Data.HDiff.Change.Classify |
| CIns | Data.HDiff.Change.Classify |
| CMatch | Data.HDiff.Change |
| cmatch | Data.HDiff.Change |
| cmatch' | Data.HDiff.Change |
| cMaxVar | Data.HDiff.Change |
| CMod | Data.HDiff.Change.Classify |
| CodesRTree | Languages.RTree |
| CodesTree23 | Data.HDiff.Example |
| cofListPrf | Data.HDiff.Change.TreeEditDistance |
| composes | Data.HDiff.Patch |
| compress | Data.HDiff.Change.TreeEditDistance |
| Conflict | |
| 1 (Type/Class) | Data.HDiff.Patch.Merge |
| 2 (Data Constructor) | Data.HDiff.Patch.Merge |
| cost | Data.HDiff.Change.TreeEditDistance |
| CPerm | Data.HDiff.Change.Classify |
| cpyOnly | Data.HDiff.Change.TreeEditDistance |
| cWithDisjNamesFrom | Data.HDiff.Change |
| delOnly | Data.HDiff.Change.TreeEditDistance |
| delPhase | Data.HDiff.Change.TreeEditDistance |
| delSync | Data.HDiff.Change.TreeEditDistance |
| dgms | Data.HDiff.Example |
| diff | Data.HDiff.Diff |
| DiffMode | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| DiffOpaques | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| DiffOptions | |
| 1 (Type/Class) | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| 2 (Data Constructor) | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| diffOptionsDefault | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| diffOpts | Data.HDiff.Diff |
| diffOpts' | Data.HDiff.Diff |
| digemRTree | Languages.RTree.Diff |
| digemRTreeH | Languages.RTree.Diff |
| digemRTreeHM | Languages.RTree.Diff |
| Digest | |
| 1 (Type/Class) | Generics.MRSOP.HDiff.Digest |
| 2 (Data Constructor) | Generics.MRSOP.HDiff.Digest |
| digest | Generics.MRSOP.HDiff.Digest |
| digestConcat | Generics.MRSOP.HDiff.Digest |
| digestHO | Generics.MRSOP.HDiff.Digest |
| Digestible | Generics.MRSOP.HDiff.Digest |
| DigestibleHO | Generics.MRSOP.HDiff.Digest |
| displayPatchC | Data.HDiff.Patch.Show |
| displayRawPatch | Data.HDiff.Patch.Show |
| distrCChange | Data.HDiff.Change |
| DM_NoNested | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| DM_Patience | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| DM_ProperShare | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| Domain | Data.HDiff.Change |
| domain | Data.HDiff.Change |
| doMinHeight | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| doMode | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| doOpaqueHandling | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| doubleColumn | Data.HDiff.Patch.Show |
| DO_AsIs | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| DO_Never | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| DO_OnSpine | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| empty | Data.WordTrie |
| esDelCong | Data.HDiff.Change.TreeEditDistance |
| esDelListPrf | Data.HDiff.Change.TreeEditDistance |
| esDelListProxy | Data.HDiff.Change.TreeEditDistance |
| esDelListProxy' | Data.HDiff.Change.TreeEditDistance |
| esInsCong | Data.HDiff.Change.TreeEditDistance |
| esInsListPrf | Data.HDiff.Change.TreeEditDistance |
| esInsListProxy | Data.HDiff.Change.TreeEditDistance |
| esInsListProxy' | Data.HDiff.Change.TreeEditDistance |
| exElim | Data.Exists |
| Exists | |
| 1 (Type/Class) | Data.Exists |
| 2 (Data Constructor) | Data.Exists |
| exMap | Data.Exists |
| exMapM | Data.Exists |
| extractHoles | Data.HDiff.Diff.Modes |
| extractNoNested | Data.HDiff.Diff.Modes |
| extractPatience | Data.HDiff.Diff.Modes |
| extractProperShare | Data.HDiff.Diff.Modes |
| FailedContraction | Data.HDiff.Change.Apply |
| FamRTree | Languages.RTree |
| FamTree23 | Data.HDiff.Example |
| fetch | Data.HDiff.Change.TreeEditDistance |
| ForceI | |
| 1 (Type/Class) | Data.HDiff.MetaVar |
| 2 (Data Constructor) | Data.HDiff.MetaVar |
| Fork | Data.WordTrie |
| fromNA | Data.HDiff.Change.TreeEditDistance |
| fst' | Data.HDiff.Change |
| gcpy | Data.HDiff.Change.TreeEditDistance |
| gdel | Data.HDiff.Change.TreeEditDistance |
| genConName | Languages.RTree |
| genericApply | Data.HDiff.Change.Apply |
| genInsHere | Languages.RTree |
| genSimilarTrees | Languages.RTree |
| genSimilarTrees' | Languages.RTree |
| genSimilarTrees'' | Languages.RTree |
| genSimilarTreesN | Languages.RTree |
| genTree | Languages.RTree |
| getArity | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| getConflicts | Data.HDiff.Patch.Merge |
| getConstrSNat | Data.HDiff.Change.Classify |
| getDigest | Generics.MRSOP.HDiff.Digest |
| getIsISNat | Generics.MRSOP.HDiff.Holes |
| getMetavar | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| gins | Data.HDiff.Change.TreeEditDistance |
| hash | Generics.MRSOP.HDiff.Digest |
| hashStr | Generics.MRSOP.HDiff.Digest |
| HasIKProjInj | Generics.MRSOP.HDiff.Holes |
| height | Languages.RTree |
| Holes2 | Data.HDiff.Change |
| holesGetMultiplicities | Data.HDiff.Change.Classify |
| HolesHoles2 | Data.HDiff.Change |
| holesPretty | Generics.MRSOP.HDiff.Holes |
| HolesTestEqualityCnstr | Generics.MRSOP.HDiff.Holes |
| holesZipRep | Generics.MRSOP.HDiff.Holes |
| idxDecEq | Data.HDiff.Change.Apply |
| IdxListRTree | Languages.RTree |
| IdxRTree | Languages.RTree |
| IdxTree23 | Data.HDiff.Example |
| IncompatibleHole | Data.HDiff.Change.Apply |
| IncompatibleOpqs | Data.HDiff.Change.Apply |
| IncompatibleTerms | Data.HDiff.Change.Apply |
| IncompatibleTypes | Data.HDiff.Change.Apply |
| insert | Data.WordTrie |
| insertAt | Languages.RTree |
| insertWith | Data.WordTrie |
| insOnly | Data.HDiff.Change.TreeEditDistance |
| insPhase | Data.HDiff.Change.TreeEditDistance |
| insSync | Data.HDiff.Change.TreeEditDistance |
| InstDenominator | Data.HDiff.Patch.Merge |
| isCpy | Data.HDiff.Change |
| isDel | Data.HDiff.Change.Classify |
| IsI | |
| 1 (Type/Class) | Generics.MRSOP.HDiff.Holes |
| 2 (Data Constructor) | Generics.MRSOP.HDiff.Holes |
| isIns | Data.HDiff.Change.Classify |
| isLocalIns | Data.HDiff.Patch.Merge |
| IsSharedMap | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| konInj | Generics.MRSOP.HDiff.Holes |
| LC | Data.HDiff.Change.TreeEditDistance |
| lcsW | Data.HDiff.Change.TreeEditDistance |
| LD | Data.HDiff.Change.TreeEditDistance |
| Leaf | Data.HDiff.Example |
| Leaf_ | Data.HDiff.Example |
| LI | Data.HDiff.Change.TreeEditDistance |
| lift' | Data.HDiff.Change.Thinning |
| listAssoc | Data.HDiff.Change.TreeEditDistance |
| listDrop | Data.HDiff.Change.TreeEditDistance |
| ListES | Data.HDiff.Change.TreeEditDistance |
| listId | Data.HDiff.Patch.TreeEditDistance |
| ListRTree_Ifx0 | Languages.RTree |
| ListRTree_Ifx1 | Languages.RTree |
| LLP_Nil | Data.HDiff.Change.TreeEditDistance |
| lookup | Data.WordTrie |
| lookupVar | Data.HDiff.Change.Apply |
| MAA | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| makeCopyFrom | Data.HDiff.Change |
| mapAccum | Data.WordTrie |
| meet | Data.HDiff.Change.TreeEditDistance |
| metavarAdd | Data.HDiff.MetaVar |
| MetavarAndArity | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| metavarGet | Data.HDiff.MetaVar |
| MetaVarI | Data.HDiff.MetaVar |
| metavarI2IK | Data.HDiff.MetaVar |
| metavarI2Int | Data.HDiff.MetaVar |
| MetaVarIK | Data.HDiff.MetaVar |
| metavarIK2Int | Data.HDiff.MetaVar |
| metavarPretty | Data.HDiff.Patch.Show |
| MinHeight | Data.HDiff.Diff.Types, Data.HDiff.Diff |
| minimize | Data.HDiff.Change.Thinning |
| mt1 | Data.HDiff.Example |
| mt2 | Data.HDiff.Example |
| mt3 | Data.HDiff.Example |
| mt4 | Data.HDiff.Example |
| mydullgreen | Data.HDiff.Patch.Show |
| mydullred | Data.HDiff.Patch.Show |
| mygreen | Data.HDiff.Patch.Show |
| myred | Data.HDiff.Patch.Show |
| noConflicts | Data.HDiff.Patch.Merge |
| Node2 | Data.HDiff.Example |
| Node2_ | Data.HDiff.Example |
| Node3 | Data.HDiff.Example |
| Node3_ | Data.HDiff.Example |
| noNested | Data.HDiff.Diff.Modes |
| o | Data.HDiff.Example |
| OChange | Data.HDiff.Change |
| oCtxDel | Data.HDiff.Change |
| oCtxIns | Data.HDiff.Change |
| oCtxVDel | Data.HDiff.Change |
| oCtxVIns | Data.HDiff.Change |
| OMatch | Data.HDiff.Change |
| p | Data.HDiff.Example |
| Patch | Data.HDiff.Patch |
| PatchC | Data.HDiff.Patch.Merge |
| patchCost | Data.HDiff.Patch |
| patchEq | Data.HDiff.Patch |
| patchIsCpy | Data.HDiff.Patch |
| patchMaxVar | Data.HDiff.Patch |
| PatchRTree | Languages.RTree.Diff |
| patience | Data.HDiff.Diff.Modes |
| pmatch | Data.HDiff.Change.Apply |
| pmatch' | Data.HDiff.Change.Apply |
| PrepData | |
| 1 (Type/Class) | Data.HDiff.Diff.Preprocess |
| 2 (Data Constructor) | Data.HDiff.Diff.Preprocess |
| PrepFix | Data.HDiff.Diff.Preprocess |
| preprocess | Data.HDiff.Diff.Preprocess |
| process | Data.HDiff.Patch.Merge |
| ProcessOutcome | Data.HDiff.Patch.Merge |
| properShare | Data.HDiff.Diff.Modes |
| pushCopiesIns | Data.HDiff.Change.TreeEditDistance |
| q | Data.HDiff.Example |
| rawCpy | Data.HDiff.Patch.Merge |
| RawPatch | Data.HDiff.Patch |
| rbin | Languages.RTree.Diff |
| reconcile | Data.HDiff.Patch.Merge |
| refine | Data.HDiff.Change.Thinning |
| renderEl | Generics.MRSOP.HDiff.Renderer |
| RendererHO | Generics.MRSOP.HDiff.Renderer |
| renderFix | Generics.MRSOP.HDiff.Renderer |
| renderHO | Generics.MRSOP.HDiff.Renderer |
| renderNP | Generics.MRSOP.HDiff.Renderer |
| renderView | Generics.MRSOP.HDiff.Renderer |
| ReturnNominator | Data.HDiff.Patch.Merge |
| rlf | Languages.RTree.Diff |
| RTree | Languages.RTree |
| rtreeMerkle | Languages.RTree.Diff |
| RTree_Ifx0 | Languages.RTree |
| scDel | Data.HDiff.Change |
| scIns | Data.HDiff.Change |
| showPatchC | Data.HDiff.Patch.Show |
| showRawPatch | Data.HDiff.Patch.Show |
| simpleCopy | Data.HDiff.Patch.Merge |
| snat2W64 | Generics.MRSOP.HDiff.Digest |
| snd' | Data.HDiff.Change |
| spliced | Data.HDiff.Patch.Show |
| Subst | Data.HDiff.Change.Apply |
| substInsert | Data.HDiff.Change.Apply |
| substInsert' | Data.HDiff.Patch |
| Table | Data.HDiff.Change.TreeEditDistance |
| tagProperShare | Data.HDiff.Diff.Modes |
| termApply | Data.HDiff.Change.Apply |
| thin | |
| 1 (Function) | Data.HDiff.Change.Thinning |
| 2 (Function) | Data.HDiff.Patch.Thinning |
| thin' | Data.HDiff.Change.Thinning |
| ThinningErr | Data.HDiff.Change.Thinning |
| thinUTx2 | Data.HDiff.Change.Thinning |
| ToES | Data.HDiff.Change.TreeEditDistance |
| toES | |
| 1 (Function) | Data.HDiff.Change.TreeEditDistance |
| 2 (Function) | Data.HDiff.Patch.TreeEditDistance |
| toES' | Data.HDiff.Patch.TreeEditDistance |
| toList | Data.WordTrie |
| toW64s | Generics.MRSOP.HDiff.Digest |
| tr | |
| 1 (Function) | Data.HDiff.Example |
| 2 (Function) | Data.HDiff.Change.Thinning |
| transport | Data.HDiff.Change.Apply |
| Tree23 | Data.HDiff.Example |
| treeDigest | Data.HDiff.Diff.Preprocess |
| treeHeight | Data.HDiff.Diff.Preprocess |
| treeParm | Data.HDiff.Diff.Preprocess |
| TreeTerm | Data.HDiff.Example |
| Trie | Data.WordTrie |
| trieMap | Data.WordTrie |
| trieVal | Data.WordTrie |
| unCMatch | Data.HDiff.Change |
| UndefinedVar | Data.HDiff.Change.Apply |
| unForceI | Data.HDiff.MetaVar |
| unif1 | Data.HDiff.Example |
| unif12 | Data.HDiff.Example |
| unif2 | Data.HDiff.Example |
| unif22 | Data.HDiff.Example |
| unsafeThin | Data.HDiff.Patch.Thinning |
| utx22change | Data.HDiff.Change |
| utx2distr | Data.HDiff.Change |
| utxThin | Data.HDiff.Change.Thinning |
| varProj | Generics.MRSOP.HDiff.Holes |
| W | Languages.RTree |
| withFreshNamesFrom | Data.HDiff.Patch |
| WKon | Languages.RTree |
| WString | Languages.RTree |
| W_String | Languages.RTree |
| x1 | Languages.RTree.Diff |
| y1 | Languages.RTree.Diff |
| zipWith | Data.WordTrie |