| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hedgehog.Laws.Lattice
Documentation
joinLatticeLaws :: (BoundedLattice a) => TestTree #
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hedgehog.Laws.Lattice
joinLatticeLaws :: (BoundedLattice a) => TestTree #