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

Server.Handler

Documentation

initialiseCommandQueue :: IO CommandQueue Source #

runCommandM :: CommandM a -> ServerM (LspM Config) (Either String a) Source #

inferTypeOfText :: FilePath -> Text -> ServerM (LspM Config) (Either String String) Source #

onHover :: Uri -> Position -> ServerM (LspM Config) (Maybe Hover) Source #

fromHighlightingInfo :: HighlightingInfo -> SemanticTokenAbsolute Source #