rzk-0.7.4: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Rzk.VSCode.Handlers

Documentation

typecheckFromConfigFile :: LSP () Source #

provideCompletions :: Handler LSP 'Method_TextDocumentCompletion Source #

formatDocument :: Handler LSP 'Method_TextDocumentFormatting Source #

provideSemanticTokens :: Handler LSP 'Method_TextDocumentSemanticTokensFull Source #

handleFilesChanged :: Handler LSP 'Method_WorkspaceDidChangeWatchedFiles Source #

Orphan instances

Default CompletionItem Source # 
Instance details

Methods

def :: CompletionItem #

Default CompletionItemLabelDetails Source # 
Instance details

Methods

def :: CompletionItemLabelDetails #

Default Text Source # 
Instance details

Methods

def :: Text #