Language.PureScript.Ide.Filter

purescript-0.15.15: PureScript Programming Language Compiler

Safe Haskell | None
Language | Haskell2010

Language.PureScript.Ide.Filter

Description

Filters for psc-ide commands

Synopsis

- data Filter
- moduleFilter :: Set ModuleName -> Filter
- namespaceFilter :: Set IdeNamespace -> Filter
- exactFilter :: Text -> Filter
- prefixFilter :: Text -> Filter
- declarationTypeFilter :: Set DeclarationType -> Filter
- dependencyFilter :: Maybe ModuleName -> ModuleName -> [Import] -> Filter
- applyFilters :: [Filter] -> ModuleMap [IdeDeclarationAnn] -> ModuleMap [IdeDeclarationAnn]

# Documentation

data Filter #

#### Instances

Instances details

FromJSON Filter # |
Instance details Defined in Language.PureScript.Ide.Filter Methods parseJSON :: Value -> Parser Filter # parseJSONList :: Value -> Parser [Filter] # omittedField :: Maybe Filter #
Show Filter # |
Instance details 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

dependencyFilter :: Maybe ModuleName -> ModuleName -> [Import] -> Filter #

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