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

Hedgehog.Laws.Common

Documentation

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_reflexiveShow 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 #