purescript
Options
Section titled “Options”languages.purescript.enable
Section titled “languages.purescript.enable”Whether to enable tools for PureScript development.
Type: boolean
Default:
falseExample:
trueDeclared by:
languages.purescript.package
Section titled “languages.purescript.package”The PureScript compiler package to use. Uses purescript-overlay by default.
Type: package
Default:
purescript-overlay.packages.${pkgs.stdenv.system}.pursDeclared by:
languages.purescript.lsp.enable
Section titled “languages.purescript.lsp.enable”Whether to enable PureScript Language Server.
Type: boolean
Default:
trueExample:
trueDeclared by:
languages.purescript.lsp.package
Section titled “languages.purescript.lsp.package”The PureScript language server package to use. Uses purescript-overlay by default.
Type: package
Default:
purescript-overlay.packages.${pkgs.stdenv.system}.purescript-language-serverDeclared by:
languages.purescript.spago.enable
Section titled “languages.purescript.spago.enable”Whether to enable Spago package manager.
Type: boolean
Default:
trueExample:
trueDeclared by:
languages.purescript.spago.package
Section titled “languages.purescript.spago.package”The Spago package manager to use. Uses purescript-overlay by default.
Type: package
Default:
purescript-overlay.packages.${pkgs.stdenv.system}.spagoDeclared by:

