Extra-1.46.3: A grab bag of modules.

Safe HaskellSafe-Inferred
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