Scalgebra
API
Generated with
Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.ordered/com.alecdorrington.scalgebra.ordered.builder/OrderedAdditiveSemigroupBuilder

OrderedAdditiveSemigroupBuilder

com.alecdorrington.scalgebra.ordered.builder.OrderedAdditiveSemigroupBuilder
trait OrderedAdditiveSemigroupBuilder extends OrderedAdditiveMonoidBuilder, TupleIsOrderedAdditiveSemigroup

Methods for constructing OrderedAdditiveSemigroup type classes.

Attributes

Experimental
true
Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Known subtypes

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
object given_OrderedRing_Boolean extends OrderedRing[Boolean]

Attributes

Inherited from:
BooleanIsOrderedRing
Supertypes
trait OrderedRing[Boolean]
trait OrderedDifferenceSemiring[Boolean]
trait OrderedSemiring[Boolean]
trait OrderedAdditiveGroup[Boolean]
trait OrderedAdditiveInverse[Boolean]
trait OrderedDifferenceMonoid[Boolean]
trait OrderedAdditiveMonoid[Boolean]
trait OrderedAdditiveIdentity[Boolean]
trait OrderedAdditiveSemigroup[Boolean]
trait Ordering[Boolean]
trait PartialOrdering[Boolean]
trait Equiv[Boolean]
trait Serializable
trait Comparator[Boolean]
trait Ring[Boolean]
trait DifferenceSemiring[Boolean]
trait Semiring[Boolean]
trait MultiplicativeMonoid[Boolean]
trait MultiplicativeIdentity[Boolean]
trait MultiplicativeSemigroup[Boolean]
trait AdditiveGroup[Boolean]
trait AdditiveInverse[Boolean]
trait DifferenceMonoid[Boolean]
trait AdditiveMonoid[Boolean]
trait AdditiveIdentity[Boolean]
trait AdditiveSemigroup[Boolean]
class Object
trait Matchable
class Any
Show all

Givens

Inherited givens

given given_OrderedAdditiveGroup_*:[X](using X: OrderedAdditiveGroup[X]): given_OrderedAdditiveGroup_*:[X]

Attributes

Inherited from:
TupleIsOrderedAdditiveGroup
given given_OrderedAdditiveGroup_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedAdditiveGroup[X1], X2: OrderedAdditiveGroup[X2], X3: OrderedAdditiveGroup[X3], X4: OrderedAdditiveGroup[X4]): given_OrderedAdditiveGroup_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedAdditiveGroup
given given_OrderedAdditiveGroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedAdditiveGroup[X1], X2: OrderedAdditiveGroup[X2], X3: OrderedAdditiveGroup[X3], X4: OrderedAdditiveGroup[X4], X5: OrderedAdditiveGroup[X5]): given_OrderedAdditiveGroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedAdditiveGroup
given given_OrderedAdditiveGroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedAdditiveGroup[X1], X2: OrderedAdditiveGroup[X2], X3: OrderedAdditiveGroup[X3], X4: OrderedAdditiveGroup[X4], X5: OrderedAdditiveGroup[X5], X6: OrderedAdditiveGroup[X6]): given_OrderedAdditiveGroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedAdditiveGroup
given given_OrderedAdditiveGroup_X_Y[X, Y](using X: OrderedAdditiveGroup[X], Y: OrderedAdditiveGroup[Y]): given_OrderedAdditiveGroup_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedAdditiveGroup
given given_OrderedAdditiveGroup_X_Y_Z[X, Y, Z](using X: OrderedAdditiveGroup[X], Y: OrderedAdditiveGroup[Y], Z: OrderedAdditiveGroup[Z]): given_OrderedAdditiveGroup_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedAdditiveGroup
given given_OrderedAdditiveMonoid_*:[X](using X: OrderedAdditiveMonoid[X]): given_OrderedAdditiveMonoid_*:[X]

Attributes

