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.

Instances

MonadReader (ReactorChan, IdeState) (ServerM c)

Defined in Development.IDE.LSP.Server

Methods

ask :: ServerM c (ReactorChan, IdeState)

local :: ((ReactorChan, IdeState) -> (ReactorChan, IdeState)) -> ServerM c a -> ServerM c a

reader :: ((ReactorChan, IdeState) -> a) -> ServerM c a

initialise :: Recorder (WithPriority Log) -> Config -> IdePlugins IdeState -> Rules () -> Maybe (LanguageContextEnv Config) -> Logger -> Debouncer NormalizedUri -> IdeOptions -> WithHieDb -> IndexQueue -> Monitoring -> 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