Created
February 20, 2021 10:48
-
-
Save pepeiborra/fcad435bdf8717ceeecf392549329c19 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--> { | |
"jsonrpc": "2.0", | |
"params": { | |
"rootUri": "file:///Users/pepeiborra/scratch/ide/test/testdata/format", | |
"processId": 78600, | |
"clientInfo": { | |
"name": "lsp-test", | |
"version": "0.13.0.0" | |
}, | |
"rootPath": "/Users/pepeiborra/scratch/ide/test/testdata/format", | |
"capabilities": { | |
"window": { | |
"workDoneProgress": true | |
}, | |
"workspace": { | |
"didChangeWatchedFiles": { | |
"dynamicRegistration": true | |
}, | |
haskell-language-server | |
"symbol": { | |
"symbolKind": { | |
"valueSet": [ | |
format document | |
1, | |
2, | |
3, | |
formatting provider | |
4, | |
5, | |
6, | |
respects initial: 7, | |
8, | |
9, | |
10, | |
11, | |
12, | |
13, | |
14, | |
15, | |
16, | |
17, | |
18, | |
19, | |
20, | |
21, | |
22, | |
23, | |
24, | |
25, | |
26 | |
] | |
}, | |
"dynamicRegistration": true | |
}, | |
"workspaceEdit": { | |
"documentChanges": true, | |
"resourceOperations": [ | |
"create", | |
"delete", | |
"rename" | |
] | |
}, | |
"didChangeConfiguration": { | |
"dynamicRegistration": true | |
}, | |
"applyEdit": true, | |
"executeCommand": { | |
"dynamicRegistration": true | |
}, | |
"workspaceFolders": true, | |
"configuration": true | |
}, | |
"textDocument": { | |
"completion": { | |
"dynamicRegistration": true, | |
"contextSupport": true, | |
"completionItem": { | |
"tagSupport": { | |
"valueSet": [ | |
1 | |
] | |
}, | |
"preselectSupport": true, | |
"commitCharactersSupport": true, | |
"snippetSupport": true, | |
"deprecatedSupport": true, | |
"documentationFormat": [ | |
"plaintext", | |
"markdown" | |
] | |
}, | |
"completionItemKind": { | |
"valueSet": [ | |
1, | |
2, | |
3, | |
4, | |
5, | |
6, | |
7, | |
8, | |
9, | |
10, | |
11, | |
12, | |
13, | |
14, | |
15, | |
16, | |
17, | |
18, | |
19, | |
20, | |
21, | |
22, | |
23, | |
24, | |
25 | |
] | |
} | |
}, | |
"documentHighlight": { | |
"dynamicRegistration": true | |
}, | |
"selectionRange": { | |
"dynamicRegistration": true | |
}, | |
"synchronization": { | |
"dynamicRegistration": true, | |
"willSave": true, | |
"didSave": true, | |
"willSaveWaitUntil": true | |
}, | |
"definition": { | |
"linkSupport": true, | |
"dynamicRegistration": true | |
}, | |
"signatureHelp": { | |
"dynamicRegistration": true, | |
"signatureInformation": { | |
"documentationFormat": [ | |
"plaintext", | |
"markdown" | |
] | |
} | |
}, | |
"references": { | |
"dynamicRegistration": true | |
}, | |
"rangeFormatting": { | |
"dynamicRegistration": true | |
}, | |
"declaration": { | |
"linkSupport": true, | |
"dynamicRegistration": true | |
}, | |
"codeAction": { | |
"codeActionLiteralSupport": { | |
"codeActionKind": { | |
"valueSet": [ | |
"quickfix", | |
"refactor", | |
"refactor.extract", | |
"refactor.inline", | |
"refactor.rewrite", | |
"source", | |
"source.organizeImports" | |
] | |
} | |
}, | |
"isPreferredSupport": true, | |
"dynamicRegistration": true | |
}, | |
"foldingRange": { | |
"lineFoldingOnly": false, | |
"dynamicRegistration": true | |
}, | |
"onTypeFormatting": { | |
"dynamicRegistration": true | |
}, | |
"codeLens": { | |
"dynamicRegistration": true | |
}, | |
"documentSymbol": { | |
"hierarchicalDocumentSymbolSupport": true, | |
"symbolKind": { | |
"valueSet": [ | |
1, | |
2, | |
3, | |
4, | |
5, | |
6, | |
7, | |
8, | |
9, | |
10, | |
11, | |
12, | |
13, | |
14, | |
15, | |
16, | |
17, | |
18, | |
19, | |
20, | |
21, | |
22, | |
23, | |
24, | |
25, | |
26 | |
] | |
}, | |
"dynamicRegistration": true | |
}, | |
"colorProvider": { | |
"dynamicRegistration": true | |
}, | |
"documentLink": { | |
"tooltipSupport": true, | |
"dynamicRegistration": true | |
}, | |
"formatting": { | |
"dynamicRegistration": true | |
}, | |
"implementation": { | |
"linkSupport": true, | |
"dynamicRegistration": true | |
}, | |
"typeDefinition": { | |
"linkSupport": true, | |
"dynamicRegistration": true | |
}, | |
"publishDiagnostics": { | |
"tagSupport": { | |
"valueSet": [ | |
1, | |
2 | |
] | |
}, | |
"relatedInformation": true, | |
"versionSupport": true | |
}, | |
"rename": { | |
"prepareSupport": true, | |
"dynamicRegistration": true | |
}, | |
"hover": { | |
"contentFormat": [ | |
"plaintext", | |
"markdown" | |
], | |
"dynamicRegistration": true | |
} | |
} | |
}, | |
"trace": "off" | |
}, | |
"method": "initialize", | |
"id": 0 | |
} | |
<-- { | |
"result": { | |
"capabilities": { | |
"typeDefinitionProvider": true, | |
"foldingRangeProvider": false, | |
"workspaceSymbolProvider": true, | |
"textDocumentSync": { | |
"openClose": true, | |
"change": 2, | |
"save": {} | |
}, | |
"workspace": { | |
"workspaceFolders": { | |
"supported": true, | |
"changeNotifications": true | |
} | |
}, | |
"implementationProvider": false, | |
"selectionRangeProvider": false, | |
"documentRangeFormattingProvider": true, | |
"documentHighlightProvider": true, | |
"executeCommandProvider": { | |
"commands": [ | |
"78602:class:addMinimalMethodPlaceholders", | |
"78602:eval:evalCommand", | |
"78602:ghcide-completions:extendImport", | |
"78602:ghcide-type-lenses:typesignature.add", | |
"78602:importLens:ImportLensCommand", | |
"78602:moduleName:edit", | |
"78602:retrie:retrieCommand", | |
"78602:splice:expandTHSpliceInplace", | |
"78602:tactic:tacticsAutoCommand", | |
"78602:tactic:tacticsIntrosCommand", | |
"78602:tactic:tacticsDestructCommand", | |
"78602:tactic:tacticsHomomorphismCommand", | |
"78602:tactic:tacticsDestructLambdaCaseCommand", | |
"78602:tactic:tacticsHomomorphismLambdaCaseCommand" | |
] | |
}, | |
"renameProvider": false, | |
"colorProvider": false, | |
"definitionProvider": true, | |
"hoverProvider": true, | |
"codeActionProvider": true, | |
"completionProvider": { | |
"triggerCharacters": [ | |
"." | |
], | |
"resolveProvider": false | |
}, | |
"codeLensProvider": { | |
"resolveProvider": false, | |
"workDoneProgress": false | |
}, | |
"documentSymbolProvider": true, | |
"documentFormattingProvider": true, | |
"referencesProvider": true, | |
"declarationProvider": false | |
} | |
}, | |
"jsonrpc": "2.0", | |
"id": 0 | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": {}, | |
"method": "initialized" | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": { | |
"settings": { | |
"haskell": { | |
"formattingProvider": "floskell" | |
} | |
} | |
}, | |
"method": "workspace/didChangeConfiguration" | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": { | |
"textDocument": { | |
"languageId": "haskell", | |
"text": "module Format where\nimport Data.List\n\nimport Prelude\nimport Data.Int\nfoo :: Int -> Int\nfoo 3 = 2\nfoo x = x\nbar :: String -> IO String\nbar s = do\n x <- return \"hello\"\n return \"asdf\"\n\ndata Baz = Baz { a :: Int, b :: String }\n\n", | |
"uri": "file:///Users/pepeiborra/scratch/ide/test/testdata/format/Format.hs", | |
"version": 0 | |
} | |
}, | |
"method": "textDocument/didOpen" | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": { | |
"textDocument": { | |
"uri": "file:///Users/pepeiborra/scratch/ide/test/testdata/format/Format.hs" | |
}, | |
"options": { | |
"tabSize": 2, | |
"insertSpaces": true | |
} | |
}, | |
"method": "textDocument/formatting", | |
"id": 1 | |
} | |
<-- { | |
"jsonrpc": "2.0", | |
"params": { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "**/*.hs" | |
}, | |
{ | |
"kind": 5, | |
"globPattern": "**/*.hs-boot" | |
}, | |
{ | |
"kind": 5, | |
"globPattern": "**/*.lhs" | |
}, | |
{ | |
"kind": 5, | |
"globPattern": "**/*.lhs-boot" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "globalFileWatches" | |
} | |
] | |
}, | |
"method": "client/registerCapability", | |
"id": 0 | |
} | |
<-- { | |
"result": [ | |
{ | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 15, | |
"character": 0 | |
} | |
}, | |
"newText": "module Format where\n\nimport Data.List\nimport Prelude\nimport Data.Int\n\nfoo :: Int -> Int\nfoo 3 = 2\nfoo x = x\n\nbar :: String -> IO String\nbar s = do\n x <- return \"hello\"\n return \"asdf\"\n\ndata Baz = Baz { a :: Int, b :: String }\n\n" | |
} | |
], | |
"jsonrpc": "2.0", | |
"id": 1 | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": { | |
"contentChanges": [ | |
{ | |
"text": "module Format where\n\nimport Data.List\nimport Prelude\nimport Data.Int\n\nfoo :: Int -> Int\nfoo 3 = 2\nfoo x = x\n\nbar :: String -> IO String\nbar s = do\n x <- return \"hello\"\n return \"asdf\"\n\ndata Baz = Baz { a :: Int, b :: String }\n\n", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 15, | |
"character": 0 | |
} | |
} | |
} | |
], | |
"textDocument": { | |
"uri": "file:///Users/pepeiborra/scratch/ide/test/testdata/format/Format.hs", | |
"version": 1 | |
} | |
}, | |
"method": "textDocument/didChange" | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": null, | |
"method": "shutdown", | |
"id": 0 | |
} | |
--> { | |
"result": [], | |
"jsonrpc": "2.0", | |
"id": 1 | |
} | |
<-- { | |
"jsonrpc": "2.0", | |
"params": { | |
"token": 0 | |
}, | |
"method": "window/workDoneProgress/create", | |
"id": 1 | |
} | |
<-- { | |
"jsonrpc": "2.0", | |
"params": { | |
"value": { | |
"kind": "begin", | |
"cancellable": false, | |
"title": "Setting up testdata (for Format.hs)" | |
}, | |
"token": 0 | |
}, | |
"method": "$/progress" | |
} | |
<-- { | |
"jsonrpc": "2.0", | |
"params": { | |
"value": { | |
"kind": "end" | |
}, | |
"token": 0 | |
}, | |
"method": "$/progress" | |
} | |
<-- { | |
"result": null, | |
"jsonrpc": "2.0", | |
"id": 0 | |
} | |
--> { | |
"jsonrpc": "2.0", | |
"params": null, | |
"method": "exit" | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment