agda-language-server-0.2.6.2.2.1: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Monad

Synopsis

Documentation

createInitEnv :: (MonadIO m, MonadLsp Config m) => Options -> m Env Source #

type ServerM m = ReaderT Env m Source #

OUR monad

runServerM :: Env -> ServerM m a -> m a Source #

writeLog :: (Monad m, MonadIO m) => Text -> ServerM m () Source #

writeLog' :: (Monad m, MonadIO m, Show a) => a -> ServerM m () Source #

provideCommand :: (Monad m, MonadIO m) => IOTCM -> ServerM m () Source #

Provider

consumeCommand :: (Monad m, MonadIO m) => Env -> m IOTCM Source #

Consumter

waitUntilResponsesSent :: (Monad m, MonadIO m) => ServerM m () Source #

signalCommandFinish :: (Monad m, MonadIO m) => ServerM m () Source #

sendResponse :: (Monad m, MonadIO m) => Env -> Response -> TCMT m () Source #

Sends a Response to the client via "envResponseChan"