Hedgehog.Laws.Common
implies ∷ Bool → Bool → Bool Source #
prop_idempotent ∷ (Show a, Eq a) ⇒ Gen a → (a → a → a) → Property Source #
prop_commutative ∷ (Show a, Eq a) ⇒ Gen a → (a → a → a) → Property Source #
prop_associative ∷ (Show a, Eq a) ⇒ Gen a → (a → a → a) → Property Source #
prop_unit ∷ (Show a, Eq a) ⇒ Gen a → (a → a → a) → a → Property Source #
prop_reflexive ∷ Show a ⇒ Gen a → (a → a → Bool) → Property Source #
prop_symmetric ∷ (Show a, Eq a) ⇒ Gen a → (a → a → Bool) → Property Source #
prop_transitive ∷ (Show a, Eq a) ⇒ Gen a → (a → a → Bool) → Property Source #
prop_antisymmetric ∷ (Show a, Eq a) ⇒ Gen a → (a → a → Bool) → Property Source #
prop_total ∷ (Show a, Eq a) ⇒ Gen a → (a → a → Bool) → Property Source #