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

Monad

Synopsis

Documentation

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

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

Sends a Response to the client via "envResponseChan"