datafix-0.0.0.2: Fixing data-flow problems

Index

:-Datafix.Utils.Constraints
AbortAfterDatafix.Worklist.Internal, Datafix.Worklist, Datafix
AbortionFunctionDatafix.Worklist.Internal
abortWithTopDatafix.Worklist.Internal
addedDatafix.Worklist.Graph
adjustDatafix.MonoMap
AllDatafix.Utils.TypeLevel, Datafix
allocateNodeDatafix.NodeAllocator, Datafix
alterDatafix.MonoMap
alwaysChangeDetectorDatafix.Common, Datafix
ApplyDatafix.Utils.TypeLevel, Datafix
ArrowsDatafix.Utils.TypeLevel, Datafix
arrowsAxiomDatafix.Utils.TypeLevel, Datafix
buildProblemDatafix.ProblemBuilder, Datafix
callStackDatafix.Worklist.Internal
ChangeDetectorDatafix.Common, Datafix
computeDiffDatafix.Worklist.Graph
ConsMap0Datafix.Utils.TypeLevel, Datafix
ConsMap1Datafix.Utils.TypeLevel, Datafix
ConstantDatafix.Utils.TypeLevel, Datafix
Constant0Datafix.Utils.TypeLevel, Datafix
Constant1Datafix.Utils.TypeLevel, Datafix
CurryingDatafix.Utils.TypeLevel, Datafix
currysDatafix.Utils.TypeLevel, Datafix
datafixDatafix.Denotational, Datafix
DatafixableDatafix.Common, Datafix
datafixEqDatafix.Denotational, Datafix
DataFlowProblemDatafix.Explicit, Datafix
deleteDatafix.MonoMap
deleteUnstableDatafix.Worklist.Internal
DenotationDatafix.Denotational, Datafix
DenseDatafix.Worklist.Internal, Datafix.Worklist, Datafix
DensityDatafix.Worklist.Internal, Datafix.Worklist, Datafix
DependencyMDatafix.Worklist.Internal, Datafix.Worklist, Datafix
dependOn 
1 (Function)Datafix.Explicit, Datafix
2 (Function)Datafix.Worklist.Internal
DepMDatafix.Denotational, Datafix
DFPDatafix.Explicit, Datafix
dfpDetectChangeDatafix.Explicit, Datafix
dfpTransferDatafix.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
differenceDatafix.MonoMap
DMDatafix.Worklist.Internal
DomainDatafix.Common, Datafix
emptyDatafix.MonoMap
emptyPointInfoDatafix.Worklist.Graph
enqueueUnstableDatafix.Worklist.Internal
Env 
1 (Type/Class)Datafix.Worklist.Internal
2 (Data Constructor)Datafix.Worklist.Internal
eqChangeDetectorDatafix.Common, Datafix
evalDenotationDatafix.Worklist.Denotational, Datafix.Worklist, Datafix
FoldrDatafix.Utils.TypeLevel, Datafix
Foldr'Datafix.Utils.TypeLevel, Datafix
ForallDatafix.Utils.Constraints
FunctionDatafix.Utils.TypeLevel, Datafix
graphDatafix.Worklist.Internal
GraphRefDatafix.Worklist.Graph
highestPriorityUnstableNodeDatafix.Worklist.Internal
IfDatafix.Utils.TypeLevel, Datafix
initialEnvDatafix.Worklist.Internal
insertDatafix.MonoMap
insertLookupWithKeyDatafix.MonoMap
insertWithDatafix.MonoMap
instDatafix.Utils.Constraints
IsBaseDatafix.Utils.TypeLevel, Datafix
IterationBoundDatafix.Worklist.Internal, Datafix.Worklist, Datafix
iterationBoundDatafix.Worklist.Internal
iterationsDatafix.Worklist.Graph
keysDatafix.MonoMap
LiftedFuncDatafix.Common, Datafix
lookup 
1 (Function)Datafix.MonoMap
2 (Function)Datafix.Worklist.Graph
lookupLT 
1 (Function)Datafix.MonoMap
2 (Function)Datafix.Worklist.Graph
lookupMinDatafix.MonoMap
MapDatafix.Utils.TypeLevel, Datafix
MonadDatafixDatafix.Denotational, Datafix
MonadDependencyDatafix.Explicit, Datafix
MonadDomainDatafix.Common, Datafix
MonoMapDatafix.MonoMap, Datafix
MonoMapKeyDatafix.MonoMap
NeverAbortDatafix.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
NodeAllocatorDatafix.NodeAllocator, Datafix
optimisticApproximationDatafix.Worklist.Internal
ParamTypesDatafix.Utils.TypeLevel, Datafix
ParamTypes'Datafix.Utils.TypeLevel, Datafix
PointInfo 
1 (Type/Class)Datafix.Worklist.Graph
2 (Data Constructor)Datafix.Worklist.Graph
problemDatafix.Worklist.Internal
ProblemBuilderDatafix.ProblemBuilder, Datafix
ProductsDatafix.Utils.TypeLevel, Datafix
recomputeDatafix.Worklist.Internal
Ref 
1 (Type/Class)Datafix.Worklist.Graph.Dense
2 (Type/Class)Datafix.Worklist.Graph.Sparse
referencedPointsDatafix.Worklist.Internal
referencesDatafix.Worklist.Graph
referrersDatafix.Worklist.Graph
removedDatafix.Worklist.Graph
ReturnTypeDatafix.Utils.TypeLevel, Datafix
ReturnType'Datafix.Utils.TypeLevel, Datafix
runAllocatorDatafix.NodeAllocator, Datafix
scheme1Datafix.Worklist.Internal
scheme2Datafix.Worklist.Internal
singletonDatafix.MonoMap
solveProblemDatafix.Worklist.Internal, Datafix.Worklist, Datafix
SparseDatafix.Worklist.Internal, Datafix.Worklist, Datafix
SubDatafix.Utils.Constraints
uncurrysDatafix.Utils.TypeLevel, Datafix
unstableDatafix.Worklist.Internal
unwrapNodeDatafix.Explicit, Datafix
updateLookupWithKeyDatafix.MonoMap
updatePointDatafix.Worklist.Graph
valueDatafix.Worklist.Graph
whileJust_Datafix.Worklist.Internal
withCallDatafix.Worklist.Internal
workDatafix.Worklist.Internal
zoomIORefDatafix.Worklist.Internal
zoomReferencedPointsDatafix.Worklist.Internal
zoomUnstableDatafix.Worklist.Internal
\\Datafix.Utils.Constraints