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]