Documentation

Lean.Data.Lsp.Communication

def IO.FS.Stream.readLspRequestAs (h : IO.FS.Stream) (expectedMethod : String) (α : Type) [inst : Lean.FromJson α] :
Equations
def IO.FS.Stream.readLspNotificationAs (h : IO.FS.Stream) (expectedMethod : String) (α : Type) [inst : Lean.FromJson α] :
Equations
Equations
Equations