Idris.Apropos

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.