Merge pull request #340 from takapi327/refactor/2024-12-Fixed-Encoder…

…-infer-error-message Fixed Encoder fold use summonAll
takapi327 · Dec 18, 2024 · d0601a0 · d0601a0
2 parents 96f4c06 + bc4ac05
commit d0601a0
Showing 1 changed file with 1 addition and 11 deletions.
diff --git a/module/ldbc-dsl/src/main/scala/ldbc/dsl/codec/Encoder.scala b/module/ldbc-dsl/src/main/scala/ldbc/dsl/codec/Encoder.scala
@@ -93,14 +93,4 @@ object Encoder:
     case h *: EmptyTuple => Encoder[h] *: EmptyTuple
     case h *: t          => Encoder[h] *: MapToTuple[t]
 
-  inline def infer[T]: Encoder[T] =
-    summonFrom[Encoder[T]] {
-      case parameter: Encoder[T] => parameter
-      case _                     => error("Parameter cannot be inferred")
-    }
-
-  inline def fold[T]: MapToTuple[T] =
-    inline erasedValue[T] match
-      case _: EmptyTuple        => EmptyTuple
-      case _: (h *: EmptyTuple) => infer[h] *: EmptyTuple
-      case _: (h *: t)          => infer[h] *: fold[t]
+  inline def fold[T]: MapToTuple[T] = summonAll[MapToTuple[T]]