Trait

spire.laws.shadows

ShadowGCDRing

Related Doc: package shadows

Permalink

trait ShadowGCDRing[A, S] extends GCDRing[Shadow[A, S]] with ShadowCRing[A, S]

Linear Supertypes
ShadowCRing[A, S], ShadowCRng[A, S], ShadowAdditiveAbGroup[A, S], ShadowCRig[A, S], ShadowMultiplicativeCMonoid[A, S], ShadowCSemiring[A, S], ShadowMultiplicativeCSemigroup[A, S], ShadowAdditiveCMonoid[A, S], ShadowAdditiveCSemigroup[A, S], GCDRing[Shadow[A, S]], CommutativeRing[Shadow[A, S]], CommutativeRng[Shadow[A, S]], CommutativeRig[Shadow[A, S]], MultiplicativeCommutativeMonoid[Shadow[A, S]], CommutativeSemiring[Shadow[A, S]], MultiplicativeCommutativeSemigroup[Shadow[A, S]], Ring[Shadow[A, S]], Rng[Shadow[A, S]], AdditiveCommutativeGroup[Shadow[A, S]], AdditiveGroup[Shadow[A, S]], Rig[Shadow[A, S]], MultiplicativeMonoid[Shadow[A, S]], Semiring[Shadow[A, S]], MultiplicativeSemigroup[Shadow[A, S]], AdditiveCommutativeMonoid[Shadow[A, S]], AdditiveCommutativeSemigroup[Shadow[A, S]], AdditiveMonoid[Shadow[A, S]], AdditiveSemigroup[Shadow[A, S]], Serializable, Serializable, AnyRef, Any
Known Subclasses
ShadowEuclideanRing
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ShadowGCDRing
  2. ShadowCRing
  3. ShadowCRng
  4. ShadowAdditiveAbGroup
  5. ShadowCRig
  6. ShadowMultiplicativeCMonoid
  7. ShadowCSemiring
  8. ShadowMultiplicativeCSemigroup
  9. ShadowAdditiveCMonoid
  10. ShadowAdditiveCSemigroup
  11. GCDRing
  12. CommutativeRing
  13. CommutativeRng
  14. CommutativeRig
  15. MultiplicativeCommutativeMonoid
  16. CommutativeSemiring
  17. MultiplicativeCommutativeSemigroup
  18. Ring
  19. Rng
  20. AdditiveCommutativeGroup
  21. AdditiveGroup
  22. Rig
  23. MultiplicativeMonoid
  24. Semiring
  25. MultiplicativeSemigroup
  26. AdditiveCommutativeMonoid
  27. AdditiveCommutativeSemigroup
  28. AdditiveMonoid
  29. AdditiveSemigroup
  30. Serializable
  31. Serializable
  32. AnyRef
  33. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def A: GCDRing[A]

    Permalink
    Definition Classes
    ShadowGCDRing → ShadowCRing → ShadowCRng → ShadowAdditiveAbGroup → ShadowCRig → ShadowMultiplicativeCMonoid → ShadowCSemiring → ShadowMultiplicativeCSemigroup → ShadowAdditiveCMonoid → ShadowAdditiveCSemigroup

  2. implicit abstract def S: GCDRing[S]

    Permalink
    Definition Classes
    ShadowGCDRing → ShadowCRing → ShadowCRng → ShadowAdditiveAbGroup → ShadowCRig → ShadowMultiplicativeCMonoid → ShadowCSemiring → ShadowMultiplicativeCSemigroup → ShadowAdditiveCMonoid → ShadowAdditiveCSemigroup

  3. implicit abstract def eqA: Eq[A]

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid

  4. implicit abstract def eqS: Eq[S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid

  5. implicit abstract val shadowing: Shadowing[A, S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. def additive: CommutativeGroup[Shadow[A, S]]

    Permalink
    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. def finalize(): Unit

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

  10. def fromBigInt(n: BigInt): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowCRing → Ring

  11. def fromInt(n: Int): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowCRing → Ring

  12. def gcd(x: Shadow[A, S], y: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowGCDRing → GCDRing

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

    Permalink
    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  16. def isOne(x: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Boolean

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid → MultiplicativeMonoid

  17. def isZero(x: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Boolean

    Permalink
    Definition Classes
    ShadowAdditiveCMonoid → AdditiveMonoid

  18. def lcm(x: Shadow[A, S], y: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowGCDRing → GCDRing

  19. def minus(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveAbGroup → AdditiveGroup

  20. def multiplicative: CommutativeMonoid[Shadow[A, S]]

    Permalink
    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    AnyRef

  22. def negate(x: Shadow[A, S]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveAbGroup → AdditiveGroup

  23. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  24. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  25. def one: Shadow[A, S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid → MultiplicativeMonoid

  26. def plus(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveCSemigroup → AdditiveSemigroup

  27. def positivePow(a: Shadow[A, S], n: Int): Shadow[A, S]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

  28. def positiveSumN(a: Shadow[A, S], n: Int): Shadow[A, S]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

  29. def pow(x: Shadow[A, S], n: Int): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup → MultiplicativeSemigroup

  30. def product(xs: TraversableOnce[Shadow[A, S]]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid → MultiplicativeMonoid

  31. def sum(xs: TraversableOnce[Shadow[A, S]]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveCMonoid → AdditiveMonoid

  32. def sumN(x: Shadow[A, S], n: Int): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveCSemigroup → AdditiveSemigroup

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

    Permalink
    Definition Classes
    AnyRef

  34. def times(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup → MultiplicativeSemigroup

  35. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  36. def tryProduct(xs: TraversableOnce[Shadow[A, S]]): Option[Shadow[A, S]]

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup → MultiplicativeSemigroup

  37. def trySum(xs: TraversableOnce[Shadow[A, S]]): Option[Shadow[A, S]]

    Permalink
    Definition Classes
    ShadowAdditiveCSemigroup → AdditiveSemigroup

  38. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  41. def zero: Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveCMonoid → AdditiveMonoid

Inherited from ShadowCRing[A, S]

Inherited from ShadowCRng[A, S]

Inherited from ShadowAdditiveAbGroup[A, S]

Inherited from ShadowCRig[A, S]

Inherited from ShadowMultiplicativeCMonoid[A, S]

Inherited from ShadowCSemiring[A, S]

Inherited from ShadowMultiplicativeCSemigroup[A, S]

Inherited from ShadowAdditiveCMonoid[A, S]

Inherited from ShadowAdditiveCSemigroup[A, S]

Inherited from GCDRing[Shadow[A, S]]

Inherited from CommutativeRing[Shadow[A, S]]

Inherited from CommutativeRng[Shadow[A, S]]

Inherited from CommutativeRig[Shadow[A, S]]

Inherited from MultiplicativeCommutativeMonoid[Shadow[A, S]]

Inherited from CommutativeSemiring[Shadow[A, S]]

Inherited from MultiplicativeCommutativeSemigroup[Shadow[A, S]]

Inherited from Ring[Shadow[A, S]]

Inherited from Rng[Shadow[A, S]]

Inherited from AdditiveCommutativeGroup[Shadow[A, S]]

Inherited from AdditiveGroup[Shadow[A, S]]

Inherited from Rig[Shadow[A, S]]

Inherited from MultiplicativeMonoid[Shadow[A, S]]

Inherited from Semiring[Shadow[A, S]]

Inherited from MultiplicativeSemigroup[Shadow[A, S]]

Inherited from AdditiveCommutativeMonoid[Shadow[A, S]]

Inherited from AdditiveCommutativeSemigroup[Shadow[A, S]]

Inherited from AdditiveMonoid[Shadow[A, S]]

Inherited from AdditiveSemigroup[Shadow[A, S]]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped