├── .gitignore ├── README.md ├── default.nix ├── djinn-hoogle-mod-plugin ├── DjinnBridge.hs ├── DjinnHoogleModPlugin.cabal ├── DjinnHoogleModPlugin.hs ├── README.md ├── Test │ ├── Main.hs │ └── Test.cabal └── cabal.project ├── djinn-plugin ├── .ghci ├── DjinnBridge.hs ├── DjinnPlugin.cabal ├── DjinnPlugin.hs ├── README.md ├── Test │ ├── Main.hs │ └── Test.cabal └── cabal.project ├── hoogle-plugin ├── HolePlugin.cabal ├── HolePlugin.hs ├── README.md ├── Test │ ├── Main.hs │ └── test.cabal └── cabal.project ├── hplus-plugin ├── HPlusPlugin.cabal ├── HPlusPlugin.hs ├── README.md ├── Test │ ├── Main.hs │ └── Test.cabal ├── default.nix └── lookup ├── non-empty-holes-plugin ├── DjinnBridge.hs ├── NonEmptyHolesPlugin.cabal ├── NonEmptyHolesPlugin.hs ├── README.md ├── Test │ ├── Main.hs │ ├── Test.cabal │ ├── out │ └── stdin └── cabal.project └── quickcheck-plugin ├── HolePlugin.cabal ├── HolePlugin.hs ├── README.md ├── Test ├── FindFit.hs ├── Main.hs ├── MainOrig.hs ├── ProgInput.hs ├── genFits.sh ├── genHoles.sh └── test.cabal └── cabal.project /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/README.md -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/default.nix -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/DjinnBridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/DjinnBridge.hs -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/DjinnHoogleModPlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/DjinnHoogleModPlugin.cabal -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/DjinnHoogleModPlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/DjinnHoogleModPlugin.hs -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/README.md -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/Test/Main.hs -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/Test/Test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/Test/Test.cabal -------------------------------------------------------------------------------- /djinn-hoogle-mod-plugin/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-hoogle-mod-plugin/cabal.project -------------------------------------------------------------------------------- /djinn-plugin/.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/.ghci -------------------------------------------------------------------------------- /djinn-plugin/DjinnBridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/DjinnBridge.hs -------------------------------------------------------------------------------- /djinn-plugin/DjinnPlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/DjinnPlugin.cabal -------------------------------------------------------------------------------- /djinn-plugin/DjinnPlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/DjinnPlugin.hs -------------------------------------------------------------------------------- /djinn-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/README.md -------------------------------------------------------------------------------- /djinn-plugin/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/Test/Main.hs -------------------------------------------------------------------------------- /djinn-plugin/Test/Test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/Test/Test.cabal -------------------------------------------------------------------------------- /djinn-plugin/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/djinn-plugin/cabal.project -------------------------------------------------------------------------------- /hoogle-plugin/HolePlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hoogle-plugin/HolePlugin.cabal -------------------------------------------------------------------------------- /hoogle-plugin/HolePlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hoogle-plugin/HolePlugin.hs -------------------------------------------------------------------------------- /hoogle-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hoogle-plugin/README.md -------------------------------------------------------------------------------- /hoogle-plugin/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hoogle-plugin/Test/Main.hs -------------------------------------------------------------------------------- /hoogle-plugin/Test/test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hoogle-plugin/Test/test.cabal -------------------------------------------------------------------------------- /hoogle-plugin/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hoogle-plugin/cabal.project -------------------------------------------------------------------------------- /hplus-plugin/HPlusPlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/HPlusPlugin.cabal -------------------------------------------------------------------------------- /hplus-plugin/HPlusPlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/HPlusPlugin.hs -------------------------------------------------------------------------------- /hplus-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/README.md -------------------------------------------------------------------------------- /hplus-plugin/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/Test/Main.hs -------------------------------------------------------------------------------- /hplus-plugin/Test/Test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/Test/Test.cabal -------------------------------------------------------------------------------- /hplus-plugin/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/default.nix -------------------------------------------------------------------------------- /hplus-plugin/lookup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/hplus-plugin/lookup -------------------------------------------------------------------------------- /non-empty-holes-plugin/DjinnBridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/DjinnBridge.hs -------------------------------------------------------------------------------- /non-empty-holes-plugin/NonEmptyHolesPlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/NonEmptyHolesPlugin.cabal -------------------------------------------------------------------------------- /non-empty-holes-plugin/NonEmptyHolesPlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/NonEmptyHolesPlugin.hs -------------------------------------------------------------------------------- /non-empty-holes-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/README.md -------------------------------------------------------------------------------- /non-empty-holes-plugin/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/Test/Main.hs -------------------------------------------------------------------------------- /non-empty-holes-plugin/Test/Test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/Test/Test.cabal -------------------------------------------------------------------------------- /non-empty-holes-plugin/Test/out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/Test/out -------------------------------------------------------------------------------- /non-empty-holes-plugin/Test/stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/Test/stdin -------------------------------------------------------------------------------- /non-empty-holes-plugin/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/non-empty-holes-plugin/cabal.project -------------------------------------------------------------------------------- /quickcheck-plugin/HolePlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/HolePlugin.cabal -------------------------------------------------------------------------------- /quickcheck-plugin/HolePlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/HolePlugin.hs -------------------------------------------------------------------------------- /quickcheck-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/README.md -------------------------------------------------------------------------------- /quickcheck-plugin/Test/FindFit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/FindFit.hs -------------------------------------------------------------------------------- /quickcheck-plugin/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/Main.hs -------------------------------------------------------------------------------- /quickcheck-plugin/Test/MainOrig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/MainOrig.hs -------------------------------------------------------------------------------- /quickcheck-plugin/Test/ProgInput.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/ProgInput.hs -------------------------------------------------------------------------------- /quickcheck-plugin/Test/genFits.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/genFits.sh -------------------------------------------------------------------------------- /quickcheck-plugin/Test/genHoles.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/genHoles.sh -------------------------------------------------------------------------------- /quickcheck-plugin/Test/test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/Test/test.cabal -------------------------------------------------------------------------------- /quickcheck-plugin/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/ExampleHolePlugin/HEAD/quickcheck-plugin/cabal.project --------------------------------------------------------------------------------