spire

laws

package laws

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. laws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait BaseLaws[A] extends Laws

  2. trait GroupLaws[A] extends Laws

  3. trait RingLaws[A] extends GroupLaws[A]

  4. trait VectorSpaceLaws[V, A] extends Laws

Value Members

  1. object BaseLaws

  2. object GroupLaws

  3. implicit def PredicateFromMonoid[A](implicit arg0: Eq[A], A: AdditiveMonoid[A]): Predicate[A]

  4. object RingLaws

  5. object SpireArbitrary

  6. object VectorSpaceLaws

Inherited from AnyRef

Inherited from Any

Ungrouped