swarm-0.5.0.0: 2D resource gathering game with programmable robots
LicenseBSD-3-Clause
Safe HaskellSafe-Inferred
LanguageHaskell2010

Swarm.Language.LSP

Description

Language Server Protocol (LSP) server for the Swarm language. See the docs/EDITORS.md to learn how to use it.

Documentation

lspMain :: IO () Source #

diagnosticSourcePrefix :: Text Source #

debug :: MonadIO m => Text -> m () Source #

validateSwarmCode :: NormalizedUri -> TextDocumentVersion -> Text -> LspM () () Source #

showTypeErrorPos :: Text -> ContextualTypeErr -> ((Int, Int), (Int, Int), Text) Source #

handlers :: Handlers (LspM ()) Source #