Trait

spire.laws.shadows

ShadowCRig

Related Doc: package shadows

Permalink

trait ShadowCRig[A, S] extends CRig[Shadow[A, S]] with ShadowCSemiring[A, S] with ShadowMultiplicativeCMonoid[A, S]

Linear Supertypes
ShadowMultiplicativeCMonoid[A, S], ShadowCSemiring[A, S], ShadowMultiplicativeCSemigroup[A, S], ShadowAdditiveCMonoid[A, S], ShadowAdditiveCSemigroup[A, S], CommutativeRig[Shadow[A, S]], MultiplicativeCommutativeMonoid[Shadow[A, S]], CommutativeSemiring[Shadow[A, S]], MultiplicativeCommutativeSemigroup[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
ShadowCRing, ShadowEuclideanRing, ShadowGCDRing
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ShadowCRig
  2. ShadowMultiplicativeCMonoid
  3. ShadowCSemiring
  4. ShadowMultiplicativeCSemigroup
  5. ShadowAdditiveCMonoid
  6. ShadowAdditiveCSemigroup
  7. CommutativeRig
  8. MultiplicativeCommutativeMonoid
  9. CommutativeSemiring
  10. MultiplicativeCommutativeSemigroup
  11. Rig
  12. MultiplicativeMonoid
  13. Semiring
  14. MultiplicativeSemigroup
  15. AdditiveCommutativeMonoid
  16. AdditiveCommutativeSemigroup
  17. AdditiveMonoid
  18. AdditiveSemigroup
  19. Serializable
  20. Serializable
  21. AnyRef
  22. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def A: CRig[A]

    Permalink
    Definition Classes
    ShadowCRig → ShadowMultiplicativeCMonoid → ShadowCSemiring → ShadowMultiplicativeCSemigroup → ShadowAdditiveCMonoid → ShadowAdditiveCSemigroup

  2. implicit abstract def S: CRig[S]

    Permalink
    Definition Classes
    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: CommutativeMonoid[Shadow[A, S]]

    Permalink
    Definition Classes
    AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → 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. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid → MultiplicativeMonoid

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

    Permalink
    Definition Classes
    ShadowAdditiveCMonoid → AdditiveMonoid

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

    Permalink
    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    AnyRef

  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. def one: Shadow[A, S]

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid → MultiplicativeMonoid

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

    Permalink
    Definition Classes
    ShadowAdditiveCSemigroup → AdditiveSemigroup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

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

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    ShadowMultiplicativeCMonoid → MultiplicativeMonoid

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

    Permalink
    Definition Classes
    ShadowAdditiveCMonoid → AdditiveMonoid

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

    Permalink
    Definition Classes
    ShadowAdditiveCSemigroup → AdditiveSemigroup

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup → MultiplicativeSemigroup

  29. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    ShadowMultiplicativeCSemigroup → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    ShadowAdditiveCSemigroup → AdditiveSemigroup

  32. final def wait(): Unit

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

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

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

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

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

  35. def zero: Shadow[A, S]

    Permalink
    Definition Classes
    ShadowAdditiveCMonoid → AdditiveMonoid

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 CommutativeRig[Shadow[A, S]]

Inherited from MultiplicativeCommutativeMonoid[Shadow[A, S]]

Inherited from CommutativeSemiring[Shadow[A, S]]

Inherited from MultiplicativeCommutativeSemigroup[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