Add currying signatures

Author: KacperFKorban

scaladoc-testcases/src/tests/inkuire.scala

@@ -13,3 +13,8 @@ class JustAClass {
 class JustAnotherClass extends JustAClass {
   def method(i: InType2): OutType2 = ???
 }
+
+object InkuireObject {
+  def function(i: InType1): OutType1 = ???
+  val value: InType1 => OutType1 = ???
+}

scaladoc/src/dotty/tools/scaladoc/Inkuire.scala

@@ -1,7 +1,6 @@
 package dotty.tools.scaladoc
 
 import dotty.tools.scaladoc.util._
-import scala.collection.mutable.{ Map => MMap}
 
 object Inkuire {
 
@@ -20,6 +19,18 @@ object Inkuire {
     jsonObject(("inkuirePaths", jsonList(paths))).toString
   }
 
+  def curry(e: Signature): Signature = {
+    e.result.typ match
+      case t: Type if t.name.name == s"Function${t.params.size-1}" =>
+        curry(
+          e.copy(
+            arguments = e.arguments ++ t.params.init.map(_.typ).map(Contravariance(_)),
+            result = Covariance(t.params.last.typ)
+          )
+        )
+      case _ => e
+  }
+
   case class InkuireDb(
     functions:           Seq[ExternalSignature],
     types:               Map[ITID, (Type, Seq[Type])],

scaladoc/src/dotty/tools/scaladoc/tasty/ClassLikeSupport.scala

@@ -190,7 +190,8 @@ trait ClassLikeSupport:
               uri = methodSymbol.dri.externalLink.getOrElse(""),
               entryType = "def"
             )
-            Inkuire.db = Inkuire.db.copy(functions = Inkuire.db.functions :+ sgn)
+            val curriedSgn = sgn.copy(signature = Inkuire.curry(sgn.signature))
+            Inkuire.db = Inkuire.db.copy(functions = Inkuire.db.functions :+ curriedSgn)
       }
 
       classDef.symbol.declaredFields
@@ -216,7 +217,8 @@ trait ClassLikeSupport:
               uri = valSymbol.dri.externalLink.getOrElse(""),
               entryType = "val"
             )
-            Inkuire.db = Inkuire.db.copy(functions = Inkuire.db.functions :+ sgn)
+            val curriedSgn = sgn.copy(signature = Inkuire.curry(sgn.signature))
+            Inkuire.db = Inkuire.db.copy(functions = Inkuire.db.functions :+ curriedSgn)
         }
     }