Module Slap.Io

module Io: Slap_io
Pretty printers.

module Context: sig .. end

General pretty printers


type index = 
| Head
| Foot
| Ellipsis
| Cell of int
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.


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
A generator of pretty printers for (column) vectors.
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
A generator of pretty printers for row vectors.
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
A generator of pretty printers for matrices.

Default pretty printers for elements of vectors or matrices


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

Pretty-printing in standard style


type ('n, 'num, 'prec, 'cnt_or_dsc) pp_vec = Format.formatter -> ('n, 'num, 'prec, 'cnt_or_dsc) Slap_vec.t -> unit 
A type of standard pretty printers for vectors.
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 
A type of standard pretty printers for matrices.
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

Toplevel pretty-printers


module Toplevel: sig .. end