Idris2Doc : Idris.REPL.FuzzySearch

Idris.REPL.FuzzySearch

(source)
Reexports
import public Idris.REPL.Common
Definitions
fuzzySearch : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => PTerm -> Core REPLResult
  Visibility: export