Skip to content
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
@infinisil

Description

@infinisil

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions