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 ActionLaws[G, A] extends Laws

  2. trait BaseLaws[A] extends Laws

  3. trait GroupLaws[A] extends Laws

  4. trait LatticeLaws[A] extends Laws

  5. trait LatticePartialOrderLaws[A] extends Laws

  6. trait LogicLaws[A] extends Laws

  7. trait OrderLaws[A] extends Laws

  8. trait PartialActionLaws[G, A] extends Laws

  9. trait PartialGroupLaws[A] extends GroupLaws[A]

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

  11. trait VectorSpaceLaws[V, A] extends Laws

Value Members

  1. object ActionLaws

  2. object BaseLaws

  3. object GroupLaws

  4. object LatticeLaws

  5. object LatticePartialOrderLaws

  6. object LogicLaws

  7. object OrderLaws

  8. object PartialActionLaws

  9. object PartialGroupLaws

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

  11. object RingLaws

  12. object SpireArbitrary

  13. object VectorSpaceLaws

Inherited from AnyRef

Inherited from Any

Ungrouped