Skip to content

Commit

Permalink
Delete unused
Browse files Browse the repository at this point in the history
  • Loading branch information
takapi327 committed Dec 31, 2024
1 parent b272c2c commit 010b5a8
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions module/ldbc-dsl/src/main/scala/ldbc/dsl/codec/Encoder.scala
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@ package ldbc.dsl.codec

import java.time.*

import scala.compiletime.*
import scala.deriving.Mirror

import cats.ContravariantSemigroupal
Expand Down Expand Up @@ -136,13 +135,6 @@ object Encoder extends TwiddleSyntax[Encoder]:
given [P <: Product](using mirror: Mirror.ProductOf[P], encoder: Encoder[mirror.MirroredElemTypes]): Encoder[P] =
encoder.to[P]

type MapToTuple[T] <: Tuple = T match
case EmptyTuple => EmptyTuple
case h *: EmptyTuple => Encoder[h] *: EmptyTuple
case h *: t => Encoder[h] *: MapToTuple[t]

inline def fold[T]: MapToTuple[T] = summonAll[MapToTuple[T]]

sealed trait Encoded:
def product(that: Encoded): Encoded
object Encoded:
Expand Down

0 comments on commit 010b5a8

Please sign in to comment.