UMinho Haskell Libraries (2006.06.14)ContentsIndex
Data.Relation.SetOfPairsQuickCheck
Portabilityportable
Stabilityexperimental
Maintainerjoost.visser@di.uminho.pt
Description
Properties of the implementation of relations as sets of pairs.
Synopsis
prop_DomInvRng :: Rel Int Integer -> Property
Documentation
prop_DomInvRng :: Rel Int Integer -> Property
Domain of inverse is range.
Produced by Haddock version 0.7