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

Hedgehog.Laws.Lattice

Documentation

joinLatticeLaws ∷ (Show a, Eq a, JoinSemiLattice a) ⇒ Gen a → TestTree Source #

boundedJoinLatticeLaws ∷ (Show a, Eq a, BoundedJoinSemiLattice a) ⇒ Gen a → TestTree Source #

meetLatticeLaws ∷ (Show a, Eq a, MeetSemiLattice a) ⇒ Gen a → TestTree Source #

boundedMeetLatticeLaws ∷ (Show a, Eq a, BoundedMeetSemiLattice a) ⇒ Gen a → TestTree Source #

prop_latticeAbsorb ∷ (Show a, Eq a, Lattice a) ⇒ Gen a → Property Source #

latticeLaws ∷ (Show a, Eq a, Lattice a) ⇒ Gen a → TestTree Source #

boundedLatticeLaws ∷ (Show a, Eq a, BoundedLattice a) ⇒ Gen a → TestTree Source #