Ide.Plugin.Eval

Eval Plugin entry point.

Documentation

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

Plugin descriptor

data Log

Constructors

LogShake Log

LogCodeLensFp FilePath

LogCodeLensComments Comments

LogExecutionTime Text Seconds

LogTests !Int !Int !Int !Int

LogRunTestResults [Text]

LogRunTestEdits TextEdit

LogEvalFlags [String]

LogEvalPreSetDynFlags DynFlags

LogEvalParsedFlags (Either GhcException (DynFlags, [Located String], DynFlagsParsingWarnings))

LogEvalPostSetDynFlags DynFlags

LogEvalStmtStart String

LogEvalStmtResult (Maybe [Text])

LogEvalImport String

LogEvalDeclaration String

Instances

Pretty Log

Defined in Ide.Plugin.Eval.Types

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann