From e1282a3921d8e0ca1d03876fd8e174d0f79d33b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Filip=20Zyba=C5=82a?= Date: Fri, 8 Jan 2021 13:33:43 +0100 Subject: [PATCH] Scala3doc: add missing pages for givens --- .../src/dotty/dokka/translators/ScalaPageCreator.scala | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/scala3doc/src/dotty/dokka/translators/ScalaPageCreator.scala b/scala3doc/src/dotty/dokka/translators/ScalaPageCreator.scala index ed7e965a5cb0..5a4408b354b7 100644 --- a/scala3doc/src/dotty/dokka/translators/ScalaPageCreator.scala +++ b/scala3doc/src/dotty/dokka/translators/ScalaPageCreator.scala @@ -44,8 +44,15 @@ class ScalaPageCreator( ) private def pagesForMembers(member: Member): JList[PageNode] = + def filterFunc(kind: Kind): Boolean = kind match { + case Kind.Package => true + case _ if kind.isInstanceOf[Classlike] => true + case Kind.Given(inner, _, _) => filterFunc(inner) + case Kind.EnumCase(inner) => filterFunc(inner) + case _ => false + } val all = member - .membersBy(m => m.kind == Kind.Package || m.kind.isInstanceOf[Classlike]) + .membersBy(m => filterFunc(m.kind)) .filter(m => m.origin == Origin.RegularlyDefined && m.inheritedFrom.isEmpty) all.map(pageForMember(_)).asJava