Module `Format_doc.Doc`Source

Definitions and immutable API for composing documents

Type definitions and core functions

Sourcetype box_type =

| H
| V
| HV
| HoV
| B

Format box types

Sourcetype stag = Format.stag

Sourcetype element =

| Text of string
| With_size of int
| Open_box of {
1. kind : box_type;
2. indent : int;
}
| Close_box
| Open_tag of Format.stag
| Close_tag
| Open_tbox
| Tab_break of {
1. width : int;
2. offset : int;
}
| Set_tab
| Close_tbox
| Simple_break of {
1. spaces : int;
2. indent : int;
}
| Break of {
1. fits : (string * int * string) as 'a;
2. breaks : 'a;
}
| Flush of {
1. newline : bool;
}
| Newline
| If_newline
| Deprecated of Format.formatter -> unit
(*
Escape hatch: a Format printer used to provide backward-compatibility for user-defined printer (from the #install_printer toplevel directive for instance).
*)

Base formatting instruction recognized by Format

Sourcetype t

Immutable document type

Sourcetype ('a, 'b) fmt = ('a, t, t, 'b) format4

Sourcetype printer0 = t -> t

Sourcetype 'a printer = 'a -> printer0

Sourceval empty : t

Empty document

Sourceval format : Format.formatter -> t -> unit

format ppf doc sends the format instruction of doc to the Format's formatter doc.

Sourceval fold : ('acc -> element -> 'acc) -> 'acc -> t -> 'acc

Fold over a document as a sequence of instructions

Sourceval msg : ('a, t) fmt -> 'a

msg and kmsg produce a document from a format string and its argument

Sourceval kmsg : (t -> 'b) -> ('a, 'b) fmt -> 'a

Sourceval printf : ('a, printer0) fmt -> 'a

printf and kprintf produce a printer from a format string and its argument

Sourceval kprintf : (t -> 'b) -> ('a, t -> 'b) fmt -> 'a

Sourceval open_box : box_type -> int -> printer0

The functions below mirror Format printers, without the pp_print_ prefix naming convention

Sourceval close_box : printer0

Sourceval text : string printer

Sourceval string : string printer

Sourceval bytes : bytes printer

Sourceval with_size : int printer

Sourceval int : int printer

Sourceval float : float printer

Sourceval char : char printer

Sourceval bool : bool printer

Sourceval space : printer0

Sourceval cut : printer0

Sourceval break : spaces:int -> indent:int -> printer0

Source

val custom_break : 
  fits:((string * int * string) as 'a) ->
  breaks:'a ->
  printer0

Sourceval force_newline : printer0

Sourceval if_newline : printer0

Sourceval flush : printer0

Sourceval force_stop : printer0

Sourceval open_tbox : printer0

Sourceval set_tab : printer0

Sourceval tab : printer0

Sourceval tab_break : width:int -> offset:int -> printer0

Sourceval close_tbox : printer0

Sourceval open_tag : stag printer

Sourceval close_tag : printer0

Sourceval list : ?sep:printer0 -> 'a printer -> 'a list printer

Source

val iter : 
  ?sep:printer0 ->
  iter:(('a -> unit) -> 'b -> unit) ->
  'a printer ->
  'b printer

Sourceval array : ?sep:printer0 -> 'a printer -> 'a array printer

Sourceval seq : ?sep:printer0 -> 'a printer -> 'a Seq.t printer

Sourceval option : ?none:printer0 -> 'a printer -> 'a option printer

Sourceval result : ok:'a printer -> error:'e printer -> ('a, 'e) result printer

Sourceval either : left:'a printer -> right:'b printer -> ('a, 'b) Either.t printer

Install

Dune Dependency

Authors

Maintainers

Sources

doc/merlin-lib.utils/Merlin_utils/Format_doc/Doc/index.html

Module `Format_doc.Doc`Source

Type definitions and core functions

package merlin-lib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/merlin-lib.utils/Merlin_utils/Format_doc/Doc/index.html

Module Format_doc.DocSource

Type definitions and core functions

Module `Format_doc.Doc`Source