start_purs_ide_server
Launch the PureScript IDE server to enable type checking, auto-completion, and error detection. Automatically stops existing servers, selects a random port, and requires an absolute project path for integration with pursIde* tools.
Instructions
Start the PureScript IDE server for type checking, auto-completion, and error detection. Automatically stops any existing server to prevent conflicts. Only run one at a time. Required for all pursIde* tools to work. Automatically selects a random available port to avoid conflicts - the port number is returned in the response. Only accepts absolute paths.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
log_level | No | none | |
output_directory | No | output/ | |
project_path | Yes | Absolute path to the PureScript project directory. Only absolute paths are supported. | |
source_globs | No |