package pprint
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=db30436804a95f4106757f3da3b9cd18
sha512=cdc822e546b83a5db4782adcd45301530c659088b74b9134483d97bbcfe6c8f0a9f7cac320189f0417502cf3697f2bcf75b5d35dbb7dfb6d4bb6b5ab7dd61fdd
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: 16 Mar 2020
README
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 pprintTo install PPrint from source, type:
make installThe requirements are OCaml 4.02 or later and dune 1.3 or later.
The documentation for PPrint is built by make doc and is then found in the file _build/default/_doc/_html/index.html.
Dev Dependencies
None
Used by (18)
- asli
- cmon
-
crowbar
>= "0.2.1" - electrumAnalyzer
-
embedded_ocaml_templates
>= "0.6" - fstar
-
inferno
>= "20211222" - karamel
-
kremlin
< "transition" - labrys
- learn-ocaml
-
libsail
< "0.16" - mazeppa
- ocp-ocamlres
-
ott
>= "0.32" -
sail
< "0.15" -
sek
< "20200618" - tptp
Conflicts
None