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

textIn :: Text -> Text -> Bool

class Apropos a where

Methods

isApropos :: Text -> a -> Bool

Instances

Apropos Const

Apropos Name

Apropos Def

Apropos Docstring

Apropos a => Apropos [a]

Apropos a => Apropos (Maybe a)

Apropos (TT Name)

Apropos (Binder (TT Name))

(Apropos a, Apropos b) => Apropos (a, b)

defType :: Def -> Type