ExampleHolePlugin

This repository contains a collection of example hole fit plugins for GHC.

Note! Needs GHC 8.10 for regular holes, and a custom branch for extended holes.

Checkout the plugins in the directories:

• The Hoogle Plugin shows an example of how you can filter by candidates by module, but also how you can interact with command line tools such as Hoogle.
• The Djinn Plugin show an example how state can be used to communicate between the candidate and fit plugin and between invocations, by using djinn to synthesize hole fits. Based on djinn-ghc by Alejandro Serrano.
• The QuickCheck Plugin shows how hole fit plugins can be used to automatically pick the right hole fit based on QuickCheck properties.
• The Extended Holes Plugin shows how extended holes can be used to communicate with plugins.