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 #