Mbrowse (merlin-lib.merlin-lib.kernel.Merlin

type node = Merlin_specific.Browse_raw.node

type t = (Ocaml_typing.Env.t * node) list

module Let_pun_behavior : sig ... end

val fold_node : 
  (Ocaml_typing.Env.t -> Merlin_specific.Browse_raw.node -> 'a -> 'a) ->
  Ocaml_typing.Env.t ->
  Merlin_specific.Browse_raw.node ->
  'a ->
  'a

val node_loc : Merlin_specific.Browse_raw.node -> Ocaml_parsing.Location.t

val leaf_node : t -> Ocaml_typing.Env.t * node

val drop_leaf : t -> t option

val deepest_before : 
  ?let_pun_behavior:Let_pun_behavior.t ->
  Merlin_utils.Std.Lexing.position ->
  t list ->
  t

The deepest context inside or before the node, for instance, navigating * through: * foo bar (baz :: tail) <cursor> * asking for node from cursor position will return context of "tail". * Returns the matching node and all its ancestors or the empty list.

let_pun_behavior dictates whether to prefer the expression or pattern node in a punned let expression. The default is Prefer_pattern

val select_open_node : 
  t ->
  (Ocaml_typing.Path.t * Ocaml_parsing.Longident.t * t) option

val enclosing : 
  ?let_pun_behavior:Let_pun_behavior.t ->
  Merlin_utils.Std.Lexing.position ->
  t list ->
  t

let_pun_behavior dictates whether to prefer the expression or pattern node in a punned let expression. The default is Prefer_pattern

val of_structure : Ocaml_typing.Typedtree.structure -> t

val of_signature : Ocaml_typing.Typedtree.signature -> t

val of_typedtree : 
  [ `Implementation of Ocaml_typing.Typedtree.structure
  | `Interface of Ocaml_typing.Typedtree.signature ] ->
  t

val node_of_binary_part : 
  Ocaml_typing.Env.t ->
  Ocaml_typing.Cmt_format.binary_part ->
  node

val is_recovered_expression : Ocaml_typing.Typedtree.expression -> bool

Identify nodes introduced by recovery

val is_recovered : Merlin_specific.Browse_raw.node -> bool

val optional_label_sugar : 
  Ocaml_typing.Typedtree.expression_desc ->
  Ocaml_typing.Typedtree.expression option

When an optional argument is applied with labelled syntax sugar (~a:v instead of ?a:(Some v)), the frontend will have wrapped it in Some _. optional_label_sugar exp returns Some exp' with the sugar removed in that case.

Dump

val print_node : unit -> node -> string

val print : unit -> t -> string