Scalgebra
API
Generated with
Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.builder/AdditiveMonoidBuilder

AdditiveMonoidBuilder

com.alecdorrington.scalgebra.builder.AdditiveMonoidBuilder
trait AdditiveMonoidBuilder extends OrderedAdditiveMonoidBuilder, DifferenceMonoidBuilder, SemiringBuilder, StringIsAdditiveMonoid, SeqIsAdditiveMonoid, ListIsAdditiveMonoid, VectorIsAdditiveMonoid, ArrayIsAdditiveMonoid, ArraySeqIsAdditiveMonoid, IArrayIsAdditiveMonoid, LazyListIsAdditiveMonoid, SetIsAdditiveMonoid, SortedSetIsAdditiveMonoid, MapIsAdditiveMonoid, SortedMapIsAdditiveMonoid, OptionIsAdditiveMonoid, TupleIsAdditiveMonoid, QueueIsAdditiveMonoid, EitherIsAdditiveMonoid, TryIsAdditiveMonoid, FutureIsAdditiveMonoid, FunctionIsAdditiveMonoid

Methods for constructing AdditiveMonoid type classes.

Attributes

Experimental
true
Graph
Supertypes
trait RingBuilder
trait FutureIsRing
trait TupleIsRing
trait FieldBuilder
trait TupleIsField
class Object
trait Matchable
class Any
Show all
Known subtypes

Members list

Type members

Inherited classlikes

object given_AdditiveMonoid_String extends AdditiveMonoid[String]

Attributes

Inherited from:
StringIsAdditiveMonoid
Supertypes
trait AdditiveMonoid[String]
trait AdditiveIdentity[String]
trait AdditiveSemigroup[String]
class Object
trait Matchable
class Any
Show all
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_AdditiveGroup_*:[X](using X: AdditiveGroup[X]): given_AdditiveGroup_*:[X]

Attributes

Inherited from:
TupleIsAdditiveGroup
given given_AdditiveGroup_Function[X, Y](using Y: AdditiveGroup[Y]): given_AdditiveGroup_Function[X, Y]

Attributes

Inherited from:
FunctionIsAdditiveGroup
given given_AdditiveGroup_Future[X](using X: AdditiveGroup[X], x$1: ExecutionContext): given_AdditiveGroup_Future[X]

Attributes

Inherited from:
FutureIsAdditiveGroup
given given_AdditiveGroup_X1_X2_X3_X4[X1, X2, X3, X4](using X1: AdditiveGroup[X1], X2: AdditiveGroup[X2], X3: AdditiveGroup[X3], X4: AdditiveGroup[X4]): given_AdditiveGroup_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsAdditiveGroup
given given_AdditiveGroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: AdditiveGroup[X1], X2: AdditiveGroup[X2], X3: AdditiveGroup[X3], X4: AdditiveGroup[X4], X5: AdditiveGroup[X5]): given_AdditiveGroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsAdditiveGroup
given given_AdditiveGroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: AdditiveGroup[X1], X2: AdditiveGroup[X2], X3: AdditiveGroup[X3], X4: AdditiveGroup[X4], X5: AdditiveGroup[X5], X6: AdditiveGroup[X6]): given_AdditiveGroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsAdditiveGroup
given given_AdditiveGroup_X_Y[X, Y](using X: AdditiveGroup[X], Y: AdditiveGroup[Y]): given_AdditiveGroup_X_Y[X, Y]

Attributes

Inherited from:
TupleIsAdditiveGroup
given given_AdditiveGroup_X_Y_Z[X, Y, Z](using X: AdditiveGroup[X], Y: AdditiveGroup[Y], Z: AdditiveGroup[Z]): given_AdditiveGroup_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsAdditiveGroup
given given_AdditiveMonoid_*:[X](using X: AdditiveMonoid[X]): given_AdditiveMonoid_*:[X]

Attributes

Inherited from:
TupleIsAdditiveMonoid
given given_AdditiveMonoid_Array[X : ClassTag]: given_AdditiveMonoid_Array[X]

Attributes

Inherited from:
ArrayIsAdditiveMonoid
given given_AdditiveMonoid_ArraySeq[X : ClassTag]: given_AdditiveMonoid_ArraySeq[X]

Attributes

Inherited from:
ArraySeqIsAdditiveMonoid
given given_AdditiveMonoid_Either[X, Y](using X: AdditiveSemigroup[X], Y: AdditiveMonoid[Y]): given_AdditiveMonoid_Either[X, Y]

Attributes

Inherited from:
EitherIsAdditiveMonoid
given given_AdditiveMonoid_Function[X, Y](using Y: AdditiveMonoid[Y]): given_AdditiveMonoid_Function[X, Y]

Attributes

Inherited from:
FunctionIsAdditiveMonoid
given given_AdditiveMonoid_Future[X](using X: AdditiveMonoid[X], x$1: ExecutionContext): given_AdditiveMonoid_Future[X]

Attributes

Inherited from:
FutureIsAdditiveMonoid
given given_AdditiveMonoid_IArray[X : ClassTag]: given_AdditiveMonoid_IArray[X]

Attributes

Inherited from:
IArrayIsAdditiveMonoid
given given_AdditiveMonoid_LazyList[X]: given_AdditiveMonoid_LazyList[X]

Attributes

Inherited from:
LazyListIsAdditiveMonoid
given given_AdditiveMonoid_List[X]: given_AdditiveMonoid_List[X]

Attributes

Inherited from:
ListIsAdditiveMonoid
given given_AdditiveMonoid_Map[X, Y](using Y: AdditiveSemigroup[Y]): given_AdditiveMonoid_Map[X, Y]

Attributes

Inherited from:
MapIsAdditiveMonoid
given given_AdditiveMonoid_Option[X](using X: AdditiveSemigroup[X]): given_AdditiveMonoid_Option[X]

Attributes

Inherited from:
OptionIsAdditiveMonoid
given given_AdditiveMonoid_Queue[X]: given_AdditiveMonoid_Queue[X]

Attributes

Inherited from:
QueueIsAdditiveMonoid
given given_AdditiveMonoid_Seq[X]: given_AdditiveMonoid_Seq[X]

Attributes

Inherited from:
SeqIsAdditiveMonoid
given given_AdditiveMonoid_Set[X]: given_AdditiveMonoid_Set[X]

Attributes

Inherited from:
SetIsAdditiveMonoid
given given_AdditiveMonoid_SortedMap[X, Y](using evidence$1: Ordering[X], Y: AdditiveSemigroup[Y]): given_AdditiveMonoid_SortedMap[X, Y]

Attributes

Inherited from:
SortedMapIsAdditiveMonoid
given given_AdditiveMonoid_SortedSet[X : Ordering]: given_AdditiveMonoid_SortedSet[X]

Attributes

Inherited from:
SortedSetIsAdditiveMonoid
given given_AdditiveMonoid_Try[X](using X: AdditiveMonoid[X]): given_AdditiveMonoid_Try[X]

Attributes

Inherited from:
TryIsAdditiveMonoid
given given_AdditiveMonoid_Vector[X]: given_AdditiveMonoid_Vector[X]

Attributes

Inherited from:
VectorIsAdditiveMonoid
given given_AdditiveMonoid_X1_X2_X3_X4[X1, X2, X3, X4](using X1: AdditiveMonoid[X1], X2: AdditiveMonoid[X2], X3: AdditiveMonoid[X3], X4: AdditiveMonoid[X4]): given_AdditiveMonoid_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsAdditiveMonoid
given given_AdditiveMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: AdditiveMonoid[X1], X2: AdditiveMonoid[X2], X3: AdditiveMonoid[X3], X4: AdditiveMonoid[X4], X5: AdditiveMonoid[X5]): given_AdditiveMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsAdditiveMonoid
given given_AdditiveMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: AdditiveMonoid[X1], X2: AdditiveMonoid[X2], X3: AdditiveMonoid[X3], X4: AdditiveMonoid[X4], X5: AdditiveMonoid[X5], X6: AdditiveMonoid[X6]): given_AdditiveMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsAdditiveMonoid
given given_AdditiveMonoid_X_Y[X, Y](using X: AdditiveMonoid[X], Y: AdditiveMonoid[Y]): given_AdditiveMonoid_X_Y[X, Y]

Attributes

Inherited from:
TupleIsAdditiveMonoid
given given_AdditiveMonoid_X_Y_Z[X, Y, Z](using X: AdditiveMonoid[X], Y: AdditiveMonoid[Y], Z: AdditiveMonoid[Z]): given_AdditiveMonoid_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsAdditiveMonoid
given given_DifferenceMonoid_*:[X](using X: DifferenceMonoid[X]): given_DifferenceMonoid_*:[X]

Attributes

Inherited from:
TupleIsDifferenceMonoid
given given_DifferenceMonoid_Function[X, Y](using Y: DifferenceMonoid[Y]): given_DifferenceMonoid_Function[X, Y]

Attributes

Inherited from:
FunctionIsDifferenceMonoid
given given_DifferenceMonoid_Future[X](using X: DifferenceMonoid[X], x$1: ExecutionContext): given_DifferenceMonoid_Future[X]

Attributes

Inherited from:
FutureIsDifferenceMonoid
given given_DifferenceMonoid_X1_X2_X3_X4[X1, X2, X3, X4](using X1: DifferenceMonoid[X1], X2: DifferenceMonoid[X2], X3: DifferenceMonoid[X3], X4: DifferenceMonoid[X4]): given_DifferenceMonoid_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsDifferenceMonoid
given given_DifferenceMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: DifferenceMonoid[X1], X2: DifferenceMonoid[X2], X3: DifferenceMonoid[X3], X4: DifferenceMonoid[X4], X5: DifferenceMonoid[X5]): given_DifferenceMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsDifferenceMonoid
given given_DifferenceMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: DifferenceMonoid[X1], X2: DifferenceMonoid[X2], X3: DifferenceMonoid[X3], X4: DifferenceMonoid[X4], X5: DifferenceMonoid[X5], X6: DifferenceMonoid[X6]): given_DifferenceMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsDifferenceMonoid
given given_DifferenceMonoid_X_Y[X, Y](using X: DifferenceMonoid[X], Y: DifferenceMonoid[Y]): given_DifferenceMonoid_X_Y[X, Y]

Attributes

Inherited from:
TupleIsDifferenceMonoid
given given_DifferenceMonoid_X_Y_Z[X, Y, Z](using X: DifferenceMonoid[X], Y: DifferenceMonoid[Y], Z: DifferenceMonoid[Z]): given_DifferenceMonoid_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsDifferenceMonoid
given given_DifferenceSemifield_*:[X](using X: DifferenceSemifield[X]): given_DifferenceSemifield_*:[X]

Attributes

Inherited from:
TupleIsDifferenceSemifield
given given_DifferenceSemifield_Function[X, Y](using Y: DifferenceSemifield[Y]): given_DifferenceSemifield_Function[X, Y]

Attributes

Inherited from:
FunctionIsDifferenceSemifield
given given_DifferenceSemifield_Future[X](using X: DifferenceSemifield[X], x$1: ExecutionContext): given_DifferenceSemifield_Future[X]

Attributes

Inherited from:
FutureIsDifferenceSemifield
given given_DifferenceSemiring_*:[X](using X: DifferenceSemiring[X]): given_DifferenceSemiring_*:[X]

Attributes

Inherited from:
TupleIsDifferenceSemiring
given given_DifferenceSemiring_Function[X, Y](using Y: DifferenceSemiring[Y]): given_DifferenceSemiring_Function[X, Y]

Attributes

Inherited from:
FunctionIsDifferenceSemiring
given given_DifferenceSemiring_Future[X](using X: DifferenceSemiring[X], x$1: ExecutionContext): given_DifferenceSemiring_Future[X]

Attributes

Inherited from:
FutureIsDifferenceSemiring
given given_DifferenceSemiring_X1_X2_X3_X4[X1, X2, X3, X4](using X1: DifferenceSemiring[X1], X2: DifferenceSemiring[X2], X3: DifferenceSemiring[X3], X4: DifferenceSemiring[X4]): given_DifferenceSemiring_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsDifferenceSemiring
given given_DifferenceSemiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: DifferenceSemiring[X1], X2: DifferenceSemiring[X2], X3: DifferenceSemiring[X3], X4: DifferenceSemiring[X4], X5: DifferenceSemiring[X5]): given_DifferenceSemiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsDifferenceSemiring
given given_DifferenceSemiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: DifferenceSemiring[X1], X2: DifferenceSemiring[X2], X3: DifferenceSemiring[X3], X4: DifferenceSemiring[X4], X5: DifferenceSemiring[X5], X6: DifferenceSemiring[X6]): given_DifferenceSemiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsDifferenceSemiring
given given_DifferenceSemiring_X_Y[X, Y](using X: DifferenceSemiring[X], Y: DifferenceSemiring[Y]): given_DifferenceSemiring_X_Y[X, Y]

Attributes

Inherited from:
TupleIsDifferenceSemiring
given given_DifferenceSemiring_X_Y_Z[X, Y, Z](using X: DifferenceSemiring[X], Y: DifferenceSemiring[Y], Z: DifferenceSemiring[Z]): given_DifferenceSemiring_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsDifferenceSemiring
given given_EuclideanRing_*:[X](using X: EuclideanRing[X]): given_EuclideanRing_*:[X]

Attributes

Inherited from:
TupleIsEuclideanRing
given given_EuclideanRing_Function[X, Y](using Y: EuclideanRing[Y]): given_EuclideanRing_Function[X, Y]

Attributes

Inherited from:
FunctionIsEuclideanRing
given given_EuclideanRing_Future[X](using X: EuclideanRing[X], x$1: ExecutionContext): given_EuclideanRing_Future[X]

Attributes

Inherited from:
FutureIsEuclideanRing
given given_EuclideanRing_X1_X2_X3_X4[X1, X2, X3, X4](using X1: EuclideanRing[X1], X2: EuclideanRing[X2], X3: EuclideanRing[X3], X4: EuclideanRing[X4]): given_EuclideanRing_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsEuclideanRing
given given_EuclideanRing_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: EuclideanRing[X1], X2: EuclideanRing[X2], X3: EuclideanRing[X3], X4: EuclideanRing[X4], X5: EuclideanRing[X5]): given_EuclideanRing_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsEuclideanRing
given given_EuclideanRing_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: EuclideanRing[X1], X2: EuclideanRing[X2], X3: EuclideanRing[X3], X4: EuclideanRing[X4], X5: EuclideanRing[X5], X6: EuclideanRing[X6]): given_EuclideanRing_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsEuclideanRing
given given_EuclideanRing_X_Y[X, Y](using X: EuclideanRing[X], Y: EuclideanRing[Y]): given_EuclideanRing_X_Y[X, Y]

Attributes

Inherited from:
TupleIsEuclideanRing
given given_EuclideanRing_X_Y_Z[X, Y, Z](using X: EuclideanRing[X], Y: EuclideanRing[Y], Z: EuclideanRing[Z]): given_EuclideanRing_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsEuclideanRing
given given_Field_*:[X](using X: Field[X]): given_Field_*:[X]

Attributes

Inherited from:
TupleIsField
given given_Field_Function[X, Y](using Y: Field[Y]): given_Field_Function[X, Y]

Attributes

Inherited from:
FunctionIsField
given given_Field_Future[X](using X: Field[X], x$1: ExecutionContext): given_Field_Future[X]

Attributes

Inherited from:
FutureIsField
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_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
given given_Ring_*:[X](using X: Ring[X]): given_Ring_*:[X]

Attributes

Inherited from:
TupleIsRing
given given_Ring_Function[X, Y](using Y: Ring[Y]): given_Ring_Function[X, Y]

Attributes

Inherited from:
FunctionIsRing
given given_Ring_Future[X](using X: Ring[X], x$1: ExecutionContext): given_Ring_Future[X]

Attributes

Inherited from:
FutureIsRing
given given_Ring_X1_X2_X3_X4[X1, X2, X3, X4](using X1: Ring[X1], X2: Ring[X2], X3: Ring[X3], X4: Ring[X4]): given_Ring_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsRing
given given_Ring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: Ring[X1], X2: Ring[X2], X3: Ring[X3], X4: Ring[X4], X5: Ring[X5]): given_Ring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsRing
given given_Ring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: Ring[X1], X2: Ring[X2], X3: Ring[X3], X4: Ring[X4], X5: Ring[X5], X6: Ring[X6]): given_Ring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsRing
given given_Ring_X_Y[X, Y](using X: Ring[X], Y: Ring[Y]): given_Ring_X_Y[X, Y]

Attributes

Inherited from:
TupleIsRing
given given_Ring_X_Y_Z[X, Y, Z](using X: Ring[X], Y: Ring[Y], Z: Ring[Z]): given_Ring_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsRing
given given_Semifield_*:[X](using X: Semifield[X]): given_Semifield_*:[X]

Attributes

Inherited from:
TupleIsSemifield
given given_Semifield_Function[X, Y](using Y: Semifield[Y]): given_Semifield_Function[X, Y]

Attributes

Inherited from:
FunctionIsSemifield
given given_Semifield_Future[X](using X: Semifield[X], x$1: ExecutionContext): given_Semifield_Future[X]

Attributes

Inherited from:
FutureIsSemifield
given given_Semiring_*:[X](using X: Semiring[X]): given_Semiring_*:[X]

Attributes

Inherited from:
TupleIsSemiring
given given_Semiring_Function[X, Y](using Y: Semiring[Y]): given_Semiring_Function[X, Y]

Attributes

Inherited from:
FunctionIsSemiring
given given_Semiring_Future[X](using X: Semiring[X], x$1: ExecutionContext): given_Semiring_Future[X]

Attributes

Inherited from:
FutureIsSemiring
given given_Semiring_Option[X](using X: Semiring[X]): given_Semiring_Option[X]

Attributes

Inherited from:
OptionIsSemiring
given given_Semiring_X1_X2_X3_X4[X1, X2, X3, X4](using X1: Semiring[X1], X2: Semiring[X2], X3: Semiring[X3], X4: Semiring[X4]): given_Semiring_X1_X2_X3_X4[X1, X2, X3, X4]

Attributes

Inherited from:
TupleIsSemiring
given given_Semiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: Semiring[X1], X2: Semiring[X2], X3: Semiring[X3], X4: Semiring[X4], X5: Semiring[X5]): given_Semiring_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]

Attributes

Inherited from:
TupleIsSemiring
given given_Semiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: Semiring[X1], X2: Semiring[X2], X3: Semiring[X3], X4: Semiring[X4], X5: Semiring[X5], X6: Semiring[X6]): given_Semiring_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]

Attributes

Inherited from:
TupleIsSemiring
given given_Semiring_X_Y[X, Y](using X: Semiring[X], Y: Semiring[Y]): given_Semiring_X_Y[X, Y]

Attributes

Inherited from:
TupleIsSemiring
given given_Semiring_X_Y_Z[X, Y, Z](using X: Semiring[X], Y: Semiring[Y], Z: Semiring[Z]): given_Semiring_X_Y_Z[X, Y, Z]

Attributes

Inherited from:
TupleIsSemiring
Generated with