package pprint
Install
Dune Dependency
Authors
Maintainers
Sources
md5=d6b20d1db73cf15f79b2884a9e38bf06
sha512=f9a4ea908248cc14df1ef93418ce80598e88666b9347f683d5cc6f67a8c28290f0a4e40ae6f1842efa1d9c38d4802e7e3c77bbcf2e6f986c45ba12907e9580c9
Description
This library offers a set of combinators for building so-called documents as well as an efficient engine for converting documents to a textual, fixed-width format. The engine takes care of indentation and line breaks, while respecting the constraints imposed by the structure of the document and by the text width.
Published: 10 Apr 2020
README
README.md
This is an adaptation of Daan Leijen's PPrint library, which itself is based on the ideas developed by Philip Wadler in A Prettier Printer.
To install the latest released version of PPrint, it should be sufficient to type:
opam install pprint
To install PPrint from source, type:
make install
The requirements are OCaml 4.02 or later and dune 1.3 or later.
The documentation is built by make doc and is then found in the file _build/default/_doc/_html/index.html.
The documentation of the latest released version is also available online.
Dev Dependencies
None
Used by (21)
- asli
- cfml
- cmon
-
crowbar
>= "0.2.1" - electrumAnalyzer
-
embedded_ocaml_templates
>= "0.6" -
fstar
>= "0.9.4.0-beta0" -
inferno
>= "20211222" - karamel
-
kremlin
< "transition" - labrys
- learn-ocaml
-
libsail
< "0.16" - mezzo
- monolith
-
ocp-ocamlres
>= "0.2" -
optint
= "0.1.0" -
ott
>= "0.32" -
sail
< "0.15" - sek
-
tptp
>= "0.3.0"
Conflicts
None