Scalgebra
API
Generated with
Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.ordered/OrderedEuclideanRing

OrderedEuclideanRing

com.alecdorrington.scalgebra.ordered.OrderedEuclideanRing
See theOrderedEuclideanRing companion trait
object OrderedEuclideanRing extends OrderedEuclideanRingBuilder, OrderedEuclideanRingOps

The companion object for OrderedEuclideanRing. Import as

import com.alecdorrington.scalgebra.ordered.OrderedEuclideanRing.{*, given}

to receive all necessary syntax for working with ordered Euclidean rings.

Attributes

Companion
trait
Experimental
true
Graph
Supertypes
trait OrderingOps
trait RingOps
trait SemiringOps
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited classlikes

object given_OrderedEuclideanRing_BigInt extends OrderedEuclideanRing[BigInt]

Attributes

Inherited from:
BigIntIsOrderedEuclideanRing
Supertypes
trait OrderedEuclideanRing[BigInt]
trait OrderedEuclideanMonoid[BigInt]
trait OrderedRing[BigInt]
trait OrderedSemiring[BigInt]
trait OrderedAdditiveGroup[BigInt]
trait OrderedAdditiveInverse[BigInt]
trait OrderedDifferenceMonoid[BigInt]
trait OrderedAdditiveMonoid[BigInt]
trait OrderedAdditiveIdentity[BigInt]
trait OrderedAdditiveSemigroup[BigInt]
trait Ordering[BigInt]
trait PartialOrdering[BigInt]
trait Equiv[BigInt]
trait Serializable
trait Comparator[BigInt]
trait EuclideanRing[BigInt]
trait EuclideanMonoid[BigInt]
trait Ring[BigInt]
trait DifferenceSemiring[BigInt]
trait Semiring[BigInt]
trait MultiplicativeMonoid[BigInt]
trait MultiplicativeIdentity[BigInt]
trait MultiplicativeSemigroup[BigInt]
trait AdditiveGroup[BigInt]
trait AdditiveInverse[BigInt]
trait DifferenceMonoid[BigInt]
trait AdditiveMonoid[BigInt]
trait AdditiveIdentity[BigInt]
trait AdditiveSemigroup[BigInt]
class Object
trait Matchable
class Any
Show all
object given_OrderedEuclideanRing_Byte extends OrderedEuclideanRing[Byte]

Attributes

Inherited from:
ByteIsOrderedEuclideanRing
Supertypes
trait OrderedEuclideanRing[Byte]
trait OrderedRing[Byte]
trait OrderedSemiring[Byte]
trait OrderedAdditiveGroup[Byte]
trait OrderedAdditiveMonoid[Byte]
trait Ordering[Byte]
trait PartialOrdering[Byte]
trait Equiv[Byte]
trait Serializable
trait Comparator[Byte]
trait EuclideanRing[Byte]
trait EuclideanMonoid[Byte]
trait Ring[Byte]
trait DifferenceSemiring[Byte]
trait Semiring[Byte]
trait MultiplicativeMonoid[Byte]
trait AdditiveGroup[Byte]
trait AdditiveInverse[Byte]
trait DifferenceMonoid[Byte]
trait AdditiveMonoid[Byte]
trait AdditiveIdentity[Byte]
trait AdditiveSemigroup[Byte]
class Object
trait Matchable
class Any
Show all
object given_OrderedEuclideanRing_Int extends OrderedEuclideanRing[Int]

Attributes

Inherited from:
IntIsOrderedEuclideanRing
Supertypes
trait OrderedRing[Int]
trait OrderedSemiring[Int]
trait Ordering[Int]
trait PartialOrdering[Int]
trait Equiv[Int]
trait Serializable
trait Comparator[Int]
trait EuclideanRing[Int]
trait EuclideanMonoid[Int]
trait Ring[Int]
trait DifferenceSemiring[Int]
trait Semiring[Int]
trait AdditiveGroup[Int]
trait AdditiveInverse[Int]
trait DifferenceMonoid[Int]
trait AdditiveMonoid[Int]
trait AdditiveIdentity[Int]
trait AdditiveSemigroup[Int]
class Object
trait Matchable
class Any
Show all
object given_OrderedEuclideanRing_Long extends OrderedEuclideanRing[Long]

Attributes

