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
| 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 |
Input Schema (JSON Schema)
{
"additionalProperties": false,
"properties": {
"log_level": {
"default": "none",
"enum": [
"all",
"debug",
"perf",
"none"
],
"type": "string"
},
"output_directory": {
"default": "output/",
"type": "string"
},
"project_path": {
"description": "Absolute path to the PureScript project directory. Only absolute paths are supported.",
"type": "string"
},
"source_globs": {
"default": [
"src/**/*.purs",
".spago/*/*/src/**/*.purs",
"test/**/*.purs"
],
"items": {
"type": "string"
},
"type": "array"
}
},
"required": [
"project_path"
],
"type": "object"
}