package pplumbing
Utility libraries to use with [pp]
Install
Dune Dependency
Authors
Maintainers
Sources
pplumbing-0.0.11.tbz
sha256=469a458f9b70980d114a7548b1b0e3b08515da313456662e9b51bfdabc0c353c
sha512=56bbc7b0fbe9132aa0fd694eea7957530161d63ccf3e8f4cf0956d26660d0743591a5d6d642af4ae9b3f9635986679f1733c7eb57acd7da434dc9d448497ec22
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