com.alecdorrington.scalgebra
package com.alecdorrington.scalgebra
Members list
Packages
Type members
Classlikes
trait AdditiveGroup[X] extends DifferenceMonoid[X], AdditiveInverse[X]
For algebraic structures with addition and negation.
For algebraic structures with addition and negation.
Attributes
- Companion
- object
- Supertypes
-
trait AdditiveInverse[X]trait DifferenceMonoid[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait DifferenceSemigroup[X]trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]Show all
object AdditiveGroup extends Ops
The companion object for AdditiveGroup.
object AdditiveIdentity extends Ops
The companion object for AdditiveIdentity.
The companion object for AdditiveIdentity.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
AdditiveIdentity.type
trait AdditiveIdentity[X] extends Root[X]
For algebraic structures with an additive identity (zero).
For algebraic structures with an additive identity (zero).
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedAdditiveIdentity[X]trait OrderedAdditiveMonoid[X]trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait OrderedSemiring[X]trait OrderedSemifield[X]trait AdditiveMonoid[X]trait DifferenceMonoid[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]trait Semiring[X]trait Semifield[X]Show all
trait AdditiveInverse[X] extends Root[X]
For algebraic structures with an additive inverse.
For algebraic structures with an additive inverse.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedAdditiveInverse[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]Show all
object AdditiveInverse extends Ops
The companion object for AdditiveInverse.
The companion object for AdditiveInverse.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
AdditiveInverse.type
object AdditiveMonoid extends Ops
The companion object for AdditiveMonoid.
The companion object for AdditiveMonoid.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
AdditiveMonoid.type
trait AdditiveMonoid[X] extends AdditiveSemigroup[X], AdditiveIdentity[X]
For algebraic structures with addition and an identity.
For algebraic structures with addition and an identity.
Attributes
- Companion
- object
- Supertypes
-
trait AdditiveIdentity[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedAdditiveMonoid[X]trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait OrderedSemiring[X]trait OrderedSemifield[X]trait DifferenceMonoid[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]trait Semiring[X]trait Semifield[X]Show all
object AdditiveSemigroup extends Ops
The companion object for AdditiveSemigroup.
The companion object for AdditiveSemigroup.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
AdditiveSemigroup.type
trait AdditiveSemigroup[X] extends Root[X]
For algebraic structures with an associative addition operator.
For algebraic structures with an associative addition operator.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedAdditiveSemigroup[X]trait OrderedAdditiveMonoid[X]trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait OrderedSemiring[X]trait OrderedSemifield[X]trait OrderedDifferenceSemigroup[X]trait AdditiveMonoid[X]trait DifferenceMonoid[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]trait Semiring[X]trait Semifield[X]trait DifferenceSemigroup[X]Show all
trait Difference[X] extends Root[X]
For algebraic structures with a subtraction operator.
For algebraic structures with a subtraction operator.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedDifference[X]trait DifferenceSemigroup[X]trait OrderedDifferenceSemigroup[X]trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait DifferenceMonoid[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]Show all
object Difference extends Ops
The companion object for Difference.
The companion object for Difference.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
Difference.type
trait DifferenceMonoid[X] extends DifferenceSemigroup[X], AdditiveMonoid[X]
For algebraic structures with addition, subtraction, and an identity.
For algebraic structures with addition, subtraction, and an identity.
Attributes
- Companion
- object
- Supertypes
-
trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait DifferenceSemigroup[X]trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]Show all
object DifferenceMonoid extends Ops
The companion object for DifferenceMonoid.
The companion object for DifferenceMonoid.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
DifferenceMonoid.type
object DifferenceSemifield extends Ops
The companion object for DifferenceSemifield.
The companion object for DifferenceSemifield.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
DifferenceSemifield.type
trait DifferenceSemifield[X] extends DifferenceSemiring[X], Semifield[X]
For algebraic structures with addition, subtraction, multiplication, and reciprocation.
For algebraic structures with addition, subtraction, multiplication, and reciprocation.
Attributes
- Companion
- object
- Supertypes
-
trait Semifield[X]trait MultiplicativeGroup[X]trait MultiplicativeInverse[X]trait EuclideanMonoid[X]trait EuclideanSemigroup[X]trait Euclidean[X]trait DifferenceSemiring[X]trait DifferenceMonoid[X]trait DifferenceSemigroup[X]trait Difference[X]trait Semiring[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait MultiplicativeSemigroup[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
object DifferenceSemigroup extends Ops
The companion object for DifferenceSemigroup.
The companion object for DifferenceSemigroup.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
DifferenceSemigroup.type
trait DifferenceSemigroup[X] extends AdditiveSemigroup[X], Difference[X]
For algebraic structures with addition and subtraction.
For algebraic structures with addition and subtraction.
Attributes
- Companion
- object
- Supertypes
-
trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedDifferenceSemigroup[X]trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait DifferenceMonoid[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]Show all
trait DifferenceSemiring[X] extends Semiring[X], DifferenceMonoid[X]
For algebraic structures with addition, subtraction, and multiplication.
For algebraic structures with addition, subtraction, and multiplication.
Attributes
- Companion
- object
- Supertypes
-
trait DifferenceMonoid[X]trait DifferenceSemigroup[X]trait Difference[X]trait Semiring[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait MultiplicativeSemigroup[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait OrderedField[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait DifferenceSemifield[X]trait Field[X]trait Ring[X]trait EuclideanRing[X]Show all
object DifferenceSemiring extends Ops
The companion object for DifferenceSemiring.
For algebraic structures with a division operator.
For algebraic structures with a division operator.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedEuclidean[X]trait EuclideanSemigroup[X]trait OrderedEuclideanSemigroup[X]trait OrderedEuclideanMonoid[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait EuclideanMonoid[X]trait EuclideanRing[X]trait Field[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]Show all
trait EuclideanMonoid[X] extends EuclideanSemigroup[X], MultiplicativeMonoid[X]
For algebraic structures with multiplication, division, and an identity.
For algebraic structures with multiplication, division, and an identity.
Attributes
- Companion
- object
- Supertypes
-
trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait EuclideanSemigroup[X]trait Euclidean[X]trait MultiplicativeSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedEuclideanMonoid[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait EuclideanRing[X]trait Field[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]Show all
object EuclideanMonoid extends Ops
The companion object for EuclideanMonoid.
The companion object for EuclideanMonoid.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
EuclideanMonoid.type
object EuclideanRing extends Ops
The companion object for EuclideanRing.
The companion object for EuclideanRing.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
EuclideanRing.type
trait EuclideanRing[X] extends Ring[X], EuclideanMonoid[X]
For algebraic structures with addition, multiplication, and division.
For algebraic structures with addition, multiplication, and division.
Attributes
- Companion
- object
- Supertypes
-
trait EuclideanMonoid[X]trait EuclideanSemigroup[X]trait Euclidean[X]trait Ring[X]trait DifferenceSemiring[X]trait Semiring[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait Pseudoring[X]trait MultiplicativeSemigroup[X]trait AdditiveGroup[X]trait AdditiveInverse[X]trait DifferenceMonoid[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait DifferenceSemigroup[X]trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
object EuclideanSemigroup extends Ops
The companion object for EuclideanSemigroup.
The companion object for EuclideanSemigroup.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
EuclideanSemigroup.type
trait EuclideanSemigroup[X] extends MultiplicativeSemigroup[X], Euclidean[X]
For algebraic structures with multiplication and division.
For algebraic structures with multiplication and division.
Attributes
- Companion
- object
- Supertypes
-
trait Euclidean[X]trait MultiplicativeSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedEuclideanSemigroup[X]trait OrderedEuclideanMonoid[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait EuclideanMonoid[X]trait EuclideanRing[X]trait Field[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]Show all
trait Field[X] extends EuclideanRing[X], DifferenceSemifield[X]
For algebraic structures with addition, multiplication, and inverses.
For algebraic structures with addition, multiplication, and inverses.
Attributes
- Companion
- object
- Supertypes
-
trait DifferenceSemifield[X]trait Semifield[X]trait MultiplicativeGroup[X]trait MultiplicativeInverse[X]trait EuclideanRing[X]trait EuclideanMonoid[X]trait EuclideanSemigroup[X]trait Euclidean[X]trait Ring[X]trait DifferenceSemiring[X]trait Semiring[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait Pseudoring[X]trait MultiplicativeSemigroup[X]trait AdditiveGroup[X]trait AdditiveInverse[X]trait DifferenceMonoid[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait DifferenceSemigroup[X]trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedField[X]Show all
trait MultiplicativeGroup[X] extends EuclideanMonoid[X], MultiplicativeInverse[X]
For algebraic structures with multiplication and reciprocation.
For algebraic structures with multiplication and reciprocation.
Attributes
- Companion
- object
- Supertypes
-
trait MultiplicativeInverse[X]trait EuclideanMonoid[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait EuclideanSemigroup[X]trait Euclidean[X]trait MultiplicativeSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait OrderedField[X]trait Semifield[X]trait DifferenceSemifield[X]trait Field[X]Show all
object MultiplicativeGroup extends Ops
The companion object for MultiplicativeGroup.
object MultiplicativeIdentity extends Ops
The companion object for MultiplicativeIdentity.
trait MultiplicativeIdentity[X] extends Root[X]
For algebraic structures with a multiplicative identity (one).
For algebraic structures with a multiplicative identity (one).
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedMultiplicativeIdentity[X]trait OrderedMultiplicativeMonoid[X]trait OrderedEuclideanMonoid[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait OrderedSemiring[X]trait OrderedDifferenceSemiring[X]trait OrderedRing[X]trait MultiplicativeMonoid[X]trait EuclideanMonoid[X]trait EuclideanRing[X]trait Field[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]trait Semiring[X]trait DifferenceSemiring[X]trait Ring[X]Show all
object MultiplicativeInverse extends Ops
The companion object for MultiplicativeInverse.
trait MultiplicativeInverse[X] extends Root[X]
For algebraic structures with a multiplicative inverse.
For algebraic structures with a multiplicative inverse.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedMultiplicativeInverse[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait OrderedField[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]trait Field[X]Show all
object MultiplicativeMonoid extends Ops
The companion object for MultiplicativeMonoid.
The companion object for MultiplicativeMonoid.
Attributes
- Companion
- trait
- Supertypes
- Self type
-
MultiplicativeMonoid.type
trait MultiplicativeMonoid[X] extends MultiplicativeSemigroup[X], MultiplicativeIdentity[X]
For algebraic structures with multiplication and an identity.
For algebraic structures with multiplication and an identity.
Attributes
- Companion
- object
- Supertypes
-
trait MultiplicativeIdentity[X]trait MultiplicativeSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedMultiplicativeMonoid[X]trait OrderedEuclideanMonoid[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait OrderedSemiring[X]trait OrderedDifferenceSemiring[X]trait OrderedRing[X]trait EuclideanMonoid[X]trait EuclideanRing[X]trait Field[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]trait Semiring[X]trait DifferenceSemiring[X]trait Ring[X]Show all
object MultiplicativeSemigroup extends Ops
The companion object for MultiplicativeSemigroup.
trait MultiplicativeSemigroup[X] extends Root[X]
For algebraic structures with an associative multiplication operator.
For algebraic structures with an associative multiplication operator.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait OrderedMultiplicativeSemigroup[X]trait OrderedEuclideanSemigroup[X]trait OrderedEuclideanMonoid[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedMultiplicativeGroup[X]trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait OrderedMultiplicativeMonoid[X]trait OrderedSemiring[X]trait OrderedDifferenceSemiring[X]trait OrderedRing[X]trait OrderedPseudoring[X]trait EuclideanSemigroup[X]trait EuclideanMonoid[X]trait EuclideanRing[X]trait Field[X]trait MultiplicativeGroup[X]trait Semifield[X]trait DifferenceSemifield[X]trait MultiplicativeMonoid[X]trait Semiring[X]trait DifferenceSemiring[X]trait Ring[X]trait Pseudoring[X]Show all
object Pseudoring extends Ops
The companion object for Pseudoring.
trait Pseudoring[X] extends AdditiveGroup[X], MultiplicativeSemigroup[X]
For algebraic structures with addition, negation, and multiplication.
For algebraic structures with addition, negation, and multiplication.
Attributes
- Companion
- object
- Supertypes
-
trait MultiplicativeSemigroup[X]trait AdditiveGroup[X]trait AdditiveInverse[X]trait DifferenceMonoid[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait DifferenceSemigroup[X]trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]Show all
trait Ring[X] extends Pseudoring[X], DifferenceSemiring[X]
For algebraic structures with addition, negation, multiplication, and an identity.
For algebraic structures with addition, negation, multiplication, and an identity.
Attributes
- Companion
- object
- Supertypes
-
trait DifferenceSemiring[X]trait Semiring[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait Pseudoring[X]trait MultiplicativeSemigroup[X]trait AdditiveGroup[X]trait AdditiveInverse[X]trait DifferenceMonoid[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait DifferenceSemigroup[X]trait Difference[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait EuclideanRing[X]trait Field[X]Show all
The companion object for Ring.
object Root extends Ops, ArrayIsNormedAdditiveMonoid, ArraySeqIsNormedAdditiveMonoid, EitherIsAdditiveMonoid, IArrayIsNormedAdditiveMonoid, LazyListIsNormedAdditiveMonoid, ListIsNormedAdditiveMonoid, MapIsNormedAdditiveMonoid, OptionIsNormedAdditiveMonoid, OptionIsSemiring, QueueIsNormedAdditiveMonoid, SeqIsNormedAdditiveMonoid, SetIsNormedAdditiveMonoid, SortedMapIsNormedAdditiveMonoid, SortedSetIsNormedAdditiveMonoid, StringIsNormedAdditiveMonoid, TryIsAdditiveMonoid, VectorIsNormedAdditiveMonoid, FunctionIsAdditiveGroup, FunctionIsAdditiveIdentity, FunctionIsAdditiveInverse, FunctionIsAdditiveMonoid, FunctionIsAdditiveSemigroup, FunctionIsDifference, FunctionIsDifferenceMonoid, FunctionIsDifferenceSemifield, FunctionIsDifferenceSemigroup, FunctionIsDifferenceSemiring, FunctionIsEuclidean, FunctionIsEuclideanMonoid, FunctionIsEuclideanRing, FunctionIsEuclideanSemigroup, FunctionIsField, FunctionIsMultiplicativeGroup, FunctionIsMultiplicativeIdentity, FunctionIsMultiplicativeInverse, FunctionIsMultiplicativeMonoid, FunctionIsMultiplicativeSemigroup, FunctionIsPseudoring, FunctionIsRing, FunctionIsSemifield, FunctionIsSemiring, FutureIsAdditiveGroup, FutureIsAdditiveIdentity, FutureIsAdditiveInverse, FutureIsAdditiveMonoid, FutureIsAdditiveSemigroup, FutureIsDifference, FutureIsDifferenceMonoid, FutureIsDifferenceSemifield, FutureIsDifferenceSemigroup, FutureIsDifferenceSemiring, FutureIsEuclidean, FutureIsEuclideanMonoid, FutureIsEuclideanRing, FutureIsEuclideanSemigroup, FutureIsField, FutureIsMultiplicativeGroup, FutureIsMultiplicativeIdentity, FutureIsMultiplicativeInverse, FutureIsMultiplicativeMonoid, FutureIsMultiplicativeSemigroup, FutureIsPseudoring, FutureIsRing, FutureIsSemifield, FutureIsSemiring, BigIntIsOrderedEuclideanRing, BooleanIsOrderedRing, ByteIsOrderedEuclideanRing, DoubleIsOrderedField, FloatIsOrderedField, FractionalIsOrderedField, IntIsOrderedEuclideanRing, IntegralIsOrderedEuclideanRing, LongIsOrderedEuclideanRing, NumericIsOrderedRing, ShortIsOrderedEuclideanRing, EmptyTupleIsOrderedField, NoneIsOrderedField, NothingIsOrderedField, SingletonIsOrderedField, UnitIsOrderedField, TupleIsAdditiveGroup, TupleIsAdditiveIdentity, TupleIsAdditiveInverse, TupleIsAdditiveMonoid, TupleIsAdditiveSemigroup, TupleIsDifference, TupleIsDifferenceMonoid, TupleIsDifferenceSemifield, TupleIsDifferenceSemigroup, TupleIsDifferenceSemiring, TupleIsEuclidean, TupleIsEuclideanMonoid, TupleIsEuclideanRing, TupleIsEuclideanSemigroup, TupleIsField, TupleIsMultiplicativeGroup, TupleIsMultiplicativeIdentity, TupleIsMultiplicativeInverse, TupleIsMultiplicativeMonoid, TupleIsMultiplicativeSemigroup, TupleIsOrderedAdditiveGroup, TupleIsOrderedAdditiveIdentity, TupleIsOrderedAdditiveInverse, TupleIsOrderedAdditiveMonoid, TupleIsOrderedAdditiveSemigroup, TupleIsOrderedDifference, TupleIsOrderedDifferenceMonoid, TupleIsOrderedDifferenceSemifield, TupleIsOrderedDifferenceSemigroup, TupleIsOrderedDifferenceSemiring, TupleIsOrderedEuclidean, TupleIsOrderedEuclideanMonoid, TupleIsOrderedEuclideanRing, TupleIsOrderedEuclideanSemigroup, TupleIsOrderedField, TupleIsOrderedMultiplicativeGroup, TupleIsOrderedMultiplicativeIdentity, TupleIsOrderedMultiplicativeInverse, TupleIsOrderedMultiplicativeMonoid, TupleIsOrderedMultiplicativeSemigroup, TupleIsOrderedPseudoring, TupleIsOrderedRing, TupleIsOrderedSemifield, TupleIsOrderedSemiring, TupleIsPseudoring, TupleIsRing, TupleIsSemifield, TupleIsSemiring
The companion object for Root.
The companion object for Root.
Attributes
- Companion
- trait
- Supertypes
-
trait TupleIsSemiringtrait TupleIsSemifieldtrait TupleIsRingtrait TupleIsPseudoringtrait TupleIsOrderedSemiringtrait TupleIsOrderedSemifieldtrait TupleIsOrderedRingtrait TupleIsOrderedPseudoringtrait TupleIsOrderedFieldtrait TupleIsOrderedEuclideantrait TupleIsOrderedDifferencetrait TupleIsFieldtrait TupleIsEuclideanRingtrait TupleIsEuclideanMonoidtrait TupleIsEuclideantrait TupleIsDifferenceMonoidtrait TupleIsDifferencetrait TupleIsAdditiveSemigrouptrait TupleIsAdditiveMonoidtrait TupleIsAdditiveInversetrait TupleIsAdditiveIdentitytrait TupleIsAdditiveGrouptrait UnitIsOrderedFieldtrait SingletonIsOrderedFieldtrait NothingIsOrderedFieldtrait NoneIsOrderedFieldtrait EmptyTupleIsOrderedFieldtrait NumericIsOrderedRingtrait FractionalIsOrderedFieldtrait FloatIsOrderedFieldtrait DoubleIsOrderedFieldtrait BooleanIsOrderedRingtrait FutureIsSemiringtrait FutureIsSemifieldtrait FutureIsRingtrait FutureIsPseudoringtrait FutureIsFieldtrait FutureIsEuclideanRingtrait FutureIsEuclideanMonoidtrait FutureIsEuclideantrait FutureIsDifferenceMonoidtrait FutureIsDifferencetrait FutureIsAdditiveMonoidtrait FutureIsAdditiveInversetrait FutureIsAdditiveIdentitytrait FutureIsAdditiveGrouptrait FunctionIsSemiringtrait FunctionIsSemifieldtrait FunctionIsRingtrait FunctionIsPseudoringtrait FunctionIsFieldtrait FunctionIsEuclideanRingtrait FunctionIsEuclideantrait FunctionIsDifferencetrait FunctionIsAdditiveMonoidtrait FunctionIsAdditiveGrouptrait TryIsAdditiveMonoidtrait OptionIsSemiringtrait EitherIsAdditiveMonoidtrait Opsclass Objecttrait Matchableclass AnyShow all
- Self type
-
Root.type
The ultimate base trait of all Scalgebra type classes.
The ultimate base trait of all Scalgebra type classes.
This exists as a work-around for some idiosyncrasies of Scala's context parameter resolution.
In particular, all given instances are provided in Root's companion object, which allows them to always be found, even when not imported.
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait Order[X]trait OrderedAdditiveIdentity[X]trait OrderedAdditiveMonoid[X]trait OrderedDifferenceMonoid[X]trait OrderedAdditiveGroup[X]trait OrderedPseudoring[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedField[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait OrderedSemiring[X]trait OrderedSemifield[X]trait OrderedAdditiveInverse[X]trait OrderedAdditiveSemigroup[X]trait OrderedDifferenceSemigroup[X]trait OrderedDifference[X]trait OrderedEuclidean[X]trait OrderedMultiplicativeIdentity[X]trait OrderedMultiplicativeMonoid[X]trait OrderedEuclideanMonoid[X]trait OrderedMultiplicativeGroup[X]trait OrderedMultiplicativeInverse[X]trait OrderedMultiplicativeSemigroup[X]trait OrderedEuclideanSemigroup[X]trait AdditiveIdentity[X]trait AdditiveMonoid[X]trait DifferenceMonoid[X]trait AdditiveGroup[X]trait Pseudoring[X]trait Ring[X]trait EuclideanRing[X]trait Field[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]trait Semiring[X]trait Semifield[X]trait AdditiveInverse[X]trait AdditiveSemigroup[X]trait DifferenceSemigroup[X]trait Difference[X]trait Euclidean[X]trait EuclideanSemigroup[X]trait EuclideanMonoid[X]trait MultiplicativeGroup[X]trait MultiplicativeIdentity[X]trait MultiplicativeMonoid[X]trait MultiplicativeInverse[X]trait MultiplicativeSemigroup[X]Show all
trait Semifield[X] extends Semiring[X], MultiplicativeGroup[X]
For algebraic structures with addition, multiplication, and reciprocation.
For algebraic structures with addition, multiplication, and reciprocation.
Attributes
- Companion
- object
- Supertypes
-
trait MultiplicativeGroup[X]trait MultiplicativeInverse[X]trait EuclideanMonoid[X]trait EuclideanSemigroup[X]trait Euclidean[X]trait Semiring[X]trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait MultiplicativeSemigroup[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedSemifield[X]trait OrderedDifferenceSemifield[X]trait OrderedField[X]trait DifferenceSemifield[X]trait Field[X]Show all
The companion object for Semifield.
trait Semiring[X] extends AdditiveMonoid[X], MultiplicativeMonoid[X]
For algebraic structures with both addition and multiplication.
For algebraic structures with both addition and multiplication.
Attributes
- Companion
- object
- Supertypes
-
trait MultiplicativeMonoid[X]trait MultiplicativeIdentity[X]trait MultiplicativeSemigroup[X]trait AdditiveMonoid[X]trait AdditiveIdentity[X]trait AdditiveSemigroup[X]trait Root[X]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait OrderedSemiring[X]trait OrderedDifferenceSemiring[X]trait OrderedDifferenceSemifield[X]trait OrderedField[X]trait OrderedRing[X]trait OrderedEuclideanRing[X]trait OrderedSemifield[X]trait DifferenceSemiring[X]trait DifferenceSemifield[X]trait Field[X]trait Ring[X]trait EuclideanRing[X]trait Semifield[X]Show all
trait Thing
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
In this article