Opaque types

Author: KacperFKorban

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

@@ -114,6 +114,11 @@ trait ClassLikeSupport:
       if !isModule then Inkuire.db = Inkuire.db.copy(types = Inkuire.db.types.updated(classType.itid.get, (classType, parents)))
 
       classDef.symbol.declaredTypes.foreach {
+        case typeSymbol: Symbol if typeSymbol.flags.is(Flags.Opaque) =>
+          val t = typeSymbol.tree.asInkuire(variableNames)
+          t match
+              case t: Inkuire.Type => Inkuire.db = Inkuire.db.copy(types = Inkuire.db.types.updated(t.itid.get, (t, Seq.empty)))
+              case _ =>
         case typeSymbol: Symbol =>
           val typeDef = typeSymbol.tree.asInstanceOf[TypeDef]
           if typeDef.rhs.symbol.flags.is(Flags.JavaDefined) then

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

@@ -34,7 +34,20 @@ trait InkuireSupport:
       inner(tpeTree.tpe, vars)
     case term:  Term => inner(term.tpe, vars)
     case classDef: ClassDef => mkTypeFromClassDef(classDef, vars)
-    case typeDef: TypeDef =>
+    case typeDef: TypeDef => mkTypeDef(typeDef)
+  }
+
+  def mkTypeDef(typeDef: TypeDef): Inkuire.Type = typeDef.rhs match {
+    case LambdaTypeTree(paramsDefs, _) =>
+      val name = typeDef.symbol.normalizedName
+      val normalizedName = if name.matches("_\\$\\d*") then "_" else name
+      val params = paramsDefs.map(_.name).map(Inkuire.TypeLambda.argument)
+      Inkuire.Type(
+        name = Inkuire.TypeName(normalizedName),
+        itid = typeDef.symbol.itid,
+        params = params.map(Inkuire.Invariance(_))
+      )
+    case _ =>
       Inkuire.Type(
         name = Inkuire.TypeName(typeDef.name),
         itid = typeDef.symbol.itid