Package

spire

laws

Permalink

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
Visibility
  1. Public
  2. All

Type Members

  1. trait ActionLaws[G, A] extends Laws

    Permalink

  2. trait BaseLaws[A] extends Laws

    Permalink

  3. trait GroupLaws[A] extends Laws

    Permalink

  4. trait LatticeLaws[A] extends Laws

    Permalink

  5. trait LatticePartialOrderLaws[A] extends Laws

    Permalink

  6. trait LogicLaws[A] extends Laws

    Permalink

  7. trait OrderLaws[A] extends Laws

    Permalink

  8. trait PartialActionLaws[G, A] extends Laws

    Permalink

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

    Permalink

  10. case class Perm(map: Map[Int, Int]) extends Product with Serializable

    Permalink

    Represents a permutation encoded as a map from preimages to images, including only pairs that are moved by the permutation (so the identity is Map.empty).

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

    Permalink

  12. trait VectorSpaceLaws[V, A] extends Laws

    Permalink

Value Members

  1. object ActionLaws

    Permalink

  2. object BaseLaws

    Permalink

  3. object GroupLaws

    Permalink

  4. object LatticeLaws

    Permalink

  5. object LatticePartialOrderLaws

    Permalink

  6. object LogicLaws

    Permalink

  7. object OrderLaws

    Permalink

  8. object PartialActionLaws

    Permalink

  9. object PartialGroupLaws

    Permalink

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

    Permalink

  11. object RingLaws

    Permalink

  12. object VectorSpaceLaws

    Permalink

  13. object arb

    Permalink

  14. object gen

    Permalink

  15. def propertiesToProp(properties: Properties): Prop

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped