FunctionIsMultiplicativeSemigroup

com.alecdorrington.scalgebra.evidence.function.FunctionIsMultiplicativeSemigroup

Evidence that single-argument functions form a MultiplicativeSemigroup under pointwise multiplication, provided the return type has a MultiplicativeSemigroup instance.

Attributes

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

Members list

Givens

Givens

given given_MultiplicativeSemigroup_Function[X, Y](using Y: MultiplicativeSemigroup[Y]): given_MultiplicativeSemigroup_Function[X, Y]