Download-purescript NPM

download-purescript

A Node.js module to download a prebuilt PureScript binary

const {readdir} = require('fs').promises;
const downloadPurescript = require('download-purescript');

downloadPurescript().subscribe({
  async complete() {
    (await readdir('.')).includes('purs'); //=> true
  }
});

Installation

Use npm.

npm install download-purescript

API

const downloadPurescript = require('download-purescript');

downloadPurescript(options)

options: Object
Return: Observable (Kevin Smith's implementation)

When the Observable is subscribed, it starts to download a tar.gz archive of a PureScript binary for the current platform from the release page, extract it to the current working directory and successively send dl-tar's progress objects to its Observer.

Options

You can pass options to Request and node-tar's Unpack constructor. Note that:

strip option defaults to 1 and can't be changed.
All files except for purs and purs.exe, for example README, won't be downloaded by default. Pass () => true to filter option if you want to download all files included in the archive.
followRedirect option defaults to true and cannot be disabled.

Additionally, you can use the following:

version

Type: string
Default: 0.12.5

Specify the version you want to download.

const {execFileSync} = require('child_process');

downloadPurescript({version: '0.12.4'}).subscribe({
  complete() {
    execFileSync('./purs', ['--version'], {encoding: 'utf8'}).trim(); //=> '0.12.4' (not '0.12.5')
  }
});