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
|
|
|
===============================================================================
|
2021-10-11 05:30:43 -04:00
|
|
|
purs-tidy *ale-purescript-tidy*
|
|
|
|
|
|
|
|
|
|
g:ale_purescript_tidy_executable *g:ale_purescript_tidy_executable*
|
|
|
|
|
*b:ale_purescript_tidy_executable*
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `'purs-tidy'`
|
|
|
|
|
|
|
|
|
|
This variable can be changed to use a different executable for purs-tidy.
|
|
|
|
|
|
|
|
|
|
g:ale_purescript_tidy_use_global *g:ale_purescript_tidy_use_global*
|
|
|
|
|
*b:ale_purescript_tidy_use_global*
|
|
|
|
|
Type: |Number|
|
|
|
|
|
Default: `get(g:, 'ale_use_global_executables', 0)`
|
|
|
|
|
|
|
|
|
|
See |ale-integrations-local-executables|
|
|
|
|
|
|
|
|
|
|
g:ale_purescript_tidy_options *g:ale_purescript_tidy_options*
|
|
|
|
|
*b:ale_purescript_tidy_options*
|
2022-11-20 06:21:23 -05:00
|
|
|
Type: |String|
|
2021-10-11 05:30:43 -04:00
|
|
|
Default: `''`
|
|
|
|
|
|
|
|
|
|
This variable can be set to pass in additional option to the 'purs-tidy'
|
|
|
|
|
executable.
|
|
|
|
|
>
|
|
|
|
|
let g:ale_purescript_options = '--indent 3'
|
|
|
|
|
<
|
|
|
|
|
===============================================================================
|
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:
|
