UMinho Haskell Libraries (2004.07.02) Contents Index

LRel Data.Relation.MapFromPairs Rel Data.Relation.SetOfPairs TypeGraph Data.Relation.TypeInference VariableGraph Data.Relation.TypeInference bottleneck Data.Relation.MapFromPairs chainRel Data.Relation.SetOfPairs chop Data.Relation.SetOfPairs comp Data.Relation.SetOfPairs dom Data.Relation.SetOfPairs emptyRel Data.Relation.SetOfPairs ent Data.Relation.SetOfPairs entities Data.Relation.MapFromPairs equiv Data.Relation.SetOfPairs extremal Data.Relation.MapFromPairs identityRel Data.Relation.SetOfPairs inv Data.Relation.SetOfPairs leastcost Data.Relation.MapFromPairs leastcost' Data.Relation.MapFromPairs lrel Data.Relation.MapFromPairs mkRel Data.Relation.SetOfPairs pairs Data.Relation.SetOfPairs project Data.Relation.SetOfPairs projectBackward Data.Relation.SetOfPairs prop_DomInvRng Data.Relation.SetOfPairsQuickCheck qsort Data.Relation.TypeInferenceTest reach Data.Relation.MapFromPairs reflClose Data.Relation.SetOfPairs reflTransClose Data.Relation.SetOfPairs rel Data.Relation.MapFromPairs repeatUntilFixpoint Data.Relation.TypeInference rng Data.Relation.SetOfPairs slice Data.Relation.SetOfPairs sliceBackward Data.Relation.SetOfPairs sliceUntil Data.Relation.SetOfPairs symmClose Data.Relation.SetOfPairs testDot Data.Relation.TypeInferenceTest testVariableGraph Data.Relation.TypeInferenceTest toDot Data.Relation.TypeInferenceTest totalRel Data.Relation.SetOfPairs transClose Data.Relation.SetOfPairs typeInference Data.Relation.TypeInference typeInferenceLoop Data.Relation.TypeInference typeOf Data.Relation.TypeInferenceTest typeRepOf Data.Relation.TypeInferenceTest types Data.Relation.TypeInference typesOf Data.Relation.TypeInferenceTest