Inherited from:
TupleIsOrderedAdditiveMonoid
given given_OrderedAdditiveMonoid_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedAdditiveMonoid[X1], X2: OrderedAdditiveMonoid[X2], X3: OrderedAdditiveMonoid[X3], X4: OrderedAdditiveMonoid[X4]): given_OrderedAdditiveMonoid_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedAdditiveMonoid
given given_OrderedAdditiveMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedAdditiveMonoid[X1], X2: OrderedAdditiveMonoid[X2], X3: OrderedAdditiveMonoid[X3], X4: OrderedAdditiveMonoid[X4], X5: OrderedAdditiveMonoid[X5]): given_OrderedAdditiveMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedAdditiveMonoid
given given_OrderedAdditiveMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedAdditiveMonoid[X1], X2: OrderedAdditiveMonoid[X2], X3: OrderedAdditiveMonoid[X3], X4: OrderedAdditiveMonoid[X4], X5: OrderedAdditiveMonoid[X5], X6: OrderedAdditiveMonoid[X6]): given_OrderedAdditiveMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedAdditiveMonoid
given given_OrderedAdditiveMonoid_X_Y[X, Y](using X: OrderedAdditiveMonoid[X], Y: OrderedAdditiveMonoid[Y]): given_OrderedAdditiveMonoid_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedAdditiveMonoid
given given_OrderedAdditiveMonoid_X_Y_Z[X, Y, Z](using X: OrderedAdditiveMonoid[X], Y: OrderedAdditiveMonoid[Y], Z: OrderedAdditiveMonoid[Z]): given_OrderedAdditiveMonoid_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedAdditiveMonoid
given given_OrderedAdditiveSemigroup_*:[X](using X: OrderedAdditiveSemigroup[X]): given_OrderedAdditiveSemigroup_*:[X]

Attributes

Inherited from:
TupleIsOrderedAdditiveSemigroup
given given_OrderedAdditiveSemigroup_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedAdditiveSemigroup[X1], X2: OrderedAdditiveSemigroup[X2], X3: OrderedAdditiveSemigroup[X3], X4: OrderedAdditiveSemigroup[X4]): given_OrderedAdditiveSemigroup_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedAdditiveSemigroup
given given_OrderedAdditiveSemigroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedAdditiveSemigroup[X1], X2: OrderedAdditiveSemigroup[X2], X3: OrderedAdditiveSemigroup[X3], X4: OrderedAdditiveSemigroup[X4], X5: OrderedAdditiveSemigroup[X5]): given_OrderedAdditiveSemigroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedAdditiveSemigroup
given given_OrderedAdditiveSemigroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedAdditiveSemigroup[X1], X2: OrderedAdditiveSemigroup[X2], X3: OrderedAdditiveSemigroup[X3], X4: OrderedAdditiveSemigroup[X4], X5: OrderedAdditiveSemigroup[X5], X6: OrderedAdditiveSemigroup[X6]): given_OrderedAdditiveSemigroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedAdditiveSemigroup
given given_OrderedAdditiveSemigroup_X_Y[X, Y](using X: OrderedAdditiveSemigroup[X], Y: OrderedAdditiveSemigroup[Y]): given_OrderedAdditiveSemigroup_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedAdditiveSemigroup
given given_OrderedAdditiveSemigroup_X_Y_Z[X, Y, Z](using X: OrderedAdditiveSemigroup[X], Y: OrderedAdditiveSemigroup[Y], Z: OrderedAdditiveSemigroup[Z]): given_OrderedAdditiveSemigroup_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedAdditiveSemigroup
given given_OrderedDifferenceMonoid_*:[X](using X: OrderedDifferenceMonoid[X]): given_OrderedDifferenceMonoid_*:[X]

Attributes

