package pplumbing
Utility libraries to use with [pp]
Install
Dune Dependency
Authors
Maintainers
Sources
pplumbing-0.0.14.tbz
sha256=ed7eaba180378a59719e9af63ccdc89dde8e0a20f2cba420abb0080b0bc4a868
sha512=f168c37c1acd38c92e5b6d59321da4021195b6ddc49dde82de70e9282b55042621bea1b84a677d57f83604c06d6ee9c790b683fd589cd2097ab8f00c293f56af
doc/index.html
pplumbing
API
Library pplumbing.cmdlang-cmdliner-runner
Cmdlang_cmdliner_runner
An opinionated runner for cmdlang parsers using cmdliner as a backend.
Library pplumbing.err
Err
Err is an abstraction to report located errors and warnings to the user.
Library pplumbing.log
Log
An interface toLogs
usingPp_tty
.
Library pplumbing.log-cli
Log_cli
Log_cli
contains functions to work withErr
on the side of end programs (such as a command line tool, as opposed to libraries).
Library pplumbing.pp-tty
Pp_tty
Build pretty printed documents for the user.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page