package lsp

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

This module allows to buffer status updates so that they don't slow down the application

type t = User_message.Style.t Pp.t option

The current status line

val set_live : (unit -> t) -> unit

Change the status line generator to a "live" value that's updated continuously, such as a progress indicator. This message is not shown when a "dumb" terminal backend is in use.

val set_constant : t -> unit

Set the status line to a fixed value. Unlike with set_live, this text is printed even if a dumb console backend is in use.

val set_live_temporarily : (unit -> t) -> (unit -> 'a) -> 'a

set_live_temporarily status f sets the status line to a given live value for the duration of f and then reverts to the old value.

val refresh : unit -> unit