PoP | Data.Relation.Folds |
pairs |
1 (Function) | Data.Relation.Folds |
2 (Function) | Data.Relation.SetOfPairs, Data.Relation |
predRel | Data.Relation.SetOfPairs, Data.Relation |
printComponentGraphWith | Data.Relation.GraphViz, Data.Relation |
printGraphWith | Data.Relation.GraphViz, Data.Relation |
printRel | Data.Relation.Write, Data.Relation |
printRelWith | Data.Relation.GraphViz, Data.Relation |
proj | Data.Relation.FunctionalDependencies, Data.Relation |
project | Data.Relation.SetOfPairs, Data.Relation |
projectBackward | Data.Relation.SetOfPairs, Data.Relation |
projectWith | Data.Relation.SetOfPairs, Data.Relation |
projection | Data.Relation.FunctionalDependencies, Data.Relation |
prop_DomInvRng | Data.Relation.SetOfPairsQuickCheck |