Extra-1.42: A grab bag of modules.

Test.QuickCheck.Properties

Documentation

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

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