Inherited from:
LongIsOrderedEuclideanRing
Supertypes
trait OrderedEuclideanRing[Long]
trait OrderedRing[Long]
trait OrderedSemiring[Long]
trait OrderedAdditiveGroup[Long]
trait OrderedAdditiveMonoid[Long]
trait Ordering[Long]
trait PartialOrdering[Long]
trait Equiv[Long]
trait Serializable
trait Comparator[Long]
trait EuclideanRing[Long]
trait EuclideanMonoid[Long]
trait Ring[Long]
trait DifferenceSemiring[Long]
trait Semiring[Long]
trait MultiplicativeMonoid[Long]
trait AdditiveGroup[Long]
trait AdditiveInverse[Long]
trait DifferenceMonoid[Long]
trait AdditiveMonoid[Long]
trait AdditiveIdentity[Long]
trait AdditiveSemigroup[Long]
class Object
trait Matchable
class Any
Show all
object given_OrderedEuclideanRing_Short extends OrderedEuclideanRing[Short]

Attributes

Inherited from:
ShortIsOrderedEuclideanRing
Supertypes
trait OrderedEuclideanRing[Short]
trait OrderedEuclideanMonoid[Short]
trait OrderedRing[Short]
trait OrderedSemiring[Short]
trait OrderedAdditiveGroup[Short]
trait OrderedAdditiveInverse[Short]
trait OrderedAdditiveMonoid[Short]
trait Ordering[Short]
trait PartialOrdering[Short]
trait Equiv[Short]
trait Serializable
trait Comparator[Short]
trait EuclideanRing[Short]
trait EuclideanMonoid[Short]
trait Ring[Short]
trait DifferenceSemiring[Short]
trait Semiring[Short]
trait MultiplicativeMonoid[Short]
trait MultiplicativeIdentity[Short]
trait AdditiveGroup[Short]
trait AdditiveInverse[Short]
trait DifferenceMonoid[Short]
trait AdditiveMonoid[Short]
trait AdditiveIdentity[Short]
trait AdditiveSemigroup[Short]
class Object
trait Matchable
class Any
Show all
object given_OrderedField_Double extends OrderedField[Double]

Attributes

Inherited from:
DoubleIsOrderedEuclideanRing
Supertypes
trait OrderedField[Double]
trait OrderedSemifield[Double]
trait OrderedEuclideanRing[Double]
trait OrderedEuclideanMonoid[Double]
trait OrderedRing[Double]
trait OrderedSemiring[Double]
trait OrderedAdditiveGroup[Double]
trait OrderedAdditiveInverse[Double]
trait OrderedDifferenceMonoid[Double]
trait OrderedAdditiveMonoid[Double]
trait OrderedAdditiveIdentity[Double]
trait OrderedAdditiveSemigroup[Double]
trait Ordering[Double]
trait PartialOrdering[Double]
trait Equiv[Double]
trait Serializable
trait Comparator[Double]
trait Field[Double]
trait DifferenceSemifield[Double]
trait Semifield[Double]
trait MultiplicativeGroup[Double]
trait MultiplicativeInverse[Double]
trait EuclideanRing[Double]
trait EuclideanMonoid[Double]
trait Ring[Double]
trait DifferenceSemiring[Double]
trait Semiring[Double]
trait MultiplicativeMonoid[Double]
trait MultiplicativeIdentity[Double]
trait MultiplicativeSemigroup[Double]
trait AdditiveGroup[Double]
trait AdditiveInverse[Double]
trait DifferenceMonoid[Double]
trait AdditiveMonoid[Double]
trait AdditiveIdentity[Double]
trait AdditiveSemigroup[Double]
class Object
trait Matchable
class Any
Show all
object given_OrderedField_EmptyTuple extends OrderedField[EmptyTuple]

Attributes

Inherited from:
EmptyTupleIsOrderedField
Supertypes
trait OrderedField[EmptyTuple]
trait OrderedDifferenceSemifield[EmptyTuple]
trait OrderedSemifield[EmptyTuple]
trait OrderedMultiplicativeGroup[EmptyTuple]
trait OrderedMultiplicativeInverse[EmptyTuple]
trait OrderedEuclideanRing[EmptyTuple]
trait OrderedEuclideanMonoid[EmptyTuple]
trait OrderedRing[EmptyTuple]
trait OrderedDifferenceSemiring[EmptyTuple]
trait OrderedSemiring[EmptyTuple]
trait OrderedMultiplicativeMonoid[EmptyTuple]
trait OrderedMultiplicativeIdentity[EmptyTuple]
trait OrderedMultiplicativeSemigroup[EmptyTuple]
trait OrderedAdditiveGroup[EmptyTuple]
trait OrderedAdditiveInverse[EmptyTuple]
trait OrderedDifferenceMonoid[EmptyTuple]
trait OrderedAdditiveMonoid[EmptyTuple]
trait OrderedAdditiveIdentity[EmptyTuple]
trait OrderedAdditiveSemigroup[EmptyTuple]
trait Ordering[EmptyTuple]
trait PartialOrdering[EmptyTuple]
trait Equiv[EmptyTuple]
trait Serializable
trait Comparator[EmptyTuple]
trait Field[EmptyTuple]
trait DifferenceSemifield[EmptyTuple]
trait Semifield[EmptyTuple]
trait MultiplicativeGroup[EmptyTuple]
trait MultiplicativeInverse[EmptyTuple]
trait EuclideanRing[EmptyTuple]
trait EuclideanMonoid[EmptyTuple]
trait Ring[EmptyTuple]
trait DifferenceSemiring[EmptyTuple]
trait Semiring[EmptyTuple]
trait MultiplicativeMonoid[EmptyTuple]
trait MultiplicativeIdentity[EmptyTuple]
trait MultiplicativeSemigroup[EmptyTuple]
trait AdditiveGroup[EmptyTuple]
trait AdditiveInverse[EmptyTuple]
trait DifferenceMonoid[EmptyTuple]
trait AdditiveMonoid[EmptyTuple]
trait AdditiveIdentity[EmptyTuple]
trait AdditiveSemigroup[EmptyTuple]
class Object
trait Matchable
class Any
Show all
object given_OrderedField_Float extends OrderedField[Float]

Attributes

Inherited from:
FloatIsOrderedField
Supertypes
trait OrderedField[Float]
trait OrderedSemifield[Float]
trait OrderedEuclideanRing[Float]
trait OrderedEuclideanMonoid[Float]
trait OrderedRing[Float]
trait OrderedSemiring[Float]
trait OrderedAdditiveGroup[Float]
trait OrderedAdditiveInverse[Float]
trait OrderedAdditiveMonoid[Float]
trait Ordering[Float]
trait PartialOrdering[Float]
trait Equiv[Float]
trait Serializable
trait Comparator[Float]
trait Field[Float]
trait DifferenceSemifield[Float]
trait Semifield[Float]
trait MultiplicativeGroup[Float]
trait MultiplicativeInverse[Float]
trait EuclideanRing[Float]
trait EuclideanMonoid[Float]
trait Ring[Float]
trait DifferenceSemiring[Float]
trait Semiring[Float]
trait MultiplicativeMonoid[Float]
trait MultiplicativeIdentity[Float]
trait AdditiveGroup[Float]
trait AdditiveInverse[Float]
trait DifferenceMonoid[Float]
trait AdditiveMonoid[Float]
trait AdditiveIdentity[Float]
trait AdditiveSemigroup[Float]
class Object
trait Matchable
class Any
Show all
object given_OrderedField_None_type extends OrderedField[None.type]

Attributes

Inherited from:
NoneIsOrderedField
Supertypes
trait OrderedField[None.type]
trait OrderedDifferenceSemifield[None.type]
trait OrderedSemifield[None.type]
trait OrderedMultiplicativeGroup[None.type]
trait OrderedMultiplicativeInverse[None.type]
trait OrderedEuclideanRing[None.type]
trait OrderedEuclideanMonoid[None.type]
trait OrderedRing[None.type]
trait OrderedDifferenceSemiring[None.type]
trait OrderedSemiring[None.type]
trait OrderedMultiplicativeMonoid[None.type]
trait OrderedAdditiveGroup[None.type]
trait OrderedAdditiveInverse[None.type]
trait OrderedDifferenceMonoid[None.type]
trait OrderedAdditiveMonoid[None.type]
trait OrderedAdditiveIdentity[None.type]
trait OrderedAdditiveSemigroup[None.type]
trait Ordering[None.type]
trait PartialOrdering[None.type]
trait Equiv[None.type]
trait Serializable
trait Comparator[None.type]
trait Field[None.type]
trait DifferenceSemifield[None.type]
trait Semifield[None.type]
trait MultiplicativeGroup[None.type]
trait MultiplicativeInverse[None.type]
trait EuclideanRing[None.type]
trait EuclideanMonoid[None.type]
trait Ring[None.type]
trait DifferenceSemiring[None.type]
trait Semiring[None.type]
trait MultiplicativeMonoid[None.type]
trait MultiplicativeIdentity[None.type]
trait MultiplicativeSemigroup[None.type]
trait AdditiveGroup[None.type]
trait AdditiveInverse[None.type]
trait DifferenceMonoid[None.type]
trait AdditiveMonoid[None.type]
trait AdditiveIdentity[None.type]
trait AdditiveSemigroup[None.type]
class Object
trait Matchable
class Any
Show all
object given_OrderedField_Nothing extends OrderedField[Nothing]

Attributes

Inherited from:
NothingIsOrderedField
Supertypes
trait OrderedField[Nothing]
trait OrderedSemifield[Nothing]
trait OrderedEuclideanRing[Nothing]
trait OrderedEuclideanMonoid[Nothing]
trait OrderedRing[Nothing]
trait OrderedDifferenceSemiring[Nothing]
trait OrderedSemiring[Nothing]
trait OrderedAdditiveGroup[Nothing]
trait OrderedAdditiveInverse[Nothing]
trait OrderedDifferenceMonoid[Nothing]
trait OrderedAdditiveMonoid[Nothing]
trait OrderedAdditiveIdentity[Nothing]
trait OrderedAdditiveSemigroup[Nothing]
trait Ordering[Nothing]
trait PartialOrdering[Nothing]
trait Equiv[Nothing]
trait Serializable
trait Comparator[Nothing]
trait Field[Nothing]
trait DifferenceSemifield[Nothing]
trait Semifield[Nothing]
trait MultiplicativeGroup[Nothing]
trait MultiplicativeInverse[Nothing]
trait EuclideanRing[Nothing]
trait EuclideanMonoid[Nothing]
trait Ring[Nothing]
trait DifferenceSemiring[Nothing]
trait Semiring[Nothing]
trait MultiplicativeMonoid[Nothing]
trait MultiplicativeIdentity[Nothing]
trait MultiplicativeSemigroup[Nothing]
trait AdditiveGroup[Nothing]
trait AdditiveInverse[Nothing]
trait DifferenceMonoid[Nothing]
trait AdditiveMonoid[Nothing]
trait AdditiveIdentity[Nothing]
trait AdditiveSemigroup[Nothing]
class Object
trait Matchable
class Any
Show all
object given_OrderedField_Unit extends OrderedField[Unit]

Attributes

Inherited from:
UnitIsOrderedField
Supertypes
trait OrderedField[Unit]
trait OrderedSemifield[Unit]
trait OrderedEuclideanRing[Unit]
trait OrderedRing[Unit]
trait OrderedSemiring[Unit]
trait OrderedAdditiveGroup[Unit]
trait OrderedAdditiveMonoid[Unit]
trait Ordering[Unit]
trait PartialOrdering[Unit]
trait Equiv[Unit]
trait Serializable
trait Comparator[Unit]
trait Field[Unit]
trait DifferenceSemifield[Unit]
trait Semifield[Unit]
trait MultiplicativeGroup[Unit]
trait MultiplicativeInverse[Unit]
trait EuclideanRing[Unit]
trait EuclideanMonoid[Unit]
trait Ring[Unit]
trait DifferenceSemiring[Unit]
trait Semiring[Unit]
trait MultiplicativeMonoid[Unit]
trait AdditiveGroup[Unit]
trait AdditiveInverse[Unit]
trait DifferenceMonoid[Unit]
trait AdditiveMonoid[Unit]
trait AdditiveIdentity[Unit]
trait AdditiveSemigroup[Unit]
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

inline def orderedEuclideanRing[X](using orderedEuclideanRing: OrderedEuclideanRing[X]): OrderedEuclideanRing[X]

The OrderedEuclideanRing instance describing the current algebra system.

The OrderedEuclideanRing instance describing the current algebra system.

Attributes

Inherited methods

def negativeOne[X](using X: Ring[X]): X

The unique representation of -1 in this algebra system.

The unique representation of -1 in this algebra system.

Attributes

Inherited from:
RingOps
final inline def one[X](using X: MultiplicativeIdentity[X]): X

The unique representation of the multiplicative identity (1) in this algebra system. Typically corresponds to values such as 1 or 1.0F.

The unique representation of the multiplicative identity (1) in this algebra system. Typically corresponds to values such as 1 or 1.0F.

Attributes

Inherited from:
MultiplicativeIdentityOps
def two[X](using X: Semiring[X]): X

The unique representation of 2 in this algebra system.

The unique representation of 2 in this algebra system.

Attributes

Inherited from:
SemiringOps
final inline def zero[X](using X: AdditiveIdentity[X]): X

The unique representation of the additive identity (0) in this algebra system. Typically corresponds to values such as 0, 0.0F, or Seq.empty.

The unique representation of the additive identity (0) in this algebra system. Typically corresponds to values such as 0, 0.0F, or Seq.empty.

Attributes

Inherited from:
AdditiveIdentityOps

Givens

Inherited givens

given given_OrderedEuclideanRing_*:[X](using X: OrderedEuclideanRing[X]): given_OrderedEuclideanRing_*:[X]

Attributes

Inherited from:
TupleIsOrderedEuclideanRing
given given_OrderedEuclideanRing_A[A](using num: Integral[A]): given_OrderedEuclideanRing_A[A]

Attributes

Inherited from:
IntegralIsOrderedEuclideanRing
given given_OrderedEuclideanRing_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedEuclideanRing[X1], X2: OrderedEuclideanRing[X2], X3: OrderedEuclideanRing[X3], X4: OrderedEuclideanRing[X4]): given_OrderedEuclideanRing_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedEuclideanRing
given given_OrderedEuclideanRing_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedEuclideanRing[X1], X2: OrderedEuclideanRing[X2], X3: OrderedEuclideanRing[X3], X4: OrderedEuclideanRing[X4], X5: OrderedEuclideanRing[X5]): given_OrderedEuclideanRing_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedEuclideanRing
given given_OrderedEuclideanRing_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedEuclideanRing[X1], X2: OrderedEuclideanRing[X2], X3: OrderedEuclideanRing[X3], X4: OrderedEuclideanRing[X4], X5: OrderedEuclideanRing[X5], X6: OrderedEuclideanRing[X6]): given_OrderedEuclideanRing_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedEuclideanRing
given given_OrderedEuclideanRing_X_Y[X, Y](using X: OrderedEuclideanRing[X], Y: OrderedEuclideanRing[Y]): given_OrderedEuclideanRing_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedEuclideanRing
given given_OrderedEuclideanRing_X_Y_Z[X, Y, Z](using X: OrderedEuclideanRing[X], Y: OrderedEuclideanRing[Y], Z: OrderedEuclideanRing[Z]): given_OrderedEuclideanRing_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedEuclideanRing
given given_OrderedField_*:[X](using X: OrderedField[X]): given_OrderedField_*:[X]

Attributes

Inherited from:
TupleIsOrderedField
given given_OrderedField_A[A](using num: Fractional[A]): given_OrderedField_A[A]

Attributes

Inherited from:
FractionalIsOrderedField
given given_OrderedField_X[X](using Val: ValueOf[X]): given_OrderedField_X[X]

Attributes

Inherited from:
SingletonIsOrderedField

Extensions

Inherited extensions

extension [X](x: X)(using X: Ordering[X])
infix inline def <(y: X): Boolean

Attributes

Returns

true if the left operand is smaller than the right.

Inherited from:
OrderingOps
infix inline def <=(y: X): Boolean

Attributes

Returns

true if the left operand is not larger than the right.

Inherited from:
OrderingOps
infix inline def >(y: X): Boolean

Attributes

Returns

true if the right operand is larger than the left.

Inherited from:
OrderingOps
infix inline def >=(y: X): Boolean

Attributes

Returns

true if the right operand is not larger than the left.

Inherited from:
OrderingOps
inline def clamp(lb: X, ub: X): X

Clamps this value to the inclusive range [lb, ub].

Clamps this value to the inclusive range [lb, ub].

Attributes

Returns

lb if this value is less than lb, ub if greater than ub, or this value otherwise.

Inherited from:
OrderingOps
def compare(y: X): Int

Determines the relative order of both operands

Determines the relative order of both operands

Attributes

Returns

-1 if in-order (this < x), 1 if out-of-order (this > x), and 0 if equal (this == x).

Inherited from:
OrderingOps
infix inline def max(y: X): X

Attributes

Returns

the larger of both operands.

Inherited from:
OrderingOps
infix inline def min(y: X): X

Attributes

Returns

the smaller of both operands.

Inherited from:
OrderingOps
extension [X](x: X)(using X: AdditiveInverse[X])
inline def unary_-: X

Computes the additive inverse (negative) of this value.

Computes the additive inverse (negative) of this value.

Attributes

Inherited from:
AdditiveInverseOps
extension [X](x: X)(using X: AdditiveIdentity[X])
inline def isZero: Boolean

Attributes

Returns

true if this value equals zero.

Inherited from:
AdditiveIdentityOps
extension [X](x: X)(using X: AdditiveSemigroup[X])
infix inline def *:(n: Int): X

Multiplies this value on the left by a strictly positive integer.

Multiplies this value on the left by a strictly positive integer.

Attributes

Throws
IllegalArgumentException

if n ≤ 0.

Inherited from:
AdditiveSemigroupOps
infix inline def +(y: X): X

Computes the sum of both operands.

Computes the sum of both operands.

Attributes

Inherited from:
AdditiveSemigroupOps
infix inline def :*(n: Int): X

Multiplies this value on the right by a strictly positive integer.

Multiplies this value on the right by a strictly positive integer.

Attributes

Throws
IllegalArgumentException

if n ≤ 0.

Inherited from:
AdditiveSemigroupOps
extension [X](x: X)(using R: Ring[X], O: Ordering[X])
inline def sign: X

Computes the sign of this value as -1, 0, or 1.

Computes the sign of this value as -1, 0, or 1.

Attributes

Inherited from:
RingOps
extension [X](x: X)(using X: MultiplicativeIdentity[X])
inline def isOne: Boolean

Attributes

Returns

true if this value equals one.

Inherited from:
MultiplicativeIdentityOps
extension [X](x: X)(using X: EuclideanRing[X])
infix inline def %(y: X): X

Computes the signed remainder between both operands.

Computes the signed remainder between both operands.

Attributes

Inherited from:
EuclideanRingOps
extension [X](x: X)(using X: DifferenceMonoid[X])
infix inline def -(y: X): X

Computes the difference between both operands.

Computes the difference between both operands.

Attributes

Inherited from:
DifferenceMonoidOps
extension [X](x: X)(using X: MultiplicativeSemigroup[X])
infix inline def *(y: X): X

Computes the product of both operands.

Computes the product of both operands.

Attributes

Inherited from:
MultiplicativeSemigroupOps
infix inline def pow(n: Int): X

Computes this value raised to the power n, for any strictly positive n.

Computes this value raised to the power n, for any strictly positive n.

Attributes

Inherited from:
MultiplicativeSemigroupOps
extension [X](x: X)(using X: EuclideanMonoid[X])
infix inline def /(y: X): X

Computes the quotient between both operands.

Computes the quotient between both operands.

Attributes

Inherited from:
EuclideanMonoidOps
extension [X](x: X)(using X: AdditiveGroup[X])
infix inline def *:(n: Int): X

Multiplies this value on the left by any integer.

Multiplies this value on the left by any integer.

Attributes

Inherited from:
AdditiveGroupOps
infix inline def :*(n: Int): X

Multiplies this value on the right by any integer.

Multiplies this value on the right by any integer.

Attributes

Inherited from:
AdditiveGroupOps
extension [X](x: X)(using X: AdditiveMonoid[X])
infix inline def *:(n: Int): X

Multiplies this value on the left by a non-negative integer.

Multiplies this value on the left by a non-negative integer.

Attributes

Throws
IllegalArgumentException

if n < 0.

Inherited from:
AdditiveMonoidOps
infix inline def :*(n: Int): X

Multiplies this value on the right by a non-negative integer.

Multiplies this value on the right by a non-negative integer.

Attributes

Throws
IllegalArgumentException

if n < 0.

Inherited from:
AdditiveMonoidOps
extension [X](x: X)(using X: MultiplicativeMonoid[X])
infix inline def pow(n: Int): X

Computes this value raised to the power n, for any non-negative n.

Computes this value raised to the power n, for any non-negative n.

Attributes

Inherited from:
MultiplicativeMonoidOps
extension [X](x: X)(using A: AdditiveGroup[X], O: Ordering[X])
inline def abs: X

Computes the absolute value of this value.

Computes the absolute value of this value.

Attributes

Inherited from:
AdditiveGroupOps

Exports

Defined exports

Generated with