add additional tests, remove Playground

arainko · Nov 25, 2023 · c99267a · c99267a
1 parent 9db055e
commit c99267a
Show file tree

Hide file tree

Showing 5 changed files with 31 additions and 233 deletions.
diff --git a/ducktapeNext/src/main/scala/io/github/arainko/ducktape/Playground.scala b/ducktapeNext/src/main/scala/io/github/arainko/ducktape/Playground.scala
diff --git a/ducktapeNext/src/main/scala/io/github/arainko/ducktape/internal/Planner.scala b/ducktapeNext/src/main/scala/io/github/arainko/ducktape/internal/Planner.scala
@@ -36,7 +36,7 @@ private[ducktape] object Planner {
         case (source, dest) if source.tpe.repr <:< dest.tpe.repr =>
           Plan.Upcast(source.tpe, dest.tpe, sourceContext, destContext)
 
-        case Optional(_, srcName, srcParamStruct) -> Optional(_, destName, destParamStruct) =>
+        case Optional(_, srcParamStruct) -> Optional(_, destParamStruct) =>
           Plan.BetweenOptions(
             srcParamStruct.tpe,
             destParamStruct.tpe,
@@ -45,7 +45,7 @@ private[ducktape] object Planner {
             recurse(srcParamStruct, destParamStruct, sourceContext, destContext)
           )
 
-        case struct -> Optional(_, _, paramStruct) =>
+        case struct -> Optional(_, paramStruct) =>
           Plan.BetweenNonOptionOption(
             struct.tpe,
             paramStruct.tpe,
@@ -54,7 +54,7 @@ private[ducktape] object Planner {
             recurse(struct, paramStruct, sourceContext, destContext)
           )
 
-        case Collection(_, _, srcParamStruct) -> Collection(destCollTpe, _, destParamStruct) =>
+        case Collection(_, srcParamStruct) -> Collection(destCollTpe, destParamStruct) =>
           Plan.BetweenCollections(
             destCollTpe,
             srcParamStruct.tpe,

diff --git a/ducktapeNext/src/main/scala/io/github/arainko/ducktape/internal/Structure.scala b/ducktapeNext/src/main/scala/io/github/arainko/ducktape/internal/Structure.scala
@@ -32,9 +32,9 @@ private[ducktape] object Structure {
     function: io.github.arainko.ducktape.internal.Function
   ) extends Structure
 
-  case class Optional(tpe: Type[? <: Option[?]], name: String, paramStruct: Structure) extends Structure
+  case class Optional(tpe: Type[? <: Option[?]], paramStruct: Structure) extends Structure
 
-  case class Collection(tpe: Type[? <: Iterable[?]], name: String, paramStruct: Structure) extends Structure
+  case class Collection(tpe: Type[? <: Iterable[?]], paramStruct: Structure) extends Structure
 
   case class Singleton(tpe: Type[?], name: String, value: Expr[Any]) extends Structure
 
@@ -63,15 +63,14 @@ private[ducktape] object Structure {
 
   def of[A: Type](using Quotes): Structure = {
     import quotes.reflect.*
-    given Printer[TypeRepr] = Printer.TypeReprShortCode
 
     Logger.loggedInfo("Structure"):
       Type.of[A] match {
         case tpe @ '[Option[param]] =>
-          Structure.Optional(tpe, tpe.repr.show, Structure.of[param])
+          Structure.Optional(tpe, Structure.of[param])
 
         case tpe @ '[Iterable[param]] =>
-          Structure.Collection(tpe, tpe.repr.show, Structure.of[param])
+          Structure.Collection(tpe, Structure.of[param])
 
         case tpe @ '[AnyVal] if tpe.repr.typeSymbol.flags.is(Flags.Case) =>
           val repr = tpe.repr

diff --git a/ducktapeNext/src/test/scala/io/github/arainko/ducktape/DucktapeSuite.scala b/ducktapeNext/src/test/scala/io/github/arainko/ducktape/DucktapeSuite.scala
@@ -15,4 +15,10 @@ trait DucktapeSuite extends FunSuite {
     val errors = compiletime.testing.typeCheckErrors(code).map(_.message).toSet
     assertEquals(errors, expected.toSet, "Error did not contain expected value")
   }
+
+  extension [A] (inline self: A) {
+    inline def code: A = internal.CodePrinter.code(self)
+
+    inline def structure: A = internal.CodePrinter.structure(self)
+  }
 }
diff --git a/ducktapeNext/src/test/scala/io/github/arainko/ducktape/total/DerivedTransformerSuite.scala b/ducktapeNext/src/test/scala/io/github/arainko/ducktape/total/DerivedTransformerSuite.scala
@@ -385,9 +385,26 @@ class DerivedTransformerSuite extends DucktapeSuite {
 
     val source = Source(1, "")
 
-    val expected =  Dest(0, "asd")
+    val expected = Dest(0, "asd")
     val actual = source.to[Dest]
     assertEquals(actual, expected)
   }
 
+  test("Transformer.define* can be used to create recursive transformers") {
+    final case class Rec[+A](value: Int, rec: Option[Rec[A]])
+
+    val source = Rec(1, Some(Rec(2, Some(Rec(3, None)))))
+    val expected = Rec(1, Some(Rec(2, Some(Rec(3, None)))))
+
+    locally {
+      given transformer: Transformer[Rec[Int], Rec[Int | String]] = Transformer.define[Rec[Int], Rec[Int | String]].build()
+      assertEquals(transformer.transform(source), expected)
+    }
+
+    locally {
+      given transformer: Transformer[Rec[Int], Rec[Int | String]] = Transformer.defineVia[Rec[Int]](Rec[Int | String]).build()
+      assertEquals(transformer.transform(source), expected)
+    }
+  }
+
 }