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.
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. |
Input Schema (JSON Schema)
{
"additionalProperties": false,
"properties": {
"actualFile": {
"description": "Optional: Real path if 'file' is 'data:' or a temp file.",
"type": "string"
},
"codegen": {
"description": "Optional: Codegen targets (e.g., 'js', 'corefn'). Defaults to ['js'].",
"items": {
"type": "string"
},
"type": "array"
},
"file": {
"description": "Path to the module to rebuild, or 'data:' prefixed source code.",
"type": "string"
}
},
"required": [
"file"
],
"type": "object"
}