Documentation

TermColor.Repl.FileCompletion

TermColor.Repl.FileCompletion #

Filesystem completion for the token under the cursor.

source
structure TermColor.Repl.FileCompletionConfig :
Type
  • maxCandidates : Nat
  • includeHidden : Bool
Instances For
    source
    def TermColor.Repl.instReprFileCompletionConfig.repr :
    FileCompletionConfig → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[instance_reducible]
      instance TermColor.Repl.instReprFileCompletionConfig :
      Repr FileCompletionConfig
      Equations
      source
      def TermColor.Repl.fileCompletions (config : FileCompletionConfig) (input : Widgets.TextInputState) :
      IO (List Completion)
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def TermColor.Repl.defaultFileCompletions (input : Widgets.TextInputState) :
        IO (List Completion)
        Equations
        Instances For