cabal-version: 3.0 -- The cabal-version field refers to the version of the .cabal specification, -- and can be different from the cabal-install (the tool) version and the -- Cabal (the library) version you are using. As such, the Cabal (the library) -- version used must be equal or greater than the version stated in this field. -- Starting from the specification version 2.2, the cabal-version field must be -- the first thing in the cabal file. -- Initial package description 'OllamaHoles' generated by -- 'cabal init'. For further documentation, see: -- http://haskell.org/cabal/users-guide/ -- -- The name of the package. name: ollama-holes-plugin -- The package version. -- See the Haskell package versioning policy (PVP) for standards -- guiding when and how versions should be incremented. -- https://pvp.haskell.org -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change version: 0.1.0.0 -- A short (one-line) description of the package. synopsis: A typed-hole plugin that uses LLMs via Ollama to generate valid hole-fits -- A longer description of the package. description: This package provides a GHC plugin that uses LLMs via Ollama to generate valid hole-fits. . The following flags are available: . To specify the model to use: . > -fplugin-opt=GHC.Plugin.OllamaHoles:model= . To specify how many fits to generate (passed to the model) . > -fplugin-opt=GHC.Plugin.OllamaHoles:n=5 . To enable debug output: . > -fplugin-opt=GHC.Plugin.OllamaHoles:debug=True . Before using this plugin, make sure you have the Ollama CLI installed and the model you want to use is available. You can install the Ollama CLI by following the instructions at [https://ollama.com/download](https://ollama.com/download), and you can install the default model (gemma3:27b) by running `ollama pull gemma3:27b`. . Note that the speed and quality of the hole-fits generated by the plugin depends on the model you use, and the default model requires a GPU to run efficiently. For a smaller model, we suggest `gemma3:4b-it-qat`, or `deepcoder:1.5b`. -- The license under which the package is released. license: MIT -- The file containing the license text. license-file: LICENSE -- The package author(s). author: Matthias Pall Gissurarson -- An email address to which users can send suggestions, bug reports, and patches. maintainer: Matthias Pall Gissurarson -- A copyright notice. copyright: 2025- Matthias Pall Gissurarson category: Development, Compiler Plugin tested-with: GHC == 9.6.* build-type: Simple -- Extra doc files to be distributed with the package, such as a CHANGELOG or a README. extra-doc-files: CHANGELOG.md README.md homepage: https://github.com/Tritlo/OllamaHoles -- Extra source files to be distributed with the package, such as examples, or a tutorial module. -- extra-source-files: source-repository head type: git location: git://github.com/Tritlo/OllamaHoles.git common warnings ghc-options: -Wall library -- Import common warning flags. import: warnings -- Modules exported by the library. exposed-modules: GHC.Plugin.OllamaHoles -- Modules included in this library but not exported. -- other-modules: -- LANGUAGE extensions used by modules in this package. -- other-extensions: -- Other library packages from which modules are imported. build-depends: base ^>=4.18.2.1, ghc ^>=9.6, ollama-haskell ^>= 0.1, text ^>= 2.1, -- Directories containing source files. hs-source-dirs: src -- Base language which the package is written in. default-language: GHC2021