Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data ReactorMessage Source #
ReactorNotification (IO ()) | |
forall m. ReactorRequest (LspId m) (IO ()) (TResponseError m -> IO ()) |
Instances
MonadReader (ReactorChan, IdeState) (ServerM c) Source # | |
Defined in Development.IDE.LSP.Server ask :: ServerM c (ReactorChan, IdeState) # local :: ((ReactorChan, IdeState) -> (ReactorChan, IdeState)) -> ServerM c a -> ServerM c a # reader :: ((ReactorChan, IdeState) -> a) -> ServerM c a # |
type ReactorChan = Chan ReactorMessage Source #
Instances
MonadLsp c (ServerM c) Source # | |
Defined in Development.IDE.LSP.Server getLspEnv :: ServerM c (LanguageContextEnv c) # | |
MonadIO (ServerM c) Source # | |
Defined in Development.IDE.LSP.Server | |
Applicative (ServerM c) Source # | |
Functor (ServerM c) Source # | |
Monad (ServerM c) Source # | |
MonadUnliftIO (ServerM c) Source # | |
Defined in Development.IDE.LSP.Server | |
MonadReader (ReactorChan, IdeState) (ServerM c) Source # | |
Defined in Development.IDE.LSP.Server ask :: ServerM c (ReactorChan, IdeState) # local :: ((ReactorChan, IdeState) -> (ReactorChan, IdeState)) -> ServerM c a -> ServerM c a # reader :: ((ReactorChan, IdeState) -> a) -> ServerM c a # |
requestHandler :: forall m c. PluginMethod Request m => SMethod m -> (IdeState -> MessageParams m -> LspM c (Either (TResponseError m) (MessageResult m))) -> Handlers (ServerM c) Source #
notificationHandler :: forall m c. PluginMethod Notification m => SMethod m -> (IdeState -> VFS -> MessageParams m -> LspM c ()) -> Handlers (ServerM c) Source #