Documentation

Batteries.Lean.Position

Gets the LSP range of syntax stx.

Equations
  • text.rangeOfStx? stx = text.utf8RangeToLspRange <$> stx.getRange?
Instances For

    Return the beginning of the line contatining character pos.

    Equations
    Instances For

      Return the indentation (number of leading spaces) of the line containing pos, and whether pos is the first non-whitespace character in the line.

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