start_purs_ide_server
Launch the PureScript IDE server to enable type checking, auto-completion, and error detection. Automatically stops existing servers to prevent conflicts, selects a random port, and requires an absolute project path. Essential for pursIde* tools functionality.
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
TableJSON 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 |