Development.IDE.Core.Service

A Shake implementation of the compiler service, built using the Shaker abstraction layer for in-memory use.

Documentation

getIdeOptions :: Action IdeOptions

getIdeOptionsIO :: ShakeExtras -> IO IdeOptions

data IdeState

A Shake database plus persistent store. Can be thought of as storing mappings from (FilePath, k) to RuleResult k.

initialise :: Recorder (WithPriority Log) -> Config -> Rules () -> Maybe (LanguageContextEnv Config) -> Logger -> Debouncer NormalizedUri -> IdeOptions -> WithHieDb -> IndexQueue -> IO IdeState

Initialise the Compiler Service.

shutdown :: IdeState -> IO ()

Shutdown the Compiler Service.

runAction :: String -> IdeState -> Action a -> IO a

getDiagnostics :: IdeState -> STM [FileDiagnostic]

ideLogger :: IdeState -> Logger

updatePositionMapping :: IdeState -> VersionedTextDocumentIdentifier -> List TextDocumentContentChangeEvent -> STM ()

data Log

Constructors

LogShake Log

LogOfInterest Log

LogFileExists Log

Instances

Show Log

Defined in Development.IDE.Core.Service

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Development.IDE.Core.Service

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann