UMinho Haskell Libraries (1.0)
Contents
Index
Data.Relation.SetOfPairsQuickCheck
Portability
portable
Stability
experimental
Maintainer
joost.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.6