hls-tactics-plugin-1.4.0.0: Wingman plugin for Haskell Language Server
Safe HaskellNone
LanguageHaskell2010

Ide.Plugin.Tactic

Description

A plugin that uses tactics to synthesize code

Documentation

descriptor :: PluginId -> PluginDescriptor IdeState Source #