ArraySeqIsNormedAdditiveMonoid
com.alecdorrington.scalgebra.evidence.collection.ArraySeqIsNormedAdditiveMonoid
Evidence that ArraySeq forms a NormedAdditiveMonoid under concatenation, with norm given by the sequence length.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object Root
Members list
In this article