idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Apropos

Description

 

Synopsis

Documentation

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:

  • 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)] Source #

Find modules whose names or docstrings contain all the space-delimited components of some string.