Development.IDE.Plugin.Completions
descriptor :: Recorder (WithPriority Log) -> PluginId -> PluginDescriptor IdeState #
data Log #
Constructors
Defined in Development.IDE.Plugin.Completions
Methods
showsPrec :: Int -> Log -> ShowS #
show :: Log -> String #
showList :: [Log] -> ShowS #
pretty :: Log -> Doc ann #
prettyList :: [Log] -> Doc ann #
ghcideCompletionsPluginPriority :: Natural #