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

OrderedEuclideanMonoid

com.alecdorrington.scalgebra.ordered.OrderedEuclideanMonoid
See theOrderedEuclideanMonoid companion trait
object OrderedEuclideanMonoid extends OrderedEuclideanMonoidBuilder, OrderedEuclideanMonoidOps

The companion object for OrderedEuclideanMonoid. Import as

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

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

Attributes

Companion
trait
Experimental
true
Graph
Supertypes
trait OrderingOps
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 orderedEuclideanMonoid[X](using orderedEuclideanMonoid: OrderedEuclideanMonoid[X]): OrderedEuclideanMonoid[X]

The OrderedEuclideanMonoid instance describing the current algebra system.

The OrderedEuclideanMonoid instance describing the current algebra system.

Attributes

Inherited methods

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

Givens

Inherited givens

given given_OrderedDifferenceSemifield_*:[X](using X: OrderedDifferenceSemifield[X]): given_OrderedDifferenceSemifield_*:[X]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemifield
given given_OrderedEuclideanMonoid_*:[X](using X: OrderedEuclideanMonoid[X]): given_OrderedEuclideanMonoid_*:[X]

Attributes

Inherited from:
TupleIsOrderedEuclideanMonoid
given given_OrderedEuclideanMonoid_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedEuclideanMonoid[X1], X2: OrderedEuclideanMonoid[X2], X3: OrderedEuclideanMonoid[X3], X4: OrderedEuclideanMonoid[X4]): given_OrderedEuclideanMonoid_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedEuclideanMonoid
given given_OrderedEuclideanMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedEuclideanMonoid[X1], X2: OrderedEuclideanMonoid[X2], X3: OrderedEuclideanMonoid[X3], X4: OrderedEuclideanMonoid[X4], X5: OrderedEuclideanMonoid[X5]): given_OrderedEuclideanMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedEuclideanMonoid
given given_OrderedEuclideanMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedEuclideanMonoid[X1], X2: OrderedEuclideanMonoid[X2], X3: OrderedEuclideanMonoid[X3], X4: OrderedEuclideanMonoid[X4], X5: OrderedEuclideanMonoid[X5], X6: OrderedEuclideanMonoid[X6]): given_OrderedEuclideanMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedEuclideanMonoid
given given_OrderedEuclideanMonoid_X_Y[X, Y](using X: OrderedEuclideanMonoid[X], Y: OrderedEuclideanMonoid[Y]): given_OrderedEuclideanMonoid_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedEuclideanMonoid
given given_OrderedEuclideanMonoid_X_Y_Z[X, Y, Z](using X: OrderedEuclideanMonoid[X], Y: OrderedEuclideanMonoid[Y], Z: OrderedEuclideanMonoid[Z]): given_OrderedEuclideanMonoid_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedEuclideanMonoid
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
given given_OrderedMultiplicativeGroup_*:[X](using X: OrderedMultiplicativeGroup[X]): given_OrderedMultiplicativeGroup_*:[X]

Attributes

Inherited from:
TupleIsOrderedMultiplicativeGroup
given given_OrderedSemifield_*:[X](using X: OrderedSemifield[X]): given_OrderedSemifield_*:[X]

Attributes

Inherited from:
TupleIsOrderedSemifield

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: MultiplicativeIdentity[X])
inline def isOne: Boolean

Attributes

Returns

true if this value equals one.

Inherited from:
MultiplicativeIdentityOps
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: 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: 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

Exports

Defined exports

Generated with