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

TupleIsAdditiveMonoid

com.alecdorrington.scalgebra.evidence.tuple.TupleIsAdditiveMonoid
trait TupleIsAdditiveMonoid

Evidence that tuples of any arity up to 6 form an AdditiveMonoid under componentwise addition, provided all element types have AdditiveMonoid instances.

Attributes

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

Members list

Givens

Givens

given given_AdditiveMonoid_*:[X](using X: AdditiveMonoid[X]): given_AdditiveMonoid_*:[X]
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]
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]
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]
given given_AdditiveMonoid_X_Y[X, Y](using X: AdditiveMonoid[X], Y: AdditiveMonoid[Y]): given_AdditiveMonoid_X_Y[X, Y]
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]
Generated with