Ide.Plugin.Cabal

Documentation

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

data Log

Constructors

LogModificationTime NormalizedFilePath FileVersion

LogShake Log

LogDocOpened Uri

LogDocModified Uri

LogDocSaved Uri

LogDocClosed Uri

LogFOI (HashMap NormalizedFilePath FileOfInterestStatus)

LogCompletionContext Context Position

LogCompletions Log

Instances

Show Log

Defined in Ide.Plugin.Cabal

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Ide.Plugin.Cabal

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann