Skip to content

Latest commit

 

History

History
28 lines (26 loc) · 1.57 KB

README.md

File metadata and controls

28 lines (26 loc) · 1.57 KB
Raw

Hoogle database for Frege

Generate hoogle database for Frege from Frege documentation website.

Generate and deploy hoogle database for Frege

  1. Get frege-hoogle-database jar from here
  2. Get frege jar from here
  3. Run 
    java -cp path/to/frege-hoogle-database-<version>.jar:/path/to/frege<version>.jar frege.hoogledatabase.Main
    This would produce a hoogle text database file named frege-hoogle-database.txt in the current directory. Run with --help to see available options.
  4. The text database file can be uploaded to Frege online REPL by sending a pull request with that file here.
  5. Hoogle instance for Frege running here will be refreshed with the new database within a day.

To run Hoogle for Frege locally

  1. Install hoogle
  2. Run the following command to convert text database file generated with steps above to binary database: 
    hoogle generate --local=/path/to/directory_containing_frege_hoogle_database_txt --database=frege.hoo
    This would produce a binary database file called frege.hoo in the current directory
  3. Then start hoogle server 
    hoogle server -p 9000 --database=frege.hoo
    Hoogle Server will be running at http://localhost:9000/.