Documentation

Batteries.Lean.Position

Gets the LSP range of syntax stx.

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

Return the beginning of the line contatining character pos.

Equations

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.