package pplumbing

You can search for identifiers within the package.

in-package search v0.2.0

Utility libraries to use with [pp]

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

M

Mathieu Barbin

Maintainers

M

Mathieu Barbin <opensource@mbarbin.org>

Sources

pplumbing-0.0.14.tbz

sha256=ed7eaba180378a59719e9af63ccdc89dde8e0a20f2cba420abb0080b0bc4a868

sha512=f168c37c1acd38c92e5b6d59321da4021195b6ddc49dde82de70e9282b55042621bea1b84a677d57f83604c06d6ee9c790b683fd589cd2097ab8f00c293f56af

doc/pplumbing.err/Err/Private/index.html

Module `Err.Private`Source

Private is used by Log_cli. We mean both libraries to work as companion libs. Note any of this can change without notice and without requiring a semver bump, so use at your own risk (or don't).

Sourceval am_running_test : bool ref

Sourceval reset_counts : unit -> unit

Sourceval reset_separator : unit -> unit

Sourceval color_mode : Color_mode.t ref

Source

val set_log_level : 
  get:(unit -> Log_level.t) ->
  set:(Log_level.t -> unit) ->
  unit

Since Err does not depend on Logs, the Err and Logs levels must be set independently. However, this is done for you consistently if you are using Log_cli.

Sourceval warn_error : bool ref