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

Agda

Synopsis

Documentation

runAgda :: MonadIO m => ServerM TCM a -> ServerM m (Either String a) Source #

Run a TCM action in IO and throw away all of the errors TODO: handle the caught errors

sendCommand :: MonadIO m => Value -> ServerM m Value Source #

getCommandLineOptions :: (HasOptions m, MonadIO m) => ServerM m CommandLineOptions Source #