pursIdeRebuild

Recompile a single PureScript module instantly for error checking, bypassing full project rebuilds. Requires IDE server and loaded modules. Ideal for immediate feedback during code editing.

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
`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"
}

PureScript MCP Server

pursIdeRebuild

Instructions

Input Schema

Input Schema (JSON Schema)

Other Tools from PureScript MCP Server

Related Tools

MCP directory API