pursIdeReset
Clear all loaded modules from the PureScript IDE server's memory to aid in switching projects or handling major code changes. Ensures a clean slate before reloading with pursIdeLoad.
Instructions
Clear all loaded modules from the IDE server's memory. PREREQUISITE: IDE server must be running. Use when switching projects or after major code changes. You'll need to run pursIdeLoad again after this.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
No arguments |