4 "command": "hie-wrapper",
17 "initializationOptions": {
18 "languageServerHaskell": {
25 "coc.preferences.colorSupport": true,
26 //"coc.preferences.currentFunctionSymbolAutoUpdate": true,
27 "coc.preferences.formatOnSaveFiletypes": [],
28 "coc.preferences.hoverTarget": "echo",
29 "coc.preferences.jumpCommand": "edit",
30 "coc.preferences.rootPatterns": [".git", ".vscode"],
31 "coc.preferences.snippetStatusText": "π",
32 "coc.preferences.useQuickfixForLocations": false,
34 //"coc-actions.hideCursor": false,
35 //"coc-actions.useCursorLine": true,
37 "diagnostic.checkCurrentLine": true,
38 "diagnostic.enableMessage": "always",
39 "diagnostic.messageTarget": "float",
40 "diagnostic.enableSign": true,
41 "diagnostic.errorSign": "E",
42 "diagnostic.hintSign": "H",
43 "diagnostic.infoSign": "I",
44 "diagnostic.warningSign": "W",
45 //"diagnostic.errorSign": "β",
46 //"diagnostic.hintSign": "~",
47 //"diagnostic.infoSign": "β",
48 //"diagnostic.warningSign": "β ",
49 "diagnostic.level": "hint",
50 "diagnostic.locationlist": true,
51 "diagnostic.maxWindowHeight": 10,
52 "diagnostic.refreshAfterSave": false,
53 "diagnostic.refreshOnInsertMode": false,
54 "diagnostic.virtualTextLines": 10,
56 "suggest.detailField": "abbr",
57 "suggest.echodocSupport": true,
58 "suggest.enablePreview": true,
59 "suggest.floatEnable": false,
60 "suggest.noselect": false,
61 "suggest.removeDuplicateItems": true,
62 "suggest.snippetIndicator": "π",
63 "suggest.timeout": 500,
64 "suggest.triggerAfterInsertEnter": false,
65 "suggest.triggerCompletionWait": 100,
66 "suggest.completionItemKindLabels": {
72 "reference": "\ufa46",
77 "interface": "\uf417",
80 "enumMember": "\uf02b",
90 "typeParameter": "\uf728",
94 //"list.source.files.defaultOptions": ["--auto-preview"],
95 //"list.source.outline.defaultOptions": ["--auto-preview"],
97 //"git.enableGutters": true,
98 //"git.branchCharacter":"\uf408",
99 //"git.addGBlameToBufferVar": true,
100 //"git.addGBlameToVirtualText": true,
101 //"git.virtualTextPrefix": " β―β―β― ",
102 //"git.addedSign.hlGroup": "GitGutterAdd",
103 //"git.changedSign.hlGroup": "GitGutterChange",
104 //"git.removedSign.hlGroup": "GitGutterDelete",
105 //"git.topRemovedSign.hlGroup": "GitGutterDelete",
106 //"git.changeRemovedSign.hlGroup": "GitGutterChangeDelete",
107 //"git.addedSign.text":"β",
108 //"git.changedSign.text":"β",
109 //"git.removedSign.text":"β",
110 //"git.topRemovedSign.text": "β",
111 //"git.changeRemovedSign.text": "β"
113 "diagnostic-languageserver.enable": true,
114 "diagnostic-languageserver.debug": true,
115 "diagnostic-languageserver.trace.server": "verbose",