Inherited from:
TupleIsOrderedDifferenceMonoid
given given_OrderedDifferenceMonoid_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedDifferenceMonoid[X1], X2: OrderedDifferenceMonoid[X2], X3: OrderedDifferenceMonoid[X3], X4: OrderedDifferenceMonoid[X4]): given_OrderedDifferenceMonoid_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedDifferenceMonoid
given given_OrderedDifferenceMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedDifferenceMonoid[X1], X2: OrderedDifferenceMonoid[X2], X3: OrderedDifferenceMonoid[X3], X4: OrderedDifferenceMonoid[X4], X5: OrderedDifferenceMonoid[X5]): given_OrderedDifferenceMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedDifferenceMonoid
given given_OrderedDifferenceMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedDifferenceMonoid[X1], X2: OrderedDifferenceMonoid[X2], X3: OrderedDifferenceMonoid[X3], X4: OrderedDifferenceMonoid[X4], X5: OrderedDifferenceMonoid[X5], X6: OrderedDifferenceMonoid[X6]): given_OrderedDifferenceMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedDifferenceMonoid
given given_OrderedDifferenceMonoid_X_Y[X, Y](using X: OrderedDifferenceMonoid[X], Y: OrderedDifferenceMonoid[Y]): given_OrderedDifferenceMonoid_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedDifferenceMonoid
given given_OrderedDifferenceMonoid_X_Y_Z[X, Y, Z](using X: OrderedDifferenceMonoid[X], Y: OrderedDifferenceMonoid[Y], Z: OrderedDifferenceMonoid[Z]): given_OrderedDifferenceMonoid_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedDifferenceMonoid
given given_OrderedDifferenceSemifield_*:[X](using X: OrderedDifferenceSemifield[X]): given_OrderedDifferenceSemifield_*:[X]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemifield
given given_OrderedDifferenceSemiring_*:[X](using X: OrderedDifferenceSemiring[X]): given_OrderedDifferenceSemiring_*:[X]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemiring
given given_OrderedDifferenceSemiring_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedDifferenceSemiring[X1], X2: OrderedDifferenceSemiring[X2], X3: OrderedDifferenceSemiring[X3], X4: OrderedDifferenceSemiring[X4]): given_OrderedDifferenceSemiring_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemiring
given given_OrderedDifferenceSemiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedDifferenceSemiring[X1], X2: OrderedDifferenceSemiring[X2], X3: OrderedDifferenceSemiring[X3], X4: OrderedDifferenceSemiring[X4], X5: OrderedDifferenceSemiring[X5]): given_OrderedDifferenceSemiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemiring
given given_OrderedDifferenceSemiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedDifferenceSemiring[X1], X2: OrderedDifferenceSemiring[X2], X3: OrderedDifferenceSemiring[X3], X4: OrderedDifferenceSemiring[X4], X5: OrderedDifferenceSemiring[X5], X6: OrderedDifferenceSemiring[X6]): given_OrderedDifferenceSemiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemiring
given given_OrderedDifferenceSemiring_X_Y[X, Y](using X: OrderedDifferenceSemiring[X], Y: OrderedDifferenceSemiring[Y]): given_OrderedDifferenceSemiring_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemiring
given given_OrderedDifferenceSemiring_X_Y_Z[X, Y, Z](using X: OrderedDifferenceSemiring[X], Y: OrderedDifferenceSemiring[Y], Z: OrderedDifferenceSemiring[Z]): given_OrderedDifferenceSemiring_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedDifferenceSemiring
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_OrderedRing_*:[X](using X: OrderedRing[X]): given_OrderedRing_*:[X]

Attributes

Inherited from:
TupleIsOrderedRing
given given_OrderedRing_A[A](using num: Numeric[A]): given_OrderedRing_A[A]

Attributes

Inherited from:
NumericIsOrderedRing
given given_OrderedRing_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedRing[X1], X2: OrderedRing[X2], X3: OrderedRing[X3], X4: OrderedRing[X4]): given_OrderedRing_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedRing
given given_OrderedRing_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedRing[X1], X2: OrderedRing[X2], X3: OrderedRing[X3], X4: OrderedRing[X4], X5: OrderedRing[X5]): given_OrderedRing_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedRing
given given_OrderedRing_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedRing[X1], X2: OrderedRing[X2], X3: OrderedRing[X3], X4: OrderedRing[X4], X5: OrderedRing[X5], X6: OrderedRing[X6]): given_OrderedRing_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedRing
given given_OrderedRing_X_Y[X, Y](using X: OrderedRing[X], Y: OrderedRing[Y]): given_OrderedRing_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedRing
given given_OrderedRing_X_Y_Z[X, Y, Z](using X: OrderedRing[X], Y: OrderedRing[Y], Z: OrderedRing[Z]): given_OrderedRing_X_Y_Z[X, Y, Z]

Attributes

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

Attributes

Inherited from:
TupleIsOrderedSemifield
given given_OrderedSemiring_*:[X](using X: OrderedSemiring[X]): given_OrderedSemiring_*:[X]

Attributes

Inherited from:
TupleIsOrderedSemiring
given given_OrderedSemiring_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedSemiring[X1], X2: OrderedSemiring[X2], X3: OrderedSemiring[X3], X4: OrderedSemiring[X4]): given_OrderedSemiring_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsOrderedSemiring
given given_OrderedSemiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedSemiring[X1], X2: OrderedSemiring[X2], X3: OrderedSemiring[X3], X4: OrderedSemiring[X4], X5: OrderedSemiring[X5]): given_OrderedSemiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsOrderedSemiring
given given_OrderedSemiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedSemiring[X1], X2: OrderedSemiring[X2], X3: OrderedSemiring[X3], X4: OrderedSemiring[X4], X5: OrderedSemiring[X5], X6: OrderedSemiring[X6]): given_OrderedSemiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsOrderedSemiring
given given_OrderedSemiring_X_Y[X, Y](using X: OrderedSemiring[X], Y: OrderedSemiring[Y]): given_OrderedSemiring_X_Y[X, Y]

Attributes

Inherited from:
TupleIsOrderedSemiring
given given_OrderedSemiring_X_Y_Z[X, Y, Z](using X: OrderedSemiring[X], Y: OrderedSemiring[Y], Z: OrderedSemiring[Z]): given_OrderedSemiring_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsOrderedSemiring
Generated with