module Slap_io:sig..end
Slap.Io provides pretty printers for vectors and matrices.module Context:sig..end
type
| |
Head |
| |
Foot |
| |
Ellipsis |
| |
Cell of |
val pp_table : ?pp_open:(Format.formatter -> unit) ->
?pp_close:(Format.formatter -> unit) ->
?pp_head:(Format.formatter -> int -> unit) ->
?pp_foot:(Format.formatter -> int -> unit) ->
?pp_end_row:(Format.formatter -> index -> unit) ->
?pp_end_col:(Format.formatter ->
row:index -> col:index -> unit) ->
?pp_left:(Format.formatter -> int -> unit) ->
?pp_right:(Format.formatter -> int -> unit) ->
?pad:char ->
?ellipsis:string ->
?vertical_context:Context.t option ->
?horizontal_context:Context.t option ->
(Format.formatter -> 'el -> unit) ->
Format.formatter -> int -> int -> (int -> int -> 'el) -> unitpp_table
?pp_open ?pp_close ?pp_head ?pp_foot ?pp_end_row ?pp_end_col
?pp_left ?pp_right ?pad ?ellipsis ?vertical_context ?horizontal_context
pp_el ppf n_rows n_cols get_el
Generic printing of tables.
pp_open ppf is called when a table is started.
(default = pp_open_box ppf 0)pp_close ppf is called when a table is complete.
(default = pp_close_box ppf ())pp_head other_ppf j is used to print a header for column j in a table.
The first argument other_ppf is not ppf!
(default = no header, 1 <= j <= n_cols)pp_foot other_ppf j is used to print a footer for column j in a
table. The first argument other_ppf is not ppf!
(default = no footer, 1 <= j <= n_cols)pp_end_row ~row is called at the end of each row.
(default = pp_force_newline ppf ())pp_end_col ~col is called at the end of each column (element).
(default = pp_print_string ppf " ")pp_left other_ppf i is used to print left labels for row i in a table.
The first argument other_ppf is not ppf!
(default = no left labels, 1 <= i <= n_rows)pp_right other_ppf i is used to print right labels for row i in a
table. The first argument other_ppf is not ppf!
(default = no right labels)pad is a padding character for each column. (default = ' ')ellipsis is used as a filler when elements need to be skipped.
(default = !default_ellipsis)vertical_context is Some n, the first n rows and the last
n rows of a table are printed. When the number of rows is smaller
than 2 * n, all rows are shown. If None, all rows of a table are
output.
(default = !Context.vertical_default)horizontal_context is Some n, the first n columns and the last
n columns of a table are printed. When the number of columns is smaller
than 2 * n, all columns are shown. If None, all columns of a table are
output.
(default = !Context.horizontal_default)pp_el is a pretty printer to used to output elements.ppf is the formatter to which all output is finally printed.n_rows is the number of all rows of a table.n_cols is the number of all columns of a table.get_el i j returns the (i,j) element of a table.
(1 <= i <= n_rows and 1 <= j <= n_cols)val pp_vec_gen : ?pp_open:(Format.formatter -> unit) ->
?pp_close:(Format.formatter -> unit) ->
?pp_head:(Format.formatter -> int -> unit) ->
?pp_foot:(Format.formatter -> int -> unit) ->
?pp_end_row:(Format.formatter -> index -> unit) ->
?pp_end_col:(Format.formatter ->
row:index -> col:index -> unit) ->
?pp_left:(Format.formatter -> int -> unit) ->
?pp_right:(Format.formatter -> int -> unit) ->
?pad:char ->
?ellipsis:string ->
?vertical_context:Context.t option ->
?horizontal_context:Context.t option ->
(Format.formatter -> 'num -> unit) ->
Format.formatter -> ('n, 'num, 'prec, 'cnt_or_dsc) Slap_vec.t -> unitval pp_rvec_gen : ?pp_open:(Format.formatter -> unit) ->
?pp_close:(Format.formatter -> unit) ->
?pp_head:(Format.formatter -> int -> unit) ->
?pp_foot:(Format.formatter -> int -> unit) ->
?pp_end_row:(Format.formatter -> index -> unit) ->
?pp_end_col:(Format.formatter ->
row:index -> col:index -> unit) ->
?pp_left:(Format.formatter -> int -> unit) ->
?pp_right:(Format.formatter -> int -> unit) ->
?pad:char ->
?ellipsis:string ->
?vertical_context:int option ->
?horizontal_context:int option ->
(Format.formatter -> 'num -> unit) ->
Format.formatter -> ('n, 'num, 'prec, 'cnt_or_dsc) Slap_vec.t -> unitval pp_mat_gen : ?pp_open:(Format.formatter -> unit) ->
?pp_close:(Format.formatter -> unit) ->
?pp_head:(Format.formatter -> int -> unit) ->
?pp_foot:(Format.formatter -> int -> unit) ->
?pp_end_row:(Format.formatter -> index -> unit) ->
?pp_end_col:(Format.formatter ->
row:index -> col:index -> unit) ->
?pp_left:(Format.formatter -> int -> unit) ->
?pp_right:(Format.formatter -> int -> unit) ->
?pad:char ->
?ellipsis:string ->
?vertical_context:Context.t option ->
?horizontal_context:Context.t option ->
(Format.formatter -> 'num -> unit) ->
Format.formatter -> ('m, 'n, 'num, 'prec, 'cnt_or_dsc) Slap_mat.t -> unittype'elpp_el_default =(Format.formatter -> 'el -> unit) Pervasives.ref
val pp_float_el_default : float pp_el_defaultfprintf ppf "%G" elval pp_complex_el_default : Complex.t pp_el_defaultfprintf ppf "(%G, %Gi)" x.re x.imval pp_int32_el_default : int32 pp_el_defaultfprintf ppf "%ld" xtype('n, 'num, 'prec, 'cnt_or_dsc)pp_vec =Format.formatter -> ('n, 'num, 'prec, 'cnt_or_dsc) Slap_vec.t -> unit
val pp_fvec : ('n, float, 'prec, 'cnt_or_dsc) pp_vec
val pp_cvec : ('n, Complex.t, 'prec, 'cnt_or_dsc) pp_vec
val pp_ivec : ('n, int32, 'prec, Slap_misc.cnt) pp_vec
val pp_rfvec : ('n, float, 'prec, 'cnt_or_dsc) pp_vec
val pp_rcvec : ('n, Complex.t, 'prec, 'cnt_or_dsc) pp_vec
val pp_rivec : ('n, int32, 'prec, 'cnt_or_dsc) pp_vec
type('m, 'n, 'num, 'prec, 'cnt_or_dsc)pp_mat =Format.formatter -> ('m, 'n, 'num, 'prec, 'cnt_or_dsc) Slap_mat.t -> unit
val pp_fmat : ('m, 'n, float, 'prec, 'cnt_or_dsc) pp_mat
val pp_cmat : ('m, 'n, Complex.t, 'prec, 'cnt_or_dsc) pp_mat
val pp_imat : ('m, 'n, int32, 'prec, 'cnt_or_dsc) pp_matmodule Toplevel:sig..end