package b0

You can search for identifiers within the package.

in-package search v0.2.0

Software construction care

Install

Dune Dependency

erratique.ch Readme Changelog ISC License Edit opam file Versions (6)

Authors

T

The b0 programmers

Maintainers

Daniel Bünzli

Sources

b0-0.0.0.tbz

sha256=dadde8cfa62be9dabd805fc190b415427b4699ffe3458c153e2f3f9cc5c9b9b4

md5=f96ac96fb0182f2b97dbe9ded452544b

doc/b0.care/B0_ui/Memo/index.html

Module `B0_ui.Memo`

Memo interaction.

val jobs : 
  ?docs:string ->
  ?env:Cmdliner.Arg.env ->
  unit ->
  int option Cmdliner.Term.t

jobs is a cli interface for specifying the maximal number of commands to spawn concurrently.

val max_spawn : jobs:int option -> unit -> int

max_spawn jobs determines a maximal number of spans. This is either, in order, jobs or B0_machine.logical_cpu_count or 1.

val log_feedback : 
  show_spawn_ui:B0_std.Log.level ->
  show_success:B0_std.Log.level ->
  Format.formatter ->
  [ B00.Memo.feedback | B00.File_cache.feedback | B00.Exec.feedback ] ->
  unit

log_feedback ~show_spawn_ui ppf is memo feedback that logs on ppf depending on Log.level. show_spawn_ui is the level at which spawn's ui outputs get logged if even if they are successful. show_success is the level at which all succuss ful operations are get logged. Other than that operations get logged as follows:

Log.Quiet logs nothing.
Log.Error and Log.Warning only report failures.
Log.Info report failures and short successful spawn operations.
Log.Debug report all operations with all the information.

Note. This function does not use Log's functions to report. That is the output doesn't go through Log's reporting functions.

val pp_stats : B00.Memo.t B0_std.Fmt.t

pp_stats formats statistics about the memoizer.