| :- | Datafix.Utils.Constraints |
| AbortAfter | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| AbortionFunction | Datafix.Worklist.Internal |
| abortWithTop | Datafix.Worklist.Internal |
| added | Datafix.Worklist.Graph |
| adjust | Datafix.MonoMap |
| All | Datafix.Utils.TypeLevel, Datafix |
| allocateNode | Datafix.NodeAllocator, Datafix |
| alter | Datafix.MonoMap |
| alwaysChangeDetector | Datafix.Common, Datafix |
| Apply | Datafix.Utils.TypeLevel, Datafix |
| Arrows | Datafix.Utils.TypeLevel, Datafix |
| arrowsAxiom | Datafix.Utils.TypeLevel, Datafix |
| buildProblem | Datafix.ProblemBuilder, Datafix |
| callStack | Datafix.Worklist.Internal |
| ChangeDetector | Datafix.Common, Datafix |
| computeDiff | Datafix.Worklist.Graph |
| ConsMap0 | Datafix.Utils.TypeLevel, Datafix |
| ConsMap1 | Datafix.Utils.TypeLevel, Datafix |
| Constant | Datafix.Utils.TypeLevel, Datafix |
| Constant0 | Datafix.Utils.TypeLevel, Datafix |
| Constant1 | Datafix.Utils.TypeLevel, Datafix |
| Currying | Datafix.Utils.TypeLevel, Datafix |
| currys | Datafix.Utils.TypeLevel, Datafix |
| datafix | Datafix.Denotational, Datafix |
| Datafixable | Datafix.Common, Datafix |
| datafixEq | Datafix.Denotational, Datafix |
| DataFlowProblem | Datafix.Explicit, Datafix |
| delete | Datafix.MonoMap |
| deleteUnstable | Datafix.Worklist.Internal |
| Denotation | Datafix.Denotational, Datafix |
| Dense | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| Density | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| DependencyM | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| dependOn | |
| 1 (Function) | Datafix.Explicit, Datafix |
| 2 (Function) | Datafix.Worklist.Internal |
| DepM | Datafix.Denotational, Datafix |
| DFP | Datafix.Explicit, Datafix |
| dfpDetectChange | Datafix.Explicit, Datafix |
| dfpTransfer | Datafix.Explicit, Datafix |
| Dict | |
| 1 (Type/Class) | Datafix.Utils.Constraints |
| 2 (Data Constructor) | Datafix.Utils.Constraints |
| Diff | |
| 1 (Type/Class) | Datafix.Worklist.Graph |
| 2 (Data Constructor) | Datafix.Worklist.Graph |
| difference | Datafix.MonoMap |
| DM | Datafix.Worklist.Internal |
| Domain | Datafix.Common, Datafix |
| empty | Datafix.MonoMap |
| emptyPointInfo | Datafix.Worklist.Graph |
| enqueueUnstable | Datafix.Worklist.Internal |
| Env | |
| 1 (Type/Class) | Datafix.Worklist.Internal |
| 2 (Data Constructor) | Datafix.Worklist.Internal |
| eqChangeDetector | Datafix.Common, Datafix |
| evalDenotation | Datafix.Worklist.Denotational, Datafix.Worklist, Datafix |
| Foldr | Datafix.Utils.TypeLevel, Datafix |
| Foldr' | Datafix.Utils.TypeLevel, Datafix |
| Forall | Datafix.Utils.Constraints |
| Function | Datafix.Utils.TypeLevel, Datafix |
| graph | Datafix.Worklist.Internal |
| GraphRef | Datafix.Worklist.Graph |
| highestPriorityUnstableNode | Datafix.Worklist.Internal |
| If | Datafix.Utils.TypeLevel, Datafix |
| initialEnv | Datafix.Worklist.Internal |
| insert | Datafix.MonoMap |
| insertLookupWithKey | Datafix.MonoMap |
| insertWith | Datafix.MonoMap |
| inst | Datafix.Utils.Constraints |
| IsBase | Datafix.Utils.TypeLevel, Datafix |
| IterationBound | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| iterationBound | Datafix.Worklist.Internal |
| iterations | Datafix.Worklist.Graph |
| keys | Datafix.MonoMap |
| LiftedFunc | Datafix.Common, Datafix |
| lookup | |
| 1 (Function) | Datafix.MonoMap |
| 2 (Function) | Datafix.Worklist.Graph |
| lookupLT | |
| 1 (Function) | Datafix.MonoMap |
| 2 (Function) | Datafix.Worklist.Graph |
| lookupMin | Datafix.MonoMap |
| Map | Datafix.Utils.TypeLevel, Datafix |
| MonadDatafix | Datafix.Denotational, Datafix |
| MonadDependency | Datafix.Explicit, Datafix |
| MonadDomain | Datafix.Common, Datafix |
| MonoMap | Datafix.MonoMap, Datafix |
| MonoMapKey | Datafix.MonoMap |
| NeverAbort | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| newRef | |
| 1 (Function) | Datafix.Worklist.Graph.Dense |
| 2 (Function) | Datafix.Worklist.Graph.Sparse |
| Node | |
| 1 (Type/Class) | Datafix.Explicit, Datafix |
| 2 (Data Constructor) | Datafix.Explicit, Datafix |
| NodeAllocator | Datafix.NodeAllocator, Datafix |
| optimisticApproximation | Datafix.Worklist.Internal |
| ParamTypes | Datafix.Utils.TypeLevel, Datafix |
| ParamTypes' | Datafix.Utils.TypeLevel, Datafix |
| PointInfo | |
| 1 (Type/Class) | Datafix.Worklist.Graph |
| 2 (Data Constructor) | Datafix.Worklist.Graph |
| problem | Datafix.Worklist.Internal |
| ProblemBuilder | Datafix.ProblemBuilder, Datafix |
| Products | Datafix.Utils.TypeLevel, Datafix |
| recompute | Datafix.Worklist.Internal |
| Ref | |
| 1 (Type/Class) | Datafix.Worklist.Graph.Dense |
| 2 (Type/Class) | Datafix.Worklist.Graph.Sparse |
| referencedPoints | Datafix.Worklist.Internal |
| references | Datafix.Worklist.Graph |
| referrers | Datafix.Worklist.Graph |
| removed | Datafix.Worklist.Graph |
| ReturnType | Datafix.Utils.TypeLevel, Datafix |
| ReturnType' | Datafix.Utils.TypeLevel, Datafix |
| runAllocator | Datafix.NodeAllocator, Datafix |
| scheme1 | Datafix.Worklist.Internal |
| scheme2 | Datafix.Worklist.Internal |
| singleton | Datafix.MonoMap |
| solveProblem | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| Sparse | Datafix.Worklist.Internal, Datafix.Worklist, Datafix |
| Sub | Datafix.Utils.Constraints |
| uncurrys | Datafix.Utils.TypeLevel, Datafix |
| unstable | Datafix.Worklist.Internal |
| unwrapNode | Datafix.Explicit, Datafix |
| updateLookupWithKey | Datafix.MonoMap |
| updatePoint | Datafix.Worklist.Graph |
| value | Datafix.Worklist.Graph |
| whileJust_ | Datafix.Worklist.Internal |
| withCall | Datafix.Worklist.Internal |
| work | Datafix.Worklist.Internal |
| zoomIORef | Datafix.Worklist.Internal |
| zoomReferencedPoints | Datafix.Worklist.Internal |
| zoomUnstable | Datafix.Worklist.Internal |
| \\ | Datafix.Utils.Constraints |