From ccdd952d64115e4bf4f82437a49a1c852905b483 Mon Sep 17 00:00:00 2001 From: takapi327 Date: Mon, 30 Dec 2024 19:24:13 +0900 Subject: [PATCH] Added Encoder given --- benchmark/src/main/scala/benchmark/Model.scala | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/benchmark/src/main/scala/benchmark/Model.scala b/benchmark/src/main/scala/benchmark/Model.scala index 03156f879..33b5d9f5d 100644 --- a/benchmark/src/main/scala/benchmark/Model.scala +++ b/benchmark/src/main/scala/benchmark/Model.scala @@ -101,6 +101,13 @@ case class Model25( ) derives Table object Model25: + given Encoder[Model25] = ( + Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: + Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: + Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: + Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: + Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] *: Encoder[Int] + ).to[Model25] given Decoder[Model25] = ( Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: Decoder[Int] *: