package coq

  1. Overview
  2. Docs
On This Page
  1. Enriched text
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module offers semi-structured pretty-printing.

type 'annotation located = {
  1. annotation : 'annotation option;
  2. startpos : int;
  3. endpos : int;
}

Each annotation of the semi-structured document refers to the substring it annotates.

val rich_pp : int -> Pp.t -> Pp.pp_tag located Xml_datatype.gxml

rich_pp width ppcmds returns the interpretation of ppcmds as a semi-structured document that represents (located) annotations of this string. The get_annotations function is used to convert tags into the desired annotation. width sets the printing width of the formatter.

val annotations_positions : 'annotation located Xml_datatype.gxml -> ('annotation * (int * int)) list

annotations_positions ssdoc returns a list associating each annotations with its position in the string from which ssdoc is built.

val xml_of_rich_pp : ('annotation -> string) -> ('annotation -> (string * string) list) -> 'annotation located Xml_datatype.gxml -> Xml_datatype.xml

xml_of_rich_pp ssdoc returns an XML representation of the semi-structured document ssdoc.

Enriched text
type richpp = Xml_datatype.xml

Type of text with style annotations

val richpp_of_pp : int -> Pp.t -> richpp

Extract style information from formatted text

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct