SeqIsNormedAdditiveMonoid
com.alecdorrington.scalgebra.evidence.collection.SeqIsNormedAdditiveMonoid
Evidence that Seq 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