PureScript.Ide.Filter
data Filter
moduleFilter
prefixFilter
equalityFilter
dependencyFilter
runFilter
applyFilters