Cats algebra
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
Cats algebra/algebra.ring/GCDRingFunctions

GCDRingFunctions

algebra.ring.GCDRingFunctions
trait GCDRingFunctions[R <: (GCDRing)] extends RingFunctions[R]

Attributes

Source:
GCDRing.scala
Graph
Supertypes
trait RingFunctions[R]
class Object
trait Matchable
class Any
Known subtypes
object EuclideanRing.type
object Field.type
object GCDRing.type

Members list

Concise view

Value members

Concrete methods

def gcd[A](a: A, b: A)(implicit ev: R[A], eqA: Eq[A]): A

Attributes

Source:
GCDRing.scala
def lcm[A](a: A, b: A)(implicit ev: R[A], eqA: Eq[A]): A

Attributes

Source:
GCDRing.scala

Inherited methods

final def defaultFromBigInt[A](n: BigInt)(implicit ev: R[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
final def defaultFromDouble[A](a: Double)(implicit ringA: Ring[A], mgA: MultiplicativeGroup[A]): A

Returns the given Double, understood as a rational number, in the provided (division) ring.

Returns the given Double, understood as a rational number, in the provided (division) ring.

This is implemented in terms of basic ops. However, this is probably significantly less efficient than can be done with a specific type. So, it is recommended to specialize this general method.

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def fromBigInt[A](n: BigInt)(implicit ev: R[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def fromInt[A](n: Int)(implicit ev: R[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def isAdditiveCommutative[A](implicit ev: R[A]): Boolean

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def isMultiplicativeCommutative[A](implicit ev: R[A]): Boolean
def isOne[A](a: A)(implicit ev0: R[A], ev1: Eq[A]): Boolean
def isZero[A](a: A)(implicit ev0: R[A], ev1: Eq[A]): Boolean

Attributes

Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
def minus[A](x: A, y: A)(implicit ev: R[A]): A

Attributes

Inherited from:
AdditiveGroupFunctions
Source:
Additive.scala
def negate[A](x: A)(implicit ev: R[A]): A

Attributes

Inherited from:
AdditiveGroupFunctions
Source:
Additive.scala
def one[A](implicit ev: R[A]): A
def plus[A](x: A, y: A)(implicit ev: R[A]): A

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def pow[A](a: A, n: Int)(implicit ev: R[A]): A
def product[A](as: IterableOnce[A])(implicit ev: R[A]): A
def sum[A](as: IterableOnce[A])(implicit ev: R[A]): A

Attributes

Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
def sumN[A](a: A, n: Int)(implicit ev: R[A]): A

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def times[A](x: A, y: A)(implicit ev: R[A]): A
def tryProduct[A](as: IterableOnce[A])(implicit ev: R[A]): Option[A]
def trySum[A](as: IterableOnce[A])(implicit ev: R[A]): Option[A]

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def zero[A](implicit ev: R[A]): A

Attributes

Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL