idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Apropos

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

textIn :: Text -> Text -> BoolSource

class Apropos a whereSource

Methods

isApropos :: Text -> a -> BoolSource

Instances