ArraySeqIsAdditiveMonoid

com.alecdorrington.scalgebra.evidence.collection.ArraySeqIsAdditiveMonoid

Evidence that ArraySeq forms an AdditiveMonoid under concatenation.

Attributes

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

Members list

Givens

Givens

given given_AdditiveMonoid_ArraySeq[X : ClassTag]: given_AdditiveMonoid_ArraySeq[X]