com.twitter.algebird

BaseProperties

object BaseProperties extends MetricProperties

Base properties useful for all tests using Algebird's typeclasses.

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

Type Members

  1. class DefaultHigherEq[M[_]] extends HigherEq[M]

  2. trait HigherEq[M[_]] extends AnyRef

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  6. def approxEq(eps: Double)(f1: Double, f2: Double): Boolean

  7. val arbReasonableBigDecimals: Arbitrary[BigDecimal]

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def clone(): AnyRef

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

  10. def commutativeMonoidLaws[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  11. def commutativeSemigroupLaws[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

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

    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  14. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  16. def groupLaws[T](implicit arg0: Group[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  17. def hasAdditiveInverses[T](implicit arg0: Group[T], arg1: Arbitrary[T]): Prop

  18. def hasAdditiveInversesDifferentTypes[T, U <: T](implicit arg0: Group[T], arg1: Arbitrary[U]): Prop

  19. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  20. def isAssociative[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  21. def isAssociativeDifferentTypes[T, U <: T](implicit arg0: Semigroup[T], arg1: Equiv[T], arg2: Arbitrary[U]): Prop

  22. def isCommutative[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  23. def isDistributive[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  24. def isDistributiveDifferentTypes[T, U <: T](implicit arg0: Ring[T], arg1: Equiv[T], arg2: Arbitrary[U]): Prop

  25. def isEqualIffZero[T](implicit arg0: Metric[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Definition Classes
    MetricProperties

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  27. def isNonNegative[T](implicit arg0: Metric[T], arg1: Arbitrary[T]): Prop

    Definition Classes
    MetricProperties

  28. def isNonZero[V](v: V)(implicit arg0: Semigroup[V]): Boolean

  29. def isNonZeroWorksMonoid[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  30. def isNonZeroWorksRing[T](implicit arg0: Ring[T], arg1: Arbitrary[T]): Prop

  31. def isSymmetric[T](implicit arg0: Metric[T], arg1: Arbitrary[T]): Prop

    Definition Classes
    MetricProperties

  32. def metricLaws[T](implicit arg0: Metric[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Definition Classes
    MetricProperties

  33. def monoidLaws[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

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

    Definition Classes
    AnyRef

  35. final def notify(): Unit

    Definition Classes
    AnyRef

  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  37. def pseudoRingLaws[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  38. def ringLaws[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  39. def satisfiesTriangleInequality[T](implicit arg0: Metric[T], arg1: Arbitrary[T]): Prop

    Definition Classes
    MetricProperties

  40. def semigroupLaws[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  41. def semigroupSumWorks[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  42. def semiringLaws[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

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

    Definition Classes
    AnyRef

  44. def timesIsAssociative[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  45. def toString(): String

    Definition Classes
    AnyRef → Any

  46. def validOne[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  47. def validZero[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  48. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  51. def weakZero[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

  52. def weakZeroDifferentTypes[T, U <: T](implicit arg0: Monoid[T], arg1: Equiv[T], arg2: Arbitrary[U]): Prop

  53. def zeroAnnihilates[T](implicit arg0: Ring[T], arg1: Arbitrary[T]): Prop

Deprecated Value Members

  1. def commutativeMonoidLawsEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Monoid[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use commutativeMonoidLaws[T] with implicit Equiv[T] instance

  2. def commutativeMonoidLawsEquiv[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use commutativeMonoidLaws[T]

  3. def commutativeSemigroupLawsEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Semigroup[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use commutativeSemigroupLaws[T] with implicit Equiv[T] instance

  4. def commutativeSemigroupLawsEquiv[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use commutativeSemigroupLaws[T]

  5. def defaultEq[T](t0: T, t1: T): Boolean

    Annotations
    @deprecated
    Deprecated

    (Since version 0.12.3) Please use Equiv.universal, or the Equiv version of tests

  6. def groupLawsEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Group[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use groupLaws[T] with implicit Equiv[T] instance

  7. def groupLawsEquiv[T](implicit arg0: Group[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use groupLaws[T]

  8. def isAssociativeEq[T, U <: T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Semigroup[T], arg1: Arbitrary[U]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use isAssociativeDifferentTypes[T, U] with implicit Equiv[T] instance

  9. def isAssociativeEquiv[T, U <: T](implicit arg0: Semigroup[T], arg1: Equiv[T], arg2: Arbitrary[U]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use isAssociativeDifferentTypes[T, U]

  10. def isCommutativeEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Semigroup[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use isCommutative[T] with implicit Equiv[T] instance

  11. def isCommutativeEquiv[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use isCommutative[T]

  12. def isDistributiveDifferentTypesEquiv[T, U <: T](implicit arg0: Ring[T], arg1: Equiv[T], arg2: Arbitrary[U]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use isDistributiveDifferentTypes[T, U]

  13. def isDistributiveEquiv[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use isDistributive[T]

  14. def monoidLawsEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Monoid[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use monoidLaws[T] with implicit Equiv[T] instance

  15. def monoidLawsEquiv[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use monoidLaws[T]

  16. def pseudoRingLawsEquiv[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use pseudoRingLaws[T]

  17. def ringLawsEquiv[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use ringLaws[T]

  18. def semigroupLawsEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Semigroup[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use semigroupLaws[T] with implicit Equiv[T] instance

  19. def semigroupLawsEquiv[T](implicit arg0: Semigroup[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use semigroupLaws[T]

  20. def semiringLawsEquiv[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use semiringLaws[T]

  21. def timesIsAssociativeEquiv[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use timesIsAssociative[T]

  22. def validOneEquiv[T](implicit arg0: Ring[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use validOne[T]

  23. def validZeroEq[T](eqfn: (T, T) ⇒ Boolean)(implicit arg0: Monoid[T], arg1: Arbitrary[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use validZero[T] with implicit Equiv[T] instance

  24. def validZeroEquiv[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use validZero[T]

  25. def weakZeroDifferentTypesEquiv[T, U <: T](implicit arg0: Monoid[T], arg1: Equiv[T], arg2: Arbitrary[U]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use weakZeroDifferentTypes[T, U]

  26. def weakZeroEquiv[T](implicit arg0: Monoid[T], arg1: Arbitrary[T], arg2: Equiv[T]): Prop

    Annotations
    @deprecated
    Deprecated

    (Since version 0.13.0) use weakZero[T]

Inherited from MetricProperties

Inherited from AnyRef

Inherited from Any

Ungrouped