Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.evidence/com.alecdorrington.scalgebra.evidence.function/FunctionIsSemiring

FunctionIsSemiring

com.alecdorrington.scalgebra.evidence.function.FunctionIsSemiring

trait FunctionIsSemiring

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

Attributes

Experimental: true
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait SemiringBuilder

trait AdditiveMonoidBuilder

trait AdditiveIdentityBuilder

object AdditiveIdentity

trait AdditiveSemigroupBuilder

object AdditiveSemigroup

object AdditiveMonoid

trait MultiplicativeMonoidBuilder

trait MultiplicativeIdentityBuilder

object MultiplicativeIdentity

trait MultiplicativeSemigroupBuilder

object MultiplicativeSemigroup

object MultiplicativeMonoid

object Semiring
Show all

Members list

Givens

In this article

Generated with