 | UMinho Haskell Libraries (2004.07.02) | Contents | Index |
| Data.Relation.SetOfPairsQuickCheck |
|
| prop_DomInvRng :: Rel Int Integer -> Property |
| ||||||||
| ||||||||
| Description | ||||||||
| Properties of the implementation of relations as sets of pairs. | ||||||||
| Synopsis | ||||||||
| ||||||||
| Documentation | ||||||||
| prop_DomInvRng :: Rel Int Integer -> Property | ||||||||
| Domain of inverse is range. | ||||||||
| Produced by Haddock version 0.6 |