plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hedgehog.Laws.Ord

Documentation

partialOrderLaws ∷ (Show a, Eq a) ⇒ Gen a → (a → a → Bool) → TestTree Source #

ordLaws ∷ (Show a, Ord a) ⇒ Gen a → TestTree Source #