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

Install

github.com Readme Changelog LGPL-2.0-only WITH OCaml-LGPL-linking-exception License Edit opam file

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

20220103.tar.gz
md5=6ace8d5113f937aa65873f6c9985fea4
sha512=1c4d85e529414dc2d52602fae7e44ca036d2d35e9ce1906fd88b0f8a8d0ba1527042b0e5117fdeb51237b2311020a711065a917cc158b63e2ac932c97fa28406

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: 04 Jan 2022

Dependencies (2)

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

Dev Dependencies

    None

Used by (17)

  1. cfml >= "20220102"
  2. cmon
  3. crowbar >= "0.2.1"
  4. electrumAnalyzer
  5. embedded_ocaml_templates >= "0.6"
  6. fstar >= "0.9.4.0-beta0" & != "2021.06.06"
  7. inferno >= "20211222"
  8. kremlin
  9. learn-ocaml
  10. libsail
  11. mezzo
  12. monolith
  13. ocp-ocamlres >= "0.2"
  14. ott >= "0.32"
  15. sail < "0.15"
  16. sek
  17. tptp >= "0.3.0"

Conflicts

    None