Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
boundedLatticeLaws ∷ (Show a, Eq a, BoundedLattice a) ⇒ Gen a → TestTree Source #