package lsp

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module User_message.AnnotsSource

include Univ_map.S
Sourcetype t

A universal map is a map that can store values for arbitrary keys. It is the the key that conveys the type of the data associated to it.

Sourcemodule Key : sig ... end
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval mem : t -> 'a Key.t -> bool
Sourceval set : t -> 'a Key.t -> 'a -> t
Sourceval add : t -> 'a Key.t -> 'a -> (t, 'a) Result.t
Sourceval update : t -> 'a Key.t -> f:('a option -> 'a option) -> t
Sourceval remove : t -> 'a Key.t -> t
Sourceval find : t -> 'a Key.t -> 'a option
Sourceval find_exn : t -> 'a Key.t -> 'a
Sourceval singleton : 'a Key.t -> 'a -> t
Sourceval superpose : t -> t -> t

superpose a b is b augmented with bindings of a that are not in b.

Sourceval to_dyn : t -> Dyn.t
Sourceval to_dyns : t -> (string * Dyn.t) list

to_dyns m is an assoc list pairing keys to (representations of) values

Sourceval has_embedded_location : unit Key.t

The message has a location embed in the text.

Sourceval needs_stack_trace : unit Key.t

The message needs a stack trace for clarity.

OCaml

Innovation. Community. Security.