pursIdeRebuild
Recompile a single PureScript module to check for errors, providing immediate feedback during code editing. Requires IDE server and loaded modules, faster than full project rebuild.
Instructions
Quickly recompile a single PureScript module and check for errors. PREREQUISITES: IDE server running and modules loaded. Much faster than full project rebuild. Use when editing code to get immediate feedback.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"file": "<file>"
},
"name": "pursIdeRebuild"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| actualFile | No | Optional: Real path if 'file' is 'data:' or a temp file. | |
| codegen | No | Optional: Codegen targets (e.g., 'js', 'corefn'). Defaults to ['js']. | |
| file | Yes | Path to the module to rebuild, or 'data:' prefixed source code. |