License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.Apropos
Description
Documentation
apropos :: IState -> Text -> [Name] #
Find definitions that are relevant to all space-delimited components of some string. Relevance is one or more of the following:
- the string is a substring of the name
- the string occurs in the documentation string
- the type of the definition is apropos
aproposModules :: IState -> Text -> [(String, Docstring DocTerm)] #
Find modules whose names or docstrings contain all the space-delimited components of some string.