agda-language-server-0.2.1: An implementation of language server protocal (LSP) for Agda 2.

Safe Haskell	None
Language	Haskell2010

Switchboard

Synopsis

data Switchboard
new :: Env -> IO Switchboard
setupLanguageContextEnv :: Switchboard -> LanguageContextEnv Config -> IO ()
destroy :: Switchboard -> IO ()

Documentation

data Switchboard Source #

new :: Env -> IO Switchboard Source #

All channels go in and out from here

setupLanguageContextEnv :: Switchboard -> LanguageContextEnv Config -> IO () Source #

For sending reactions to the client

destroy :: Switchboard -> IO () Source #