Module `Forester_lsp.Analysis`Source

Sourcemodule Item : sig ... end

Sourceval flatten : Forester_core.Code.t -> Forester_core.Code.t

val paths_in_bindings : 
  (Forester_core__.Base.binding_info * string) list ->
  string list list

Source

val paths : 
  Forester_core.Code.node Forester_core.Range.located ->
  (Forester_core.Trie.path list * Forester_core.Range.t option) option

Source

val extract_addr : 
  Forester_core.Code.node Forester_core.Range.located ->
  string Forester_core.Range.located option

Sourceval analyse : Forester_core.Code.node Forester_core.Range.located -> unit

Source

val analyse_syntax : 
  Forester_core.Code.node Forester_core.Range.located list ->
  Item.t Forester_core.Range.located Seq.t

Source

val contains : 
  position:Lsp.Types.Position.t ->
  Forester_core.Range.t option ->
  bool

Source

val node_at : 
  'a. position:Lsp.Types.Position.t ->
  children:
    ('a Forester_core.Range.located -> 'a Forester_core.Range.located list) ->
  'a Forester_core.Range.located list ->
  'a Forester_core.Range.located option

Source

val get_enclosing_code_group : 
  position:Lsp.Types.Position.t ->
  Forester_core.Tree.t ->
  (Forester_core__.Base.delim * Forester_core.Code.t) Asai.Range.located option

Source

val get_enclosing_syn_group : 
  position:Lsp.Types.Position.t ->
  Forester_core.Tree.t ->
  (Forester_core__.Base.delim * Forester_core.Syn.t) Asai.Range.located option

Source

val enclosing_group_start : 
  position:Lsp.Types.Position.t ->
  enclosing_group:
    (position:Lsp.Types.Position.t ->
      Forester_core.Tree.t ->
      (Forester_core.delim * 'a) Forester_core.Range.located option) ->
  Forester_core.Tree.t ->
  Lsp.Types.Position.t option

Source

val find_with_prev : 
  position:Lsp.Types.Position.t ->
  'a Asai.Range.located list ->
  ('a Asai.Range.located option * 'a Asai.Range.located) option

Sourcemodule Context : sig ... end

Source

val parent_or_prev_at : 
  'a. position:Lsp.Types.Position.t ->
  children:
    ('a Forester_core.Range.located -> 'a Forester_core.Range.located list) ->
  'a Forester_core.Range.located list ->
  'a Forester_core.Range.located Context.t option

Source

val parent_or_prev_at_code : 
  position:Lsp.Types.Position.t ->
  Forester_core.Code.node Forester_core.Range.located list ->
  Forester_core.Code.node Forester_core.Range.located Context.t option

Source

val parent_or_prev_at_syn : 
  position:Lsp.Types.Position.t ->
  Forester_core.Syn.node Forester_core.Range.located list ->
  Forester_core.Syn.node Forester_core.Range.located Context.t option

Source

val node_at_code : 
  position:Lsp.Types.Position.t ->
  Forester_core.Code.node Forester_core.Range.located list ->
  Forester_core.Code.node Forester_core.Range.located option

Source

val node_at_syn : 
  position:Lsp.Types.Position.t ->
  Forester_core.Syn.node Forester_core.Range.located list ->
  Forester_core.Syn.node Forester_core.Range.located option

Source

val get_visible : 
  forest:Forester_compiler.State.t ->
  position:Lsp.Types.Position.t ->
  Forester_core.Code.t ->
  (Forester_core.Syn.resolver_data, Asai.Range.t option) Yuujinchou.Trie.t

Source

val addr_at : 
  position:Lsp.Types.Position.t ->
  Forester_core.Code.node Forester_core.Range.located list ->
  string Forester_core.Range.located option

Sourceexception Found of string

Source

val word_at : 
  position:Lsp.Types.Position.t ->
  Lsp.Text_document.t ->
  string option

Source

val word_before : 
  position:Lsp.Types.Position.t ->
  Lsp.Text_document.t ->
  string option

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.language_server/Forester_lsp/Analysis/index.html

Module `Forester_lsp.Analysis`Source

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.language_server/Forester_lsp/Analysis/index.html

Module Forester_lsp.AnalysisSource

Module `Forester_lsp.Analysis`Source