This repository was archived by the owner on Oct 7, 2020. It is now read-only.
This repository was archived by the owner on Oct 7, 2020. It is now read-only.
HIE should generate local Hoogle database #1285
Open
Description
It makes sense for HIE to generate the hoogle database itself, locally in the project, because:
- Better UX, because users won't have to fiddle with it on their own
- All users get the full features, without having to worry about it
- Hoogle can be made to generate all and only those packages the user has in their project. No need to generate all stackage packages if you don't use most of them, and users might use packages not in stackage.
- Hoogle database won't get out of date
- No global ~/.hoogle needed, every project can have their own hoogle database
- Will always have the right package versions available in the database, which can be different for projects
(Correct me if some of those don't hold)
This should be implemented by having HIE generate the database in the background and having a status indicator like "Indexing packages.." that indicates that not all features are available until it's done.
Ping @fendor