laws/spire.laws.shadows/ShadowCRig

ShadowCRig

trait ShadowCRig[A, S] extends CommutativeRig[Shadow[A, S]] with ShadowCSemiring[A, S] with ShadowMultiplicativeCMonoid[A, S]
trait ShadowCSemiring[A, S]
trait CommutativeRig[Shadow[A, S]]
trait Rig[Shadow[A, S]]
trait Semiring[Shadow[A, S]]
trait AdditiveMonoid[Shadow[A, S]]
class Object
trait Matchable
class Any
trait ShadowCRing[A, S]
trait ShadowGCDRing[A, S]

Value members

Inherited methods

override def isOne(x: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Boolean
override def isZero(x: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Boolean
def one: Shadow[A, S]
def plus(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]
override def pow(x: Shadow[A, S], n: Int): Shadow[A, S]
override def product(xs: IterableOnce[Shadow[A, S]]): Shadow[A, S]
override def sum(xs: IterableOnce[Shadow[A, S]]): Shadow[A, S]
override def sumN(x: Shadow[A, S], n: Int): Shadow[A, S]
def times(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]
override def trySum(xs: IterableOnce[Shadow[A, S]]): Option[Shadow[A, S]]
def zero: Shadow[A, S]
Inherited from:
ShadowAdditiveCMonoid

Implicits

Implicits

implicit def A: CommutativeRig[A]
implicit def S: CommutativeRig[S]

Inherited implicits

implicit def eqA: Eq[A]
implicit def eqS: Eq[S]
implicit val shadowing: Shadowing[A, S]