Frege/frege-hoogle-database

Hoogle database for Frege

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/.