Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Searching for instances #349

Open
hdgarrood opened this issue Dec 23, 2017 · 0 comments
Open

Searching for instances #349

hdgarrood opened this issue Dec 23, 2017 · 0 comments

Comments

@hdgarrood
Copy link
Collaborator

Currently instances only appear when searching by name. This is not ideal because instance names are very rarely important; if you want to know about an instance / whether an instance exists, it makes much more sense search for either the class, or one of the types occurring in it. Additionally, having instances appear when searching by name adds quite a lot of noise to the results.

@justinwoo, @joneshf and I discussed on Slack, and came up with a couple of proposals:

  • Remove instances from normal search results, and instead provide some way of opting-in to searching for instances; perhaps with a button or a new search syntax like "instances: Array" or "instances: Foldable" to search for instances that Array has or instances of Foldable.
  • Provide a link under types and classes which takes you straight to the instance search for that type or class, making it easy to find other instances in addition to those defined in the module.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant