Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Functions.Idempotence

Standard tests involving validity

Synopsis

valueidempotentOnGen

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

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

id is idempotent for any type:

Property

prop> idempotentOnArbitrary (id :: Int -> Int)

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

Property

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