On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package epictetus
Build an ALIGNER given a CONTENTS module.
In val leaf: ?fill_with:char -> ?align:alignment -> contents -> tree_contents val node: ?fill_with:char -> ?align:alignment -> tree_contents list -> tree_contents default values are
- fill_with: ' '
- align: Left
Parameters
module T : Aligner_sig.CONTENTSSignature
type contents = T.contentsval leaf :
?fill_with:char ->
?align:Alignment.alignment ->
contents ->
tree_contentsval node :
?fill_with:char ->
?align:Alignment.alignment ->
tree_contents list ->
tree_contentsval tree_size : tree_contents -> Size_tree.tCompute the tree_size of a tree_contents.
val tree_size_of_list : tree_contents list -> Size_tree.t optionCompute the tree_size of a list of tree_contents. Return None if the list is empty.
val print_tree_with_size :
?trailing_whitespaces:bool ->
Size_tree.t ->
Format.formatter ->
tree_contents ->
unitPrint a tree_contents with respect to a given tree_size. This tree_size must be bigger than the tree_size corresponding to the tree_contents. Otherwise the behavior is undefined. Be careful.
trailing_whitespaces: whether to print trailing whitespaces. False by default.
val print_table :
?trailing_whitespaces:bool ->
Format.formatter ->
tree_contents list ->
unitPrint a list of tree_contents in a consistent way: it uses the smallest tree_size computed by joining all tree_size. This function must compute and merge all tree_size before starting. This is a good entrypoint.
trailing_whitespaces: whether to print trailing whitespaces. False by default.
val kprint_table :
?trailing_whitespaces:bool ->
(Format.formatter -> unit) ->
Format.formatter ->
tree_contents list ->
unitLike print_table but call the first parameter at the end of each line.
trailing_whitespaces: whether to print trailing whitespaces. False by default.
val stringify_table :
?trailing_whitespaces:bool ->
tree_contents list ->
string listPrint in a list of string a list of tree_contents in a consistent way: it uses the smallest tree_size computed by joining all tree_size. This function must compute and merge all tree_size before starting. This is a good entrypoint.
trailing_whitespaces: whether to print trailing whitespaces. False by default.
val pp_of_table :
?trailing_whitespaces:bool ->
tree_contents list ->
(Format.formatter -> unit) listOn This Page