https://github.com/mbarbin/pp-extended
Adding a few functions to Pp
https://github.com/mbarbin/pp-extended
Last synced: 2 months ago
JSON representation
Adding a few functions to Pp
- Host: GitHub
- URL: https://github.com/mbarbin/pp-extended
- Owner: mbarbin
- License: mit
- Created: 2023-11-07T14:42:36.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-01-10T10:54:03.000Z (over 1 year ago)
- Last Synced: 2025-01-10T11:44:02.937Z (over 1 year ago)
- Language: Dune
- Homepage: https://mbarbin.github.io/pp-extended/
- Size: 748 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
Awesome Lists containing this project
README
# pp-extended
[](https://github.com/mbarbin/pp-extended/actions/workflows/ci.yml)
[](https://coveralls.io/github/mbarbin/pp-extended?branch=main)
This library adds some functions to the [pp](https://opam.ocaml.org/packages/pp/) package.
## Usage
### Package usage
The intended usage is to refer to the module `Pp_extended` alongside `Pp` for the needed bits, and keep on simply using `Pp` as usual when no extended functionality is required.
### Vendor
Since the functions are so small, we suggest simply copying the code where needed. We are not lawyers, but we believe that retaining the SPDX license header with a link to this repository next to the copied code should be enough to satisfy the licensing requirements.
## Upstream?
After some experimentation, we might feel compelled to suggest integration upstream. Please open an issue if there's something you'd like to discuss.
## Code Documentation
The code documentation of the latest release is built with `odoc` and published to `GitHub` pages [here](https://mbarbin.github.io/pp-extended).