Consider adding more trivial ways of searching through inkuiredb

[KacperFKorban]

Hoogle has more than one way of searching for a function. We should consider adding the ability to search e.g. functions by their names.

[scarf005]

kind of necro, but today was bit by this:

=>> can't be searched through regular means

https://dotty.epfl.ch/docs/reference/new-types/type-lambdas.html

[KacperFKorban]

@scarf005 Thanks for the comment. This is probably more of a bug in the Scala 3 scaladoc. When I was first adding Inkuire support to scaladoc, I added a heuristic yo switch between the search algorithms that checked if => is part of the search string.

I think that right now, we can probably remove this heuristic and always query Inkuire and just add a new section for it in the scaladoc search bar.