Scalgebra
API
Generated with
Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.evidence/com.alecdorrington.scalgebra.evidence.collection/OptionIsNormedAdditiveMonoid

OptionIsNormedAdditiveMonoid

com.alecdorrington.scalgebra.evidence.collection.OptionIsNormedAdditiveMonoid
trait OptionIsNormedAdditiveMonoid

Evidence that Option forms a NormedAdditiveMonoid by lifting an AdditiveSemigroup, with norm given by the number of elements (0 for None, 1 for Some).

Attributes

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

Members list

Givens

Givens

given given_NormedAdditiveMonoid_Option_Int[X](using X: AdditiveSemigroup[X]): given_NormedAdditiveMonoid_Option_Int[X]
Generated with