idris-1.3.1: Functional Programming Language with Dependent Types
Idris.Apropos
Description
apropos :: IState -> Text -> [Name] Source #
Find definitions that are relevant to all space-delimited components of some string. Relevance is one or more of the following:
aproposModules :: IState -> Text -> [(String, Docstring DocTerm)] Source #
Find modules whose names or docstrings contain all the space-delimited components of some string.