package laws
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- trait BoundedZeroSemilatticeLaws[A] extends BoundedSemilatticeLaws[A] with ZeroSemilatticeLaws[A] with CommutativeZeroMonoidLaws[A]
- trait CommutativeZeroGroupLaws[A] extends CommutativeGroupLaws[A] with ZeroGroupLaws[A] with CommutativeZeroMonoidLaws[A]
- trait CommutativeZeroMonoidLaws[A] extends CommutativeMonoidLaws[A] with CommutativeZeroSemigroupLaws[A] with ZeroMonoidLaws[A]
- trait CommutativeZeroSemigroupLaws[A] extends CommutativeSemigroupLaws[A] with ZeroSemigroupLaws[A]
- trait ZeroBandLaws[A] extends BandLaws[A] with ZeroSemigroupLaws[A]
- trait ZeroGroupLaws[A] extends GroupLaws[A] with ZeroMonoidLaws[A]
- trait ZeroMonoidLaws[A] extends MonoidLaws[A] with ZeroSemigroupLaws[A]
- trait ZeroSemigroupLaws[A] extends SemigroupLaws[A]
- trait ZeroSemilatticeLaws[A] extends SemilatticeLaws[A] with ZeroBandLaws[A] with CommutativeZeroSemigroupLaws[A]
Value Members
- object BoundedZeroSemilatticeLaws
- object CommutativeZeroGroupLaws
- object CommutativeZeroMonoidLaws
- object CommutativeZeroSemigroupLaws
- object ZeroBandLaws
- object ZeroGroupLaws
- object ZeroMonoidLaws
- object ZeroSemigroupLaws
- object ZeroSemilatticeLaws