Type-based search akin to Hoogle or Pursuit

[bbarker]

This idea was previously mentioned in another issue, but I wanted to bring it up here - if there's a better forum for this kind of discussion, please point me in that direction.

I think it would be excellent for the community if Scaladex could have search functionality similar to https://hoogle.haskell.org/ or https://pursuit.purescript.org/. This allows search by partial type signatures, polymorphic types, and concrete types. It would be great if maven artifacts could be searched in an "extended search" as well so that not only Scala is covered, but that could be handled separately perhaps.

[adpi2]

Thanks for pushing this idea.

There is a plan currently to add this kind of search functionnality in scaladoc (Scala 3) using Inkuire. Then it might not be too hard to integrate it as well in Scaladex.

See https://github.com/lampepfl/dotty/pull/12375