package pprint
Install
Dune Dependency
Authors
Maintainers
Sources
md5=06fc2d4c448df83d4c73438b9b0c4af7
sha512=17170014d8878589956d11dfa8a8c3602266689af5b70e6c8822f5c8c3093c932ec5d82f9cac3023988bb1234f9c088e065905bb3298a698b61fcaa45d6f25ce
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: 27 Feb 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 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 (19)
- asli
- 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" - mazeppa
- mezzo
-
ocp-ocamlres
>= "0.2" -
optint
= "0.1.0" -
ott
>= "0.32" -
sail
< "0.15" -
tptp
>= "0.3.0"
Conflicts
None