Documentation

Lean.Server.FileWorker.SignatureHelp

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    • pipeArg : CandidateKind

      Cursor is in the position of the argument to a pipe, like <| or $. Low precedence. Ensures that fun <| otherFun <cursor> yields the signature help of otherFun, not fun.

    • termArg : CandidateKind

      Cursor is in the position of the trailing whitespace of some term. Medium precedence. Ensures that fun otherFun <cursor> yields the signature help of fun, not otherFun.

    • appArg : CandidateKind

      Cursor is in the position of the argument to a function that already has other arguments applied to it. High precedence.

    Instances For
      • continue : SearchControl

        In a syntax stack, keep searching upwards, continuing with the parent of the current term.

      • stop : SearchControl

        Stop the search through a syntax stack.

      Instances For
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For