spire.laws

SpireArbitrary

Related Doc: package laws

object SpireArbitrary

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

Type Members

  1. case class FreeAbTerm[A](a: A, n: Int) extends Product with Serializable

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

    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).

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  4. implicit def AlgebraicArbitrary: Arbitrary[Algebraic]

  5. implicit def BoundArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Bound[A]]

  6. implicit def ComplexArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Complex[A]]

  7. implicit def FixedPoint: Arbitrary[FixedPoint]

  8. implicit def FixedScale: Arbitrary[FixedScale]

  9. implicit def FreeAbGroupArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[FreeAbGroup[A]]

  10. implicit def FreeAbTermArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[FreeAbTerm[A]]

  11. implicit def FreeGroupArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[FreeGroup[A]]

  12. implicit def FreeMonoidArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[FreeMonoid[A]]

  13. implicit def IntervalArbitrary[A](implicit arg0: Arbitrary[A], arg1: Order[A], arg2: AdditiveMonoid[A]): Arbitrary[Interval[A]]

  14. implicit def JetArbitrary[A](implicit arg0: Arbitrary[A], arg1: ClassTag[A]): Arbitrary[Jet[A]]

  15. implicit def NaturalArbitrary: Arbitrary[Natural]

  16. implicit def NumberArbitrary: Arbitrary[Number]

  17. implicit def PolynomialArbitrary[A](implicit arg0: Arbitrary[A], arg1: Semiring[A], arg2: Eq[A], arg3: ClassTag[A]): Arbitrary[Polynomial[A]]

  18. implicit def QuaternionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Quaternion[A]]

  19. implicit def RationalArbitrary: Arbitrary[Rational]

  20. implicit def RealArbitrary: Arbitrary[Real]

  21. implicit def SafeLongArbitrary: Arbitrary[SafeLong]

  22. implicit def SignArbitrary: Arbitrary[Sign]

  23. implicit def TermArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Term[A]]

  24. implicit def UByteArbitrary: Arbitrary[UByte]

  25. implicit def UIntArbitrary: Arbitrary[UInt]

  26. implicit def ULongArbitrary: Arbitrary[ULong]

  27. implicit def UShortArbitrary: Arbitrary[UShort]

  28. implicit def VectorArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Vector[A]]

  29. implicit def arbPerm: Arbitrary[Perm]

  30. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  31. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  32. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  33. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  34. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  35. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  36. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  37. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  38. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  39. final def notify(): Unit

    Definition Classes
    AnyRef

  40. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  41. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  42. def toString(): String

    Definition Classes
    AnyRef → Any

  43. implicit def trilean: Arbitrary[Trilean]

  44. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  45. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  46. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped