pursIdeList
Retrieve available modules or import lists in a PureScript project to analyze structure and dependencies. Requires IDE server running with modules loaded.
Instructions
List available modules in the project or imports in a specific file. PREREQUISITES: IDE server running and modules loaded. Helps understand project structure and dependencies.
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": {
"listType": "<listType>"
},
"name": "pursIdeList"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | No | Path to the .purs file (required for 'import' listType). | |
| listType | Yes | Type of list to retrieve. |