laws

Type Members

1. trait BandLaws[A] extends SemigroupLaws[A]

2. trait BoundedSemilatticeLaws[A] extends CommutativeMonoidLaws[A] with SemilatticeLaws[A]

3. trait CommutativeGroupLaws[A] extends GroupLaws[A] with CommutativeMonoidLaws[A]

4. trait CommutativeMonoidLaws[A] extends MonoidLaws[A] with CommutativeSemigroupLaws[A]

5. trait CommutativeSemigroupLaws[A] extends SemigroupLaws[A]

6. trait EqLaws[A] extends AnyRef

7. trait GroupLaws[A] extends MonoidLaws[A]

8. trait HashLaws[A] extends EqLaws[A]

9. final case class IsEq[A](lhs: A, rhs: A) extends Product with Serializable

   Represents two values of the same type that are expected to be equal.

10. implicit final class IsEqArrow[A] extends AnyVal

11. trait MonoidLaws[A] extends SemigroupLaws[A]

12. trait OrderLaws[A] extends PartialOrderLaws[A]

13. trait PartialOrderLaws[A] extends EqLaws[A]

14. trait SemigroupLaws[A] extends AnyRef

15. trait SemilatticeLaws[A] extends CommutativeSemigroupLaws[A] with BandLaws[A]