Language.PureScript.Ide.Filter

Documentation

data Filter

Instances

FromJSON Filter

Monoid Filter

moduleFilter :: [ModuleIdent] -> Filter

Only keeps the given Modules

prefixFilter :: Text -> Filter

Only keeps Identifiers that start with the given prefix

equalityFilter :: Text -> Filter

Only keeps Identifiers that are equal to the search string

dependencyFilter :: [ModuleIdent] -> Filter

Only keeps the given Modules and all of their dependencies

runFilter :: Filter -> [Module] -> [Module]

applyFilters :: [Filter] -> [Module] -> [Module]