Hedgehog.Laws.Ord
partialOrderLaws ∷ (Show a, Eq a) ⇒ Gen a → (a → a → Bool) → TestTree Source #
ordLaws ∷ (Show a, Ord a) ⇒ Gen a → TestTree Source #