Language.PureScript.Ide.Filter

Filters for psc-ide commands

Documentation

data Filter

Instances

FromJSON Filter

Defined in Language.PureScript.Ide.Filter

Methods

parseJSON :: Value -> Parser Filter

parseJSONList :: Value -> Parser [Filter]

Show Filter

Defined in Language.PureScript.Ide.Filter

Methods

showsPrec :: Int -> Filter -> ShowS

show :: Filter -> String

showList :: [Filter] -> ShowS

moduleFilter :: Set ModuleName -> Filter

Only keeps Declarations in the given modules

namespaceFilter :: Set IdeNamespace -> Filter

Only keeps Identifiers in the given Namespaces

exactFilter :: Text -> Filter

Only keeps Identifiers that are equal to the search string

prefixFilter :: Text -> Filter

Only keeps Identifiers that start with the given prefix

declarationTypeFilter :: Set DeclarationType -> Filter

Only keeps Identifiers in the given type declarations

applyFilters :: [Filter] -> ModuleMap [IdeDeclarationAnn] -> ModuleMap [IdeDeclarationAnn]