Idris2Doc : Language.LSP.Message.URI

Language.LSP.Message.URI

(source)
Reexports
import public Data.URI
Definitions
DocumentURI : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#uri

  Totality: total
  Visibility: public export