| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Dhall.LSP.Handlers
Synopsis
- liftLSP :: LspT ServerConfig IO a -> HandlerM a
- readUri :: Uri -> HandlerM Text
- loadFile :: Uri -> HandlerM (Expr Src Void)
- fileIdentifierFromUri :: Uri -> HandlerM FileIdentifier
- rangeToJSON :: Range -> Range
- hoverHandler :: Handlers HandlerM
- documentLinkHandler :: Handlers HandlerM
- diagnosticsHandler :: Uri -> HandlerM ()
- documentFormattingHandler :: Handlers HandlerM
- executeCommandHandler :: Handlers HandlerM
- getCommandArguments :: FromJSON a => RequestMessage 'WorkspaceExecuteCommand -> HandlerM a
- executeLintAndFormat :: RequestMessage 'WorkspaceExecuteCommand -> (Either a Value -> HandlerM b) -> HandlerM ()
- executeAnnotateLet :: RequestMessage 'WorkspaceExecuteCommand -> HandlerM ()
- executeFreezeAllImports :: RequestMessage 'WorkspaceExecuteCommand -> HandlerM ()
- executeFreezeImport :: RequestMessage 'WorkspaceExecuteCommand -> HandlerM ()
- completionHandler :: Handlers HandlerM
- nullHandler :: a -> LspT ServerConfig IO ()
- didOpenTextDocumentNotificationHandler :: Handlers HandlerM
- didSaveTextDocumentNotificationHandler :: Handlers HandlerM
- initializedHandler :: Handlers HandlerM
- workspaceChangeConfigurationHandler :: Handlers HandlerM
- textDocumentChangeHandler :: Handlers HandlerM
- cancelationHandler :: Handlers HandlerM
- handleErrorWithDefault :: (Either a1 b -> HandlerM a2) -> b -> HandlerM a2 -> HandlerM a2
Documentation
rangeToJSON :: Range -> Range Source #
diagnosticsHandler :: Uri -> HandlerM () Source #
getCommandArguments :: FromJSON a => RequestMessage 'WorkspaceExecuteCommand -> HandlerM a Source #
executeLintAndFormat :: RequestMessage 'WorkspaceExecuteCommand -> (Either a Value -> HandlerM b) -> HandlerM () Source #
nullHandler :: a -> LspT ServerConfig IO () Source #