Skip to content

Latest commit

 

History

History
13 lines (9 loc) · 922 Bytes

README.md

File metadata and controls

13 lines (9 loc) · 922 Bytes

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.