Test.Validity.Hashable

Hashable properties

You will need TypeApplications to use these.

Documentation

hashableSpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, Hashable a) => Spec

Standard test spec for properties of Hashable instances for valid values

Example usage:

hashableSpecOnValid @Double

hashableSpecOnInvalid :: forall a. (Show a, Eq a, Typeable a, GenInvalid a, Hashable a) => Spec

Standard test spec for properties of Hashable instances for invalid values

Example usage:

hashableSpecOnInvalid @Double

hashableSpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, Hashable a) => Spec

Standard test spec for properties of Hashable instances for unchecked values

Example usage:

hashableSpec @Int

hashableSpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, Hashable a) => Spec

Standard test spec for properties of Hashable instances for arbitrary values

Example usage:

hashableSpecOnArbitrary @Int

hashableSpecOnGen :: forall a. (Show a, Eq a, Typeable a, Hashable a) => Gen a -> String -> (a -> [a]) -> Spec

Standard test spec for properties of Hashable instances for values generated by a given generator (and name for that generator).

Example usage:

hashableSpecOnGen ((* 2) <$> genValid @Int) "even"