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

Ide.Plugin.Tactic

Description

A plugin that uses tactics to synthesize code

Documentation

descriptor :: Recorder (WithPriority Log) -> PluginId -> PluginDescriptor IdeState Source #

newtype Log Source #

Constructors

LogWingmanLanguageServer Log 

Instances

Instances details
Show Log Source # 
Instance details

Defined in Wingman.Plugin

Methods

showsPrec :: Int -> Log -> ShowS #

show :: Log -> String #

showList :: [Log] -> ShowS #

Pretty Log Source # 
Instance details

Defined in Wingman.Plugin

Methods

pretty :: Log -> Doc ann #

prettyList :: [Log] -> Doc ann #