Extra-1.46: A grab bag of modules.

Safe HaskellNone

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