From caaa7fa111a2d32cbde7d79d960e09bc136494db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=A2=A6=E5=A2=83=E8=BF=B7=E7=A6=BB?= Date: Sun, 16 May 2021 21:12:24 +0800 Subject: [PATCH] add AdditiveCollection of Seq --- core/src/main/scala/shapeless/sized.scala | 3 +++ 1 file changed, 3 insertions(+) diff --git a/core/src/main/scala/shapeless/sized.scala b/core/src/main/scala/shapeless/sized.scala index 159384c29..3915d25c2 100644 --- a/core/src/main/scala/shapeless/sized.scala +++ b/core/src/main/scala/shapeless/sized.scala @@ -238,6 +238,9 @@ object AdditiveCollection extends AdditiveCollectionVersionSpecific { implicit def defaultAdditiveCollection[T]: AdditiveCollection[collection.immutable.IndexedSeq[T]] = instance.asInstanceOf[AdditiveCollection[collection.immutable.IndexedSeq[T]]] + + implicit def seqAdditiveCollection[T]: AdditiveCollection[Seq[T]] = + instance.asInstanceOf[AdditiveCollection[Seq[T]]] } class DefaultToIndexedSeq[CC[_]]