package pprint

  1. Overview
  2. Docs
A pretty-printing combinator library and rendering engine

Install

Dune Dependency

github.com Readme Changelog License Edit opam file Versions (12)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. N
    Nicolas Pouillard <np@nicolaspouillard.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

20200316.tar.gz
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

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.

Dependencies (2)

  1. dune >= "1.3"
  2. ocaml >= "4.02"

Dev Dependencies

None

Used by (19)

  1. asli
  2. cmon
  3. crowbar >= "0.2.1"
  4. electrumAnalyzer
  5. embedded_ocaml_templates >= "0.6"
  6. fstar >= "0.9.4.0-beta0"
  7. inferno >= "20211222"
  8. karamel
  9. kremlin < "transition"
  10. labrys
  11. learn-ocaml
  12. libsail < "0.16"
  13. mezzo
  14. ocp-ocamlres >= "0.2"
  15. optint = "0.1.0"
  16. ott >= "0.32"
  17. sail < "0.15"
  18. sek < "20200618"
  19. tptp >= "0.3.0"

Conflicts

None