sr-extra-1.46.3.2: A grab bag of modules.

Safe HaskellSafe
LanguageHaskell98

Test.QuickCheck.Properties

Documentation

isIdempotentBy :: (Arbitrary a, Eq a, Show a) => (a -> a) -> Gen a -> Property Source

isIdempotent :: (Arbitrary a, Eq a, Show a) => (a -> a) -> Property Source