ide-purescript package for Atom

This package provides editor support for PureScript projects in Atom. Dependency language-purescript provides syntax highlighting.

This package provides:

Autocomplete
Tooltips
Go-to-definition
Pursuit lookup and local search
PSCI
Build and error reporting
Quick-Fix
Case-Split

Package should trigger on opening a .purs file or running any PureScript/PSCI command from the menu bar or command palette.

Installation and General Use

For best results (and default settings) install dependencies:

psc 0.8.5 or >= 0.9.1 (includes psc-ide-server as standard)
- 0.9.2 required for go-to definition, 0.9.x for some compiler suggestions
pulp >= 8.0.0 (appropriate for your psc version). >=10.0.0 recommended to use default build command

Required atom packages - these should be auto-installed by starting the package, eg by running any PureScript command.

language-purescript
Linter are required,

Optional atom packages:

hyperclick - click to go to definition (this package contains a hyperclick provider)

For use with older versions of pulp, or for alternative build tools and configuration tips, see below. In brief the build command is configurable, but should output JSON errors.

psc-ide

This package runs a server process, psc-ide-server, to provide type information, completions, etc. This package will automatically start psc-ide-server in your project directory (port is configurable) and kill it when closing, if for some reason you want a longer running server process you should be able to start that before starting atom.

Multiple PureScript projects are now supported, whether in one or multiple Atom windows, see release notes for details.

Note psc-ide-client is not used.

For all functions provided by psc-ide you will need to build your project first! In particular a full build, not a "fast-build" on save, is required first time or after upgrading psc, afterwards saving individual files will update tooltips etc.

Autocomplete

Provided from psc-ide. Make sure your project is built first. Only for top level definitions.

Completions will be sourced from all available modules by default; this is configurable to just those imported in the current file, in which case explicitly (re-)triggering the completion will expand to show all modules.

Imports will be inserted automatically for completions! Again this is configurable.

Tooltips

Hovering over an identifier will show a tooltip with its type (only for top level definitions):

This is really stupid, and only cares that you hover over a word regardless of context, you will get some false positives.

Go to definitions

The command Ide PureScript: Goto Definition is available (default binding ctrl-o g). This is available with psc-ide version 0.9.2 and above, and like tooltips/autocomplete works on identifiers bound at the top level. Placing the cursor on the identifier and executing the command should open the appropriate file at the correct place. In case source positions are not up to date (they may not be updated on rebuild, try rebuilding or restarting psc-ide server).

If the package hyperclick is installed, goto definition will be availble on alt/cmd-click also.

Pursuit lookup

Command available from the command palette:

PureScript search - search for identifiers, by identifier or type
PureScript search modules - find package by module
PureScript search - a local search of identifiers from built modules

PSCI

Basic PSCI REPL integration (runs pulp psci). Comprises a read-only pane which displays PSCI output, and an input field to send expressions to the REPL (just hitting enter). Input can be sent from the current buffer by line or selection.

Command from the command palette:

PSCI: Open - open a PSCI buffer
PSCI: Send Line
PSCI: Send Selection

Build

Build support is provided via pulp build by default, configurable to any command which will output psc errors. This can be configured to run on save, alternatively there is a 'PureScript Build' command.

As well as this there is "fast rebuild" via psc-ide-server on save (by default), this will build an individual file. The recommended approach is to run a full build initially and after any dependency upgrades, compiler updates, etc. or when producing build artifacts, and otherwise quick build for continuous error feedback.

Build configuration hints

The default build command is

pulp build -- --json-errors

(on windows pulp.cmd is called instead). Note This default requires pulp 0.10 as command syntax changed to require -- separator. This is configurable: the command should be on your PATH (or could be an explicit absolute path) with arguments, such that it will output JSON errors as per psc, on stderr. This is not interpreted via shell, simply pulled apart as a list of string separated arguments.

Some alternatives:

Direct psc use: psc bower_components/*/src/**/*.purs bower_components/*/src/**/*.js src/**/*.purs src/**/*.js --json-errors
Run a purescript-gulp based build: gulp - again need to ensure this outputs JSON errors, you probably want a specific task for this.
Pulp passing through psa: pulp build -- --stash --json-errors

This will pass through psc errors as JSON but also integrate to any external psa stash, e.g. if you're running psa on a terminal somewhere. Right now the stashed warnings are not exposed in the JSON.
Ensure tests are compiled in the build: pulp build --include test -- --json-errors
Via npm run script: npm run -s build. Or if the run script does not output json errors you might be able to pass an extra flag: npm run -s build -- --json-errors - more information on this issue.

Since atom unfortunately does not support per-project configuration, the npm run script approach may be particularly useful where you have different projects that build differently. Alternatively you can look into the project-manager package.

You may be able to get away without thinking about all this if your project specific setup is only required for a "full" build (e.g. browserify step) and not just for the basic compilation stage.

Error Suggestions / Quick-Fix

Error suggestions may be triggered from some underlined compiler warnings. There is no additional visual indication. A context menu can be triggered by 'alt-enter' (PureScript: Show Quick Fixes) when the cursor is on an eligible warning. Currently fixable warnings:

Unused or duplicate import (UnusedImport, DuplicateImport)
Extraneous identifiers in explicit import list (UnusedExplicitImport)
Implicit imports that should be made explicit - this will apply to all but remember that 1 open import is allowed without warning (ImplicitImport, ImplicitQualifiedImport, HidingImport)
Missing top level type declaration - add type signature. Note you will need to quantify any type variables that appear, and maybe re-qualify identifiers (MissingTypeDeclaration)
Inferred type for wildcard _ - fill in type signature. Notes as above. (WildcardInferredType)

Case split / add clause

Add clause (default binding: ^O c) - use psc-ide to add a clause to the current top-level function (from cursor on its type definition).
Case split (default binding: ^O s) - with cursor on an function argument identifier, add clauses to the definition to case-split on that argument.

Currently the type of the arguments must be provided by the user.

Hacking on atom-ide-purescript

After cloning, install dependencies • bower install • npm install

Bundle for Atom: npm run bundle Alternatively npm run -s bundle if you want cleaner output

You can use the regular pulp build as part of your tooling or to see compile errors, but bundling is required for the plugin to be usable by Atom and will build the project as part of the task.

To use your local development version, you will first need to uninstall any current version you have installed. Then from within the atom-ide-purescript directory run apm link. This will create a symlink from the Atom plugins directory to your development directory.

MiracleBlue / atom-ide-purescript