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

DivisionRing

algebra.ring.DivisionRing$
See theDivisionRing companion trait
object DivisionRing extends DivisionRingFunctions[DivisionRing]

Attributes

Companion:
trait
Source:
DivisionRing.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

final def apply[A](implicit f: DivisionRing[A]): DivisionRing[A]

Attributes

Source:
DivisionRing.scala

Inherited methods

final def defaultFromBigInt[A](n: BigInt)(implicit ev: DivisionRing[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 div[A](x: A, y: A)(implicit ev: DivisionRing[A]): A

Attributes

Inherited from:
MultiplicativeGroupFunctions
Source:
Multiplicative.scala
def fromBigInt[A](n: BigInt)(implicit ev: DivisionRing[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def fromDouble[A](n: Double)(implicit ev: DivisionRing[A]): A

Attributes

Inherited from:
DivisionRingFunctions
Source:
DivisionRing.scala
def fromInt[A](n: Int)(implicit ev: DivisionRing[A]): A

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
MultiplicativeGroupFunctions
Source:
Multiplicative.scala
def sum[A](as: IterableOnce[A])(implicit ev: DivisionRing[A]): A

Attributes

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

Attributes

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

Attributes

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

Attributes

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