@@ -68,7 +68,7 @@ The `complete` command looks up possible completions/corrections.
6868
6969 If no matcher is given every candidate, that passes the filters, is returned
7070 in no particular order.
71-
71+
7272``` json
7373{
7474 "command" : " complete" ,
@@ -106,7 +106,7 @@ couldn't be extracted from a source file.
106106```
107107
108108
109- ### CaseSplit
109+ ### CaseSplit
110110
111111The CaseSplit command takes a line of source code, an area in that line of code
112112and replaces it with all patterns for a given type. The parameter ` annotations `
@@ -250,9 +250,9 @@ Example:
250250 "importCommand" : {
251251 "importCommand" : " addImport" ,
252252 "identifier" : " bind"
253- }
253+ }
254254 }
255- }
255+ }
256256```
257257
258258### Rebuild
@@ -381,7 +381,7 @@ The list commmand can also list the imports for a given file.
381381
382382The list import command returns a list of imports where imports are of the following form:
383383
384- Implicit Import(` import Data.Array ` ):
384+ Implicit Import (` import Data.Array ` ):
385385``` json
386386[
387387 {
@@ -391,7 +391,7 @@ Implicit Import(`import Data.Array`):
391391]
392392```
393393
394- Implicit qualified Import(` import qualified Data.Array as A ` ):
394+ Implicit qualified Import (` import Data.Array as A ` ):
395395``` json
396396[
397397 {
@@ -402,7 +402,7 @@ Implicit qualified Import(`import qualified Data.Array as A`):
402402]
403403```
404404
405- Explicit Import(` import Data.Array (filter, filterM, join) ` ):
405+ Explicit Import (` import Data.Array (filter, filterM, join) ` ):
406406``` json
407407[
408408 {
@@ -413,7 +413,19 @@ Explicit Import(`import Data.Array (filter, filterM, join)`):
413413]
414414```
415415
416- Hiding Import(` import Data.Array hiding (filter, filterM, join) ` ):
416+ Explicit qualified Import (` import Data.Array (filter, filterM, join) as A ` ):
417+ ``` json
418+ [
419+ {
420+ "module" : " Data.Array" ,
421+ "importType" : " explicit" ,
422+ "identifiers" : [" filter" , " filterM" , " join" ],
423+ "qualifier" : " A"
424+ }
425+ ]
426+ ```
427+
428+ Hiding Import (` import Data.Array hiding (filter, filterM, join) ` ):
417429``` json
418430[
419431 {
@@ -423,6 +435,19 @@ Hiding Import(`import Data.Array hiding (filter, filterM, join)`):
423435 }
424436]
425437```
438+
439+ Qualified Hiding Import (` import Data.Array hiding (filter, filterM, join) as A ` ):
440+ ``` json
441+ [
442+ {
443+ "module" : " Data.Array" ,
444+ "importType" : " hiding" ,
445+ "identifiers" : [" filter" , " filterM" , " join" ],
446+ "qualifier" : " A"
447+ }
448+ ]
449+ ```
450+
426451### Cwd/Quit/Reset
427452` cwd ` returns the working directory of the server(should be your project root).
428453
0 commit comments