Development.IDE.LSP.Notifications

Documentation

whenUriFile :: Uri -> (NormalizedFilePath -> IO ()) -> IO ()

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

data Log

Constructors

LogShake Log

LogFileStore Log

LogOpenTextDocument !Uri

LogOpenedTextDocument !Uri

LogModifiedTextDocument !Uri

LogSavedTextDocument !Uri

LogClosedTextDocument !Uri

LogWatchedFileEvents !Text

LogWarnNoWatchedFilesSupport

Instances

Show Log

Defined in Development.IDE.LSP.Notifications

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Development.IDE.LSP.Notifications

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann

ghcideNotificationsPluginPriority :: Natural