2019-08-22 11:36:17 -04:00
|
|
|
===============================================================================
|
|
|
|
|
ALE PureScript Integration *ale-purescript-options*
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
===============================================================================
|
|
|
|
|
purescript-language-server *ale-purescript-language-server*
|
|
|
|
|
|
|
|
|
|
PureScript Language Server
|
|
|
|
|
(https://github.com/nwolverson/purescript-language-server)
|
|
|
|
|
|
|
|
|
|
g:ale_purescript_ls_executable g:ale_purescript_ls_executable
|
|
|
|
|
b:ale_purescript_ls_executable
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `'purescript-language-server'`
|
|
|
|
|
|
|
|
|
|
PureScript language server executable.
|
|
|
|
|
|
|
|
|
|
g:ale_purescript_ls_config g:ale_purescript_ls_config
|
|
|
|
|
b:ale_purescript_ls_config
|
|
|
|
|
Type: |Dictionary|
|
|
|
|
|
Default: `{}`
|
|
|
|
|
|
|
|
|
|
Dictionary containing configuration settings that will be passed to the
|
|
|
|
|
language server. For example, with a spago project:
|
|
|
|
|
{
|
|
|
|
|
\ 'purescript': {
|
|
|
|
|
\ 'addSpagoSources': v:true,
|
|
|
|
|
\ 'addNpmPath': v:true,
|
2021-07-30 16:52:54 -04:00
|
|
|
\ 'buildCommand': 'spago --quiet build --purs-args --json-errors'
|
2019-08-22 11:36:17 -04:00
|
|
|
\ }
|
|
|
|
|
\}
|
2019-11-16 10:28:42 -05:00
|
|
|
===============================================================================
|
|
|
|
|
purty *ale-purescript-purty*
|
|
|
|
|
|
|
|
|
|
g:ale_purescript_purty_executable *g:ale_purescript_purty_executable*
|
|
|
|
|
*b:ale_purescript_purty_executable*
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `'purty'`
|
|
|
|
|
|
|
|
|
|
This variable can be changed to use a different executable for purty.
|
2019-08-22 11:36:17 -04:00
|
|
|
===============================================================================
|
|
|
|
|
vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
|
