laws/spire.laws.shadows/ShadowEuclideanRing

ShadowEuclideanRing

trait ShadowEuclideanRing[A, S] extends EuclideanRing[Shadow[A, S]] with ShadowGCDRing[A, S]
trait ShadowGCDRing[A, S]
trait ShadowCRing[A, S]
trait ShadowCRng[A, S]
trait ShadowCRig[A, S]
trait ShadowCSemiring[A, S]
trait EuclideanRing[Shadow[A, S]]
trait GCDRing[Shadow[A, S]]
trait CommutativeRing[Shadow[A, S]]
trait CommutativeRng[Shadow[A, S]]
trait CommutativeRig[Shadow[A, S]]
trait Ring[Shadow[A, S]]
trait Rng[Shadow[A, S]]
trait AdditiveGroup[Shadow[A, S]]
trait Rig[Shadow[A, S]]
trait Semiring[Shadow[A, S]]
trait AdditiveMonoid[Shadow[A, S]]
class Object
trait Matchable
class Any

Value members

Concrete methods

def emod(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]
def equot(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]
override def equotmod(x: Shadow[A, S], y: Shadow[A, S]): (Shadow[A, S], Shadow[A, S])
Definition Classes

Inherited methods

override def fromBigInt(n: BigInt): Shadow[A, S]
Definition Classes
Inherited from:
ShadowCRing
override def fromInt(n: Int): Shadow[A, S]
Definition Classes
Inherited from:
ShadowCRing
override def gcd(x: Shadow[A, S], y: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Shadow[A, S]
Definition Classes
Inherited from:
ShadowGCDRing
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
override def lcm(x: Shadow[A, S], y: Shadow[A, S])(implicit ev: Eq[Shadow[A, S]]): Shadow[A, S]
Definition Classes
Inherited from:
ShadowGCDRing
override def minus(x: Shadow[A, S], y: Shadow[A, S]): Shadow[A, S]
Definition Classes
Inherited from:
ShadowAdditiveAbGroup
def negate(x: Shadow[A, S]): Shadow[A, S]
Inherited from:
ShadowAdditiveAbGroup
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: EuclideanRing[A]
implicit def S: EuclideanRing[S]

Inherited implicits

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