package pprint
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=defc647ff0d1cb2afc10d513230724c4
sha512=12133735f558075f1ecdcec16cc11f7237dd82883c542645c479f534acd8ed6935f05a3f9aad8e330c329520852bdff6d420d632636bd9004a4d0aade762cae6
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: 30 Nov 2021
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 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 (20)
- asli
- cfml
- cmon
-
crowbar
>= "0.2.1" - electrumAnalyzer
-
embedded_ocaml_templates
>= "0.6" - fstar
-
inferno
>= "20211222" - karamel
-
kremlin
< "transition" - labrys
- learn-ocaml
-
libsail
< "0.16" - mazeppa
- monolith
- ocp-ocamlres
-
ott
>= "0.32" -
sail
< "0.15" - sek
- tptp
Conflicts
None