Scalgebra
API
Generated with
Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.evidence/com.alecdorrington.scalgebra.evidence.tuple/TupleIsOrderedMultiplicativeMonoid

TupleIsOrderedMultiplicativeMonoid

com.alecdorrington.scalgebra.evidence.tuple.TupleIsOrderedMultiplicativeMonoid
trait TupleIsOrderedMultiplicativeMonoid

Evidence that tuples of any arity up to 6 form an OrderedMultiplicativeMonoid under componentwise multiplication and lexicographic ordering, provided all element types have OrderedMultiplicativeMonoid instances.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root

Members list

Givens

Givens

given given_OrderedMultiplicativeMonoid_*:[X](using X: OrderedMultiplicativeMonoid[X]): given_OrderedMultiplicativeMonoid_*:[X]
given given_OrderedMultiplicativeMonoid_X1_X2_X3_X4[X1, X2, X3, X4](using X1: OrderedMultiplicativeMonoid[X1], X2: OrderedMultiplicativeMonoid[X2], X3: OrderedMultiplicativeMonoid[X3], X4: OrderedMultiplicativeMonoid[X4]): given_OrderedMultiplicativeMonoid_X1_X2_X3_X4[X1, X2, X3, X4]
given given_OrderedMultiplicativeMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: OrderedMultiplicativeMonoid[X1], X2: OrderedMultiplicativeMonoid[X2], X3: OrderedMultiplicativeMonoid[X3], X4: OrderedMultiplicativeMonoid[X4], X5: OrderedMultiplicativeMonoid[X5]): given_OrderedMultiplicativeMonoid_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]
given given_OrderedMultiplicativeMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: OrderedMultiplicativeMonoid[X1], X2: OrderedMultiplicativeMonoid[X2], X3: OrderedMultiplicativeMonoid[X3], X4: OrderedMultiplicativeMonoid[X4], X5: OrderedMultiplicativeMonoid[X5], X6: OrderedMultiplicativeMonoid[X6]): given_OrderedMultiplicativeMonoid_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]
given given_OrderedMultiplicativeMonoid_X_Y[X, Y](using X: OrderedMultiplicativeMonoid[X], Y: OrderedMultiplicativeMonoid[Y]): given_OrderedMultiplicativeMonoid_X_Y[X, Y]
given given_OrderedMultiplicativeMonoid_X_Y_Z[X, Y, Z](using X: OrderedMultiplicativeMonoid[X], Y: OrderedMultiplicativeMonoid[Y], Z: OrderedMultiplicativeMonoid[Z]): given_OrderedMultiplicativeMonoid_X_Y_Z[X, Y, Z]
Generated with