ollama-holes-plugin-0.1.5.0: A typed-hole plugin that uses LLMs to generate valid hole-fits

Index

backend_nameGHC.Plugin.OllamaHoles
debugGHC.Plugin.OllamaHoles
defaultFlagsGHC.Plugin.OllamaHoles
Flags 
1 (Type/Class)GHC.Plugin.OllamaHoles
2 (Data Constructor)GHC.Plugin.OllamaHoles
fullyQualifiedGHC.Plugin.OllamaHoles
getBackendGHC.Plugin.OllamaHoles
getDocsGHC.Plugin.OllamaHoles
include_docsGHC.Plugin.OllamaHoles
model_nameGHC.Plugin.OllamaHoles
num_exprGHC.Plugin.OllamaHoles
openai_base_urlGHC.Plugin.OllamaHoles
openai_key_nameGHC.Plugin.OllamaHoles
parseFlagsGHC.Plugin.OllamaHoles
parseInContextGHC.Plugin.OllamaHoles
pluginGHC.Plugin.OllamaHoles
preProcessGHC.Plugin.OllamaHoles
promptTemplateGHC.Plugin.OllamaHoles
replacePlaceholdersGHC.Plugin.OllamaHoles
seekGuidanceGHC.Plugin.OllamaHoles
verifyHoleFitGHC.Plugin.OllamaHoles