readExternFile | PureScript.Ide.Externs |
reloadFile | PureScript.Ide.Watcher |
removeExportDecls | PureScript.Ide.Reexports |
replaceReexport | PureScript.Ide.Reexports |
replaceReexports | PureScript.Ide.Reexports |
resolveReexports | PureScript.Ide.Reexports |
runFilter | PureScript.Ide.Filter |
runMatcher | PureScript.Ide.Matcher |