package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

dune-project

Dependency

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

Sourcetype completion =

val pp_completion : 
  Ppx_deriving_runtime.Format.formatter ->
  completion ->
  Ppx_deriving_runtime.unit

Sourceval show_completion : completion -> Ppx_deriving_runtime.string

Sourcemodule S : sig ... end

Sourcetype completion_kind = {

}

Sourceval subtree_completion : completion_kind

Sourceval asset_completion : completion_kind

Sourceval uri_completion : completion_kind

Sourceval new_uri_completion : completion_kind

val completion_types : 
  Forester_core.Tree.t ->
  position:Lsp.Types.Position.t ->
  S.t

Sourceval kind : Forester_core.Syn.node -> Lsp.Types.CompletionItemKind.t option

Sourceval insert_text : string list -> string

val asset_completions : 
  config:Forester_core.Config.t ->
  unit ->
  Lsp.Types.CompletionItem.t list

val make : 
  (Yuujinchou.Trie.path * (Forester_core.Resolver.P.data * Asai.Range.t option)) ->
  Lsp.Types.CompletionItem.t option

Sourcemodule Syntax : sig ... end

Sourceval syntax_completions : Lsp.Types.CompletionItem.t list

val compute : 
  Lsp.Types.CompletionParams.t ->
  [> `CompletionList of Lsp.Types.CompletionList.t ] option