Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ide.Plugin.Tactic
Description
A plugin that uses tactics to synthesize code
Documentation
descriptor :: Recorder (WithPriority Log) -> PluginId -> PluginDescriptor IdeState Source #
Constructors
LogWingmanLanguageServer Log |