package dune-private-libs

You can search for identifiers within the package.

in-package search v0.2.0

Private libraries of Dune

Install

sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b

sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

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

type t = unit -> User_message.Style.t Pp.t option

Function that produces the current status line

val set : t -> unit

Change the status line generator

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

val refresh : unit -> unit