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

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

Dependencies (2)

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

Dev Dependencies

None

Used by (18)

  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. tptp >= "0.3.0"

Conflicts

None