Test.Validity.Functions.Idempotence

Standard tests involving validity

idempotentOnGen :: (Show a, Eq a) => (a -> a) -> Gen a -> Property

idempotentOnValid :: (Show a, Eq a, GenValid a) => (a -> a) -> Property

idempotent :: (Show a, Eq a, GenUnchecked a) => (a -> a) -> Property

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

id is idempotent for any type:

idempotentOnArbitrary (id :: Int -> Int)

const, given any input, is idempotent for any type as well:

\int -> idempotentOnArbitrary (const int :: Int -> Int)