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

TupleIsEuclideanSemigroup

com.alecdorrington.scalgebra.evidence.tuple.TupleIsEuclideanSemigroup
trait TupleIsEuclideanSemigroup

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

Attributes

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

Members list

Givens

Givens

given given_EuclideanSemigroup_*:[X](using X: EuclideanSemigroup[X]): given_EuclideanSemigroup_*:[X]
given given_EuclideanSemigroup_X1_X2_X3_X4[X1, X2, X3, X4](using X1: EuclideanSemigroup[X1], X2: EuclideanSemigroup[X2], X3: EuclideanSemigroup[X3], X4: EuclideanSemigroup[X4]): given_EuclideanSemigroup_X1_X2_X3_X4[X1, X2, X3, X4]
given given_EuclideanSemigroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5](using X1: EuclideanSemigroup[X1], X2: EuclideanSemigroup[X2], X3: EuclideanSemigroup[X3], X4: EuclideanSemigroup[X4], X5: EuclideanSemigroup[X5]): given_EuclideanSemigroup_X1_X2_X3_X4_X5[X1, X2, X3, X4, X5]
given given_EuclideanSemigroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6](using X1: EuclideanSemigroup[X1], X2: EuclideanSemigroup[X2], X3: EuclideanSemigroup[X3], X4: EuclideanSemigroup[X4], X5: EuclideanSemigroup[X5], X6: EuclideanSemigroup[X6]): given_EuclideanSemigroup_X1_X2_X3_X4_X5_X6[X1, X2, X3, X4, X5, X6]
given given_EuclideanSemigroup_X_Y[X, Y](using X: EuclideanSemigroup[X], Y: EuclideanSemigroup[Y]): given_EuclideanSemigroup_X_Y[X, Y]
given given_EuclideanSemigroup_X_Y_Z[X, Y, Z](using X: EuclideanSemigroup[X], Y: EuclideanSemigroup[Y], Z: EuclideanSemigroup[Z]): given_EuclideanSemigroup_X_Y_Z[X, Y, Z]
Generated with