package dune-private-libs
Private libraries of Dune
Install
Dune Dependency
Authors
Maintainers
Sources
dune-2.5.1.tbz
sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b
sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e
doc/dune-private-libs.stdune/Stdune/Console/index.html
Module Stdune.Console
Manages the console
The console is a system than can report messages and a status to the user. It is usually the terminal the application is connected to, however it could be something else. This module allow to set a global backend for the application as well as composing backends.
module Backend : sig ... end
The main backend for the application
include Backend.S
val print_user_message : User_message.t -> unit
Format and print a user message to the console
val set_status_line : User_message.Style.t Pp.t option -> unit
Change the status line
val print : User_message.Style.t Pp.t list -> unit
print paragraphs
is a short-hand for:
print_user_message (User_message.make paragraphs)
module Status_line : sig ... end
This module allows to buffer status updates so that they don't slow down the application
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>