[base] Implement id versions of the FromSplices Repeateds

Author: rayrobdod

Base/src/main/scala/typeclass/Repeated.scala

@@ -145,6 +145,37 @@ object Repeated extends VersionSpecificRepeated with LowPrioRepeated {
 		)
 	}
 
+	/**
+	 * @param newAccumulator a Function0 that creates a new Builder
+	 * @version 0.1.1
+	 */
+	def idFromSplicesUsingBuilder[A, Z](
+		newAccumulator: () => Builder[A, Z],
+	): Repeated[SplicePiece[Id, A], Z] = {
+		final class FromSplicesUsingBuilder extends Repeated[SplicePiece[Id, A], Z] {
+			type Acc = Builder[A, Z]
+			def init(): Acc = newAccumulator()
+			def append(acc: Acc, piece: SplicePiece[Id, A]): Acc = {
+				piece match {
+					case SplicePiece.Zero() =>
+						acc
+					case SplicePiece.One(elem) =>
+						acc.+=(elem)
+					case SplicePiece.Many(iter) =>
+						acc.++=(iter)
+				}
+			}
+			def result(acc: Acc): Z = acc.result()
+		}
+		new FromSplicesUsingBuilder()
+	}
+
+	/**
+	 * @version 0.1.1
+	 */
+	implicit def idFromSplicesToList[A]: Repeated[SplicePiece[Id, A], List[A]] =
+		idFromSplicesUsingBuilder(() => List.newBuilder)
+
 	/**
 	 * @version 0.1.1
 	 */

Base/src/test/scala/typeclass/RepeatedTest.scala

@@ -19,3 +19,27 @@ final class IdConcatenateString extends BaseInterpolatorSuite {
 		assertParseSuccess(dut, ("ab" :: "cd" :: "ef" :: Nil, "12" :: "34" :: Nil), "ab12cd34ef")
 	}
 }
+
+final class IdFromSplicesToList extends BaseInterpolatorSuite {
+	import Repeated.SplicePiece
+	val dut = (ofType[SplicePiece[Id, Int]])
+		.repeat()(using Repeated.idFromSplicesToList)
+		.andThen(end)
+
+	test ("Nil") {
+		assertParseSuccess(dut, ("" :: Nil, Nil), Nil)
+	}
+	test ("Zero") {
+		assertParseSuccess(dut, ("" :: "" :: Nil, SplicePiece.Zero[Id]() :: Nil), Nil)
+	}
+	test ("Scalar") {
+		assertParseSuccess(dut, ("" :: "" :: Nil, SplicePiece.One[Id, Int](42) :: Nil), 42 :: Nil)
+	}
+	test ("Splice") {
+		assertParseSuccess(dut, ("" :: "" :: Nil, SplicePiece.Many[Id, Int](3 to 6) :: Nil), 3 :: 4 :: 5 :: 6 :: Nil)
+	}
+	test ("Mix") {
+		assertParseSuccess(dut, ("" :: "" :: "" :: "" :: Nil,
+			SplicePiece.Many[Id, Int](4 to 2 by -1) :: SplicePiece.Zero[Id]() :: SplicePiece.One[Id, Int](151) :: Nil), 4 :: 3 :: 2 :: 151 :: Nil)
+	}
+}