Idris2Doc : Language.LSP.VirtualDocument

Language.LSP.VirtualDocument

(source)

Definitions

identifierAtPosition : Position->String->String
  Determines an identifier like string at a given position.

The empty String will be reported if the position points to a non-existent
part of the String. This function is needed when generating the suggestion list.

Totality: total
Visibility: export
changeVirtualContent : List (OneOf [TextDocumentContentChangeEvent, TextDocumentContentChangeEventWithRange]) ->String->EitherStringString
Totality: total
Visibility: export