Module Sexp_pretty.Config

type color =
| Black
| Red
| Green
| Yellow
| Blue
| Magenta
| Cyan
| White
| Default
include sig ... end
val color_of_sexp : Sexplib.Sexp.t ‑> color
val sexp_of_color : color ‑> Sexplib.Sexp.t
type atom_threshold =
| Atom_threshold of int

Datatypes of various thresholds

include sig ... end
val atom_threshold_of_sexp : Sexplib.Sexp.t ‑> atom_threshold
val sexp_of_atom_threshold : atom_threshold ‑> Sexplib.Sexp.t
type char_threshold =
| Character_threshold of int
include sig ... end
val char_threshold_of_sexp : Sexplib.Sexp.t ‑> char_threshold
val sexp_of_char_threshold : char_threshold ‑> Sexplib.Sexp.t
type depth_threshold =
| Depth_threshold of int

Depth is the depth of an atom. For example, in (a (b (c) d)), the depth of a is 1, the depth of b and d is 2, and depth of c is 3. Depth_threshold usually refers to the maximum depth of any atom in a list for it to be considered for certain heuristic, e.g. data alignment.

include sig ... end
val depth_threshold_of_sexp : Sexplib.Sexp.t ‑> depth_threshold
val sexp_of_depth_threshold : depth_threshold ‑> Sexplib.Sexp.t
type aligned_parens =
| Parens_alignment of bool

Whether or not should closing parentheses be aligned.

include sig ... end
val aligned_parens_of_sexp : Sexplib.Sexp.t ‑> aligned_parens
val sexp_of_aligned_parens : aligned_parens ‑> Sexplib.Sexp.t
type data_alignment =
| Data_not_aligned
| Data_aligned of aligned_parens * atom_threshold * char_threshold * depth_threshold

(** Character threshold is excluding spaces and parentheses, the maximum depth can't exceed the depth threshold. *)

include sig ... end
val data_alignment_of_sexp : Sexplib.Sexp.t ‑> data_alignment
val sexp_of_data_alignment : data_alignment ‑> Sexplib.Sexp.t
type atom_coloring =
| Color_first of int

(** Color the first one, only if the number of atoms that follow it at most the value of the constructor's argument. *)

| Color_all
| Color_none
include sig ... end
val atom_coloring_of_sexp : Sexplib.Sexp.t ‑> atom_coloring
val sexp_of_atom_coloring : atom_coloring ‑> Sexplib.Sexp.t
type comment_indent =
| Auto_indent_comment
| Indent_comment of int

This currently relates only to block comments. Auto_indent tries to infer the indentation from the original formatting, Indent_comment n indents new lines in a block comment by n spaces.

include sig ... end
val comment_indent_of_sexp : Sexplib.Sexp.t ‑> comment_indent
val sexp_of_comment_indent : comment_indent ‑> Sexplib.Sexp.t
type comment_print_style =
| Pretty_print

(** Auto aligns multi-line block comments. *)

| Conservative_print

(** Leaves block comments as they are, only adjusts indentation. *)

include sig ... end
val comment_print_style_of_sexp : Sexplib.Sexp.t ‑> comment_print_style
val sexp_of_comment_print_style : comment_print_style ‑> Sexplib.Sexp.t
type comments =
| Drop
| Print of comment_indent * color option * comment_print_style

Comment treatment.

include sig ... end
val comments_of_sexp : Sexplib.Sexp.t ‑> comments
val sexp_of_comments : comments ‑> Sexplib.Sexp.t
type atom_printing =
| Escaped

(** Can be parsed again. Atoms are printed out as loaded, with escaping. *)

| Interpreted

(** Try to interpret atoms as sexps. *)

include sig ... end
val atom_printing_of_sexp : Sexplib.Sexp.t ‑> atom_printing
val sexp_of_atom_printing : atom_printing ‑> Sexplib.Sexp.t
type singleton_limit =
| Singleton_limit of atom_threshold * char_threshold

Singleton_lists are lists of the following format

(ATOM_1 .. ATOM_N (....))

and are printed in the following way if they are too big to fit on a line/force a breakline for other reasons:

(ATOM_1 .. ATOM_N ( .... ))

Thresholds correspond to what's an acceptable number/size of the leading atoms ATOM_1 through ATOM_N.

Character threshold is excluding spaces.

include sig ... end
val singleton_limit_of_sexp : Sexplib.Sexp.t ‑> singleton_limit
val sexp_of_singleton_limit : singleton_limit ‑> Sexplib.Sexp.t
type paren_coloring = bool

Should parentheses be colored?

include sig ... end
val paren_coloring_of_sexp : Sexplib.Sexp.t ‑> paren_coloring
val sexp_of_paren_coloring : paren_coloring ‑> Sexplib.Sexp.t
type separator =
| No_separator
| Empty_line

Separator between individual sexps.

include sig ... end
val separator_of_sexp : Sexplib.Sexp.t ‑> separator
val sexp_of_separator : separator ‑> Sexplib.Sexp.t
type parens =
| Same_line
| New_line

Should closing parentheses be on the same line as the last sexp in the list (modulo comments), or should they be on new lines? Should opening parentheses always be on the same line as what follows them, or should they sometimes (when the first item in the list is a list followed by some other sexp) be on a separate line?

include sig ... end
val parens_of_sexp : Sexplib.Sexp.t ‑> parens
val sexp_of_parens : parens ‑> Sexplib.Sexp.t
type t = {
indent : int;
data_alignment : data_alignment;
color_scheme : color array;
atom_coloring : atom_coloring;
atom_printing : atom_printing;
paren_coloring : paren_coloring;
opening_parens : parens;
closing_parens : parens;
comments : comments;
singleton_limit : singleton_limit;
leading_threshold : atom_threshold * char_threshold;
separator : separator;
sticky_comments : bool;
}
include sig ... end
val t_of_sexp : Sexplib.Sexp.t ‑> t
val sexp_of_t : t ‑> Sexplib.Sexp.t
val default : t
val create : ?⁠color:bool ‑> ?⁠interpret_atom_as_sexp:bool ‑> ?⁠drop_comments:bool ‑> ?⁠new_line_separator:bool ‑> ?⁠custom_data_alignment:data_alignment ‑> unit ‑> t
val update : ?⁠color:bool ‑> ?⁠interpret_atom_as_sexp:bool ‑> ?⁠drop_comments:bool ‑> ?⁠new_line_separator:bool ‑> ?⁠custom_data_alignment:data_alignment ‑> t ‑> t