package laws
- Alphabetic
- By Inheritance
- laws
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Package Members
- package discipline
Type Members
- trait BandLaws[A] extends SemigroupLaws[A]
- trait BoundedEnumerableLaws[A] extends PartialPreviousNextLaws[A] with PartialPreviousBoundedLaws[A] with PartialNextBoundedLaws[A]
- trait BoundedSemilatticeLaws[A] extends CommutativeMonoidLaws[A] with SemilatticeLaws[A]
- trait CommutativeGroupLaws[A] extends GroupLaws[A] with CommutativeMonoidLaws[A]
- trait CommutativeMonoidLaws[A] extends MonoidLaws[A] with CommutativeSemigroupLaws[A]
- trait CommutativeSemigroupLaws[A] extends SemigroupLaws[A]
- trait EqLaws[A] extends AnyRef
- trait GroupLaws[A] extends MonoidLaws[A]
- trait HashLaws[A] extends EqLaws[A]
- 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.
- implicit final class IsEqArrow[A] extends AnyVal
- trait LowerBoundedLaws[A] extends PartialOrderLaws[A]
- trait MonoidLaws[A] extends SemigroupLaws[A]
- trait OrderLaws[A] extends PartialOrderLaws[A]
- trait PartialNextBoundedLaws[A] extends PartialNextLaws[A] with UpperBoundedLaws[A]
- trait PartialNextLaws[A] extends PartialOrderLaws[A]
- trait PartialOrderLaws[A] extends EqLaws[A]
- trait PartialPreviousBoundedLaws[A] extends PartialPreviousLaws[A] with LowerBoundedLaws[A]
- trait PartialPreviousLaws[A] extends PartialOrderLaws[A]
- trait PartialPreviousNextLaws[A] extends PartialNextLaws[A] with PartialPreviousLaws[A] with OrderLaws[A]
- trait SemigroupLaws[A] extends AnyRef
- trait SemilatticeLaws[A] extends CommutativeSemigroupLaws[A] with BandLaws[A]
- trait UpperBoundedLaws[A] extends PartialOrderLaws[A]
Value Members
- object BandLaws
- object BoundedEnumerableLaws
- object BoundedSemilatticeLaws
- object CommutativeGroupLaws
- object CommutativeMonoidLaws
- object CommutativeSemigroupLaws
- object EqLaws
- object GroupLaws
- object HashLaws
- object LowerBoundedLaws
- object MonoidLaws
- object OrderLaws
- object PartialOrderLaws
- object PartialPreviousLaws
- object SemigroupLaws
- object SemilatticeLaws
- object SerializableLaws
Check for Java Serializability.
Check for Java Serializability.
This law is only applicable on the JVM, but is something we want to be sure to enforce. Therefore, we use bricks.Platform to do a runtime check rather than create a separate jvm-laws project.
- object UpperBoundedLaws