Documentation

Lean.Data.Lsp.CancelParams

Defines Lean.Lsp.CancelParams. #

This is separate from Lean.Data.Lsp.Basic to reduce transitive dependencies.

source
structure Lean.Lsp.CancelParams :
Type
Instances For
    source
    instance Lean.Lsp.instInhabitedCancelParams :
    Inhabited CancelParams
    Equations
      source
      instance Lean.Lsp.instBEqCancelParams :
      BEq CancelParams
      Equations
        source
        instance Lean.Lsp.instToJsonCancelParams :
        ToJson CancelParams
        Equations
          source
          instance Lean.Lsp.instFromJsonCancelParams :
          FromJson CancelParams
          Equations