module Io: Slap_io
module Context:sig
..end
type
index =
| |
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) -> unit
pp_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 -> unit
val 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 -> unit
val 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 -> unit
type'el
pp_el_default =(Format.formatter -> 'el -> unit) Pervasives.ref
val pp_float_el_default : float pp_el_default
fprintf ppf "%G" el
val pp_complex_el_default : Complex.t pp_el_default
fprintf ppf "(%G, %Gi)" x.re x.im
val pp_int32_el_default : int32 pp_el_default
fprintf ppf "%ld" x
type('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_mat
module Toplevel:sig
..end