TupleIsMultiplicativeGroup

com.alecdorrington.scalgebra.evidence.tuple.TupleIsMultiplicativeGroup

Evidence that tuples of arity 0 and 1 form a MultiplicativeGroup under componentwise reciprocation and multiplication, provided the element type (if any) has a MultiplicativeGroup instance.

Attributes

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

Members list

Givens

Givens

given given_MultiplicativeGroup_*:[X](using X: MultiplicativeGroup[X]): given_MultiplicativeGroup_*:[X]