package lacaml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Default Pretty-printers Used by the Other Pretty-printing Functions
Pretty-printing in Standard Style
1. Labeled Pretty-printing
  1. Vectors
  2. Matrices
Pretty-printing in OCaml-Style
Good Pretty-printers for Toplevels

package lacaml

lacaml
- Library lacaml
  - Lacaml
    
    S
    
    Vec
    
    Mat
    
    D
    
    Vec
    
    Mat
    
    C
    
    Vec
    
    Mat
    
    Z
    
    Vec
    
    Mat
    
    Common
    
    Types
    
    Vec
    
    Mat
    
    Io
    
    Context
    
    Toplevel
    
    Utils
    
    Mat_patt
- Library lacaml.top
  - Lacaml_top
    
    Lacaml_install_printers
- Sources
  - lacaml
    
    C.ml
    
    D.ml
    
    S.ml
    
    Z.ml
    
    common.ml
    
    complex32.ml
    
    complex64.ml
    
    complex_io.ml
    
    float32.ml
    
    float64.ml
    
    impl2_C.ml
    
    impl2_D.ml
    
    impl2_S.ml
    
    impl2_Z.ml
    
    impl4_C.ml
    
    impl4_D.ml
    
    impl4_S.ml
    
    impl4_Z.ml
    
    io.ml
    
    lacaml.ml
    
    lacaml__.ml
    
    mat2_C.ml
    
    mat2_D.ml
    
    mat2_S.ml
    
    mat2_Z.ml
    
    mat4_C.ml
    
    mat4_D.ml
    
    mat4_S.ml
    
    mat4_Z.ml
    
    real_io.ml
    
    utils.ml
    
    vec2_C.ml
    
    vec2_D.ml
    
    vec2_S.ml
    
    vec2_Z.ml
    
    vec4_C.ml
    
    vec4_D.ml
    
    vec4_S.ml
    
    vec4_Z.ml
    
    version.ml
  - lacaml.top
    
    lacaml_install_printers.ml
    
    lacaml_top.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Lacaml.Io`Source

Pretty-printing of vectors and matrices.

Lacaml.Io: generic matrix printing functions.

Sourcemodule Context : sig ... end

Source

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 -> int -> unit) ->
  ?pp_end_col:(Format.formatter -> row:int -> col:int -> unit) ->
  ?pp_left:(Format.formatter -> int -> unit) ->
  ?pp_right:(Format.formatter -> int -> unit) ->
  ?pad:char option ->
  ?ellipsis:string ->
  ?vertical_context:Context.t option ->
  ?horizontal_context:Context.t option ->
  (Format.formatter -> 'el -> unit) ->
  Format.formatter ->
  ('el, 'a, Bigarray.fortran_layout) Bigarray.Array2.t ->
  unit

pp_mat_gen ?pp_open ?pp_close ?pp_head ?pp_foot ?pp_end_row ?pp_end_col ?pp_left ?pp_right ?pad pp_el ppf mat

Generic printing of matrices (two-dimensional bigarrays).

pp_open ppf is called whenever printing of a matrix mat is started, pp_close ppf whenever printing is complete. These functions are not called when the matrix is empty.

pp_head other_ppf col is used to print a header for column col in matrix mat. This header is right-aligned and eventually padded using Some pad-character to match the matrix rows in the column beneath. The passed formatter other_ppf is not identical to ppf!

pp_foot other_ppf col is used to print a footer for column col in matrix mat. It is similar to pp_head col other_ppf otherwise.

pp_end_row ppf row is called on row number row and formatter ppf whenever the end of a row has been reached.

pp_end_col ppf ~row ~col is called on the row number row, column number col and formatter ppf whenever the element at this position has been printed and if it is not the last element in the row.

pp_left ppf row is called on row number row and formatter ppf to print labels to the left of each row. The labels are right-aligned within a virtual column.

pp_right ppf row is called on row number row and formatter ppf to print labels to the right of each row. The labels are left-aligned.

The character pad is used to pad matrix elements for right-aligning them appropriately. If it is set to None, no alignment will be performed.

ellipsis is used as a filler when elements need to be skipped in the case of printing with contexts.

vertical_context determines the number of initial and final rows to be printed. Intermediate row will be skipped, and one row containing ellipsis elements will be printed in their place instead. None chooses no context, Some v sets the vertical context to v.

horizontal_context determines the number of initial and final columns to be printed. Intermediate columns will be skipped, and one columns containing ellipsis elements will be printed in their place instead. None chooses no context, Some h sets the horizontal context to h.

pp_el other_ppf el is called on formatter other_ppf (not ppf!) and each matrix element.

ppf is the formatter to which all output is finally printed.

mat is the matrix to be printed.

parameter pp_open
default = open standard pretty-printing box

parameter pp_close
default = close standard pretty-printing box

parameter pp_head
default = no default

parameter pp_foot
default = no default

parameter pp_end_row
default = print newline (within pretty-printing box)

parameter pp_end_col
default = print space

parameter pp_left
default = no default

parameter pad
default = Some ' '

parameter ellipsis
default = !Context.ellipsis

parameter vertical_context
default = Some !Context.vertical_default

parameter horizontal_context
default = Some !Context.horizontal_default

Default Pretty-printers Used by the Other Pretty-printing Functions

Sourcetype 'el pp_el_default = (Format.formatter -> 'el -> unit) ref

Type of references for default printers of elements

Sourceval pp_float_el_default : float pp_el_default

fprintf ppf "%G" el

Sourceval pp_complex_el_default : Complex.t pp_el_default

fprintf ppf "(%G, %Gi)" el.re el.im

Sourceval pp_int32_el : Format.formatter -> int32 -> unit

fprintf ppf "%ld" el

Pretty-printing in Standard Style

Source

type ('el, 'elt) pp_vec =
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array1.t ->
  unit

Type of standard pretty-printers for column vectors

pp_vec ppf vec prints a vector vec to formatter ppf using the defaults.

Sourceval pp_fvec : (float, 'elt) pp_vec

Sourceval pp_cvec : (Complex.t, 'elt) pp_vec

Sourceval pp_ivec : (int32, 'elt) pp_vec

Sourceval pp_rfvec : (float, 'elt) pp_vec

Sourceval pp_rcvec : (Complex.t, 'elt) pp_vec

Sourceval pp_rivec : (int32, 'elt) pp_vec

Source

type ('el, 'elt) pp_mat =
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array2.t ->
  unit

Type of standard pretty-printers for matrices

pp_mat ppf mat prints a matrix mat to formatter ppf using the defaults.

Sourceval pp_fmat : (float, 'elt) pp_mat

Sourceval pp_cmat : (Complex.t, 'elt) pp_mat

Sourceval pp_imat : (int32, 'elt) pp_mat

Labeled Pretty-printing

Vectors

Source

type ('el, 'elt) pp_labeled_vec =
  ?pp_head:(Format.formatter -> int -> unit) ->
  ?pp_foot:(Format.formatter -> int -> unit) ->
  ?pp_left:(Format.formatter -> int -> unit) option ->
  ?pp_right:(Format.formatter -> int -> unit) ->
  ?pad:char option ->
  ?ellipsis:string ->
  ?vertical_context:Context.t option ->
  ?horizontal_context:Context.t option ->
  unit ->
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array1.t ->
  unit

Type of pretty-printers for labeled vectors

pp_labeled_vec ?pp_head ?pp_foot ?pp_left ?pp_right ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf vec prints vector vec to formatter ppf labeling the header using function pp_head, the footer using pp_foot, the left side (of rows for column vectors; of columns for row vectors) using pp_left, and the right side using pp_right. A pad-option and context options can be passed.

For column vectors the labels on the left side are right-aligned while those on the right side are left-aligned.

parameter pp_head
default = no default (= no printing)

parameter pp_foot
default = no default (= no printing)

parameter pp_left
default = Some pp_int32_el for vector rows/cols (= not in header/footer row/col)

parameter pp_right
default = no default (= no printing)

Sourceval pp_labeled_fvec : (float, 'elt) pp_labeled_vec

Sourceval pp_labeled_cvec : (Complex.t, 'elt) pp_labeled_vec

Sourceval pp_labeled_ivec : (int32, 'elt) pp_labeled_vec

Sourceval pp_labeled_rfvec : (float, 'elt) pp_labeled_vec

Sourceval pp_labeled_rcvec : (Complex.t, 'elt) pp_labeled_vec

Sourceval pp_labeled_rivec : (int32, 'elt) pp_labeled_vec

Source

type ('el, 'elt) pp_lvec =
  ?print_head:bool ->
  ?print_foot:bool ->
  ?print_left:bool ->
  ?print_right:bool ->
  ?labels:string array ->
  ?name:string ->
  ?pad:char option ->
  ?ellipsis:string ->
  ?vertical_context:Context.t option ->
  ?horizontal_context:Context.t option ->
  unit ->
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array1.t ->
  unit

Type of pretty-printers for string labeled vectors

pp_lvec ?print_head ?print_foot ?print_left ?print_right ?labels ?name ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf vec prints vector vec to formatter ppf labeling the header with name if provided and if print_head is true, and labeling the footer with name if print_foot is true. The left side (of rows for column vectors; of columns for row vectors) is labeled with labels if provided and if print_left is true, and the right side is labeled with labels if print_right is true. A pad-option and context options can be passed.

For columns vectors the labels on the left side are right-aligned while those on the right side are left-aligned.

It is the duty of the user to make sure that the array containing the labels is sufficiently large for the given vector.

parameter print_head
default = true

parameter print_foot
default = true

parameter print_left
default = true

parameter print_right
default = false

parameter labels
default = no default (= no printing)

parameter header
default = no default (= no printing)

Sourceval pp_lfvec : (float, 'elt) pp_lvec

Sourceval pp_lcvec : (Complex.t, 'elt) pp_lvec

Sourceval pp_livec : (int32, 'elt) pp_lvec

Sourceval pp_rlfvec : (float, 'elt) pp_lvec

Sourceval pp_rlcvec : (Complex.t, 'elt) pp_lvec

Sourceval pp_rlivec : (int32, 'elt) pp_lvec

Matrices

Source

type ('el, 'elt) pp_labeled_mat =
  ?pp_head:(Format.formatter -> int -> unit) option ->
  ?pp_foot:(Format.formatter -> int -> unit) option ->
  ?pp_left:(Format.formatter -> int -> unit) option ->
  ?pp_right:(Format.formatter -> int -> unit) option ->
  ?pad:char option ->
  ?ellipsis:string ->
  ?vertical_context:Context.t option ->
  ?horizontal_context:Context.t option ->
  unit ->
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array2.t ->
  unit

Type of pretty-printers for labeled matrices

pp_labeled_mat ?pp_head ?pp_foot ?pp_left ?pp_right ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf mat prints a matrix mat to formatter ppf labeling the header using function pp_head, the footer using pp_foot, the left side of rows using pp_left, and the right one using pp_right. A pad-option and context options can be passed.

If None is passed as argument for the default printers, the corresponding labels will not be printed.

parameter pp_head
default = Some pp_int32_el

parameter pp_foot
default = Some pp_int32_el

parameter pp_left
default = Some pp_int32_el for matrix rows (= not in header/footer row)

parameter pp_right
default = Some pp_int32_el for matrix rows (= not in header/footer row)

Sourceval pp_labeled_fmat : (float, 'elt) pp_labeled_mat

Sourceval pp_labeled_cmat : (Complex.t, 'elt) pp_labeled_mat

Sourceval pp_labeled_imat : (int32, 'elt) pp_labeled_mat

Source

type ('el, 'elt) pp_lmat =
  ?print_head:bool ->
  ?print_foot:bool ->
  ?print_left:bool ->
  ?print_right:bool ->
  ?row_labels:string array ->
  ?col_labels:string array ->
  ?pad:char option ->
  ?ellipsis:string ->
  ?vertical_context:Context.t option ->
  ?horizontal_context:Context.t option ->
  unit ->
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array2.t ->
  unit

Type of pretty-printers for string labeled matrices

pp_lmat ?print_head ?print_foot ?print_left ?print_right ?row_labels ?col_labels ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf mat prints a matrix mat to formatter ppf labeling the header with the column labels in col_labels if provided and if print_head is true, and labeling the footer with the column labels if print_foot is true. The left side of rows is labeled with the row labels row_labels if provided and if print_left is true, and the right side of rows is labeled with the row labels if print_right is true. A pad-option and context options can be passed.

It is the duty of the user to make sure that the arrays containing the row- and column labels are sufficiently large for the given matrix.

parameter print_head
default = true

parameter print_foot
default = true

parameter print_left
default = true

parameter print_right
default = true

parameter row_labels
default = no default (= no printing)

parameter col_labels
default = no default (= no printing)

Sourceval pp_lfmat : (float, 'elt) pp_lmat

Sourceval pp_lcmat : (Complex.t, 'elt) pp_lmat

Sourceval pp_limat : (int32, 'elt) pp_lmat

Pretty-printing in OCaml-Style

Source

type ('el, 'elt) pp_el_ovec =
  Format.formatter ->
  (Format.formatter -> 'el -> unit) ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array1.t ->
  unit

Type of pretty-printers for OCaml-vectors

pp_el_ovec ppf pp_el vec prints the vector vec to formatter ppf in OCaml-style using the element printer pp_el.

Sourceval pp_ovec : ('el, 'elt) pp_el_ovec

pp_ovec ppf pp_el vec prints the column vector vec to formatter ppf in OCaml-style using the element printer pp_el.

Sourceval pp_rovec : ('el, 'elt) pp_el_ovec

pp_rovec ppf pp_el vec prints the row vector vec to formatter ppf in OCaml-style using the element printer pp_el.

Source

type ('el, 'elt) pp_ovec =
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array1.t ->
  unit

Type of pretty-printers for OCaml-vectors of a given element type

pp_ovec ppf vec prints the vector vec to formatter ppf in OCaml-style.

Sourceval pp_ofvec : (float, 'elt) pp_ovec

Sourceval pp_ocvec : (Complex.t, 'elt) pp_ovec

Sourceval pp_oivec : (int32, 'elt) pp_ovec

Sourceval pp_rofvec : (float, 'elt) pp_ovec

Sourceval pp_rocvec : (Complex.t, 'elt) pp_ovec

Sourceval pp_roivec : (int32, 'elt) pp_ovec

Source

val pp_omat : 
  Format.formatter ->
  (Format.formatter -> 'el -> unit) ->
  ('el, 'c, Bigarray.fortran_layout) Bigarray.Array2.t ->
  unit

pp_omat ppf pp_el mat prints matrix mat to formatter ppf in OCaml-style using the element printer pp_el.

Source

type ('el, 'elt) pp_omat =
  Format.formatter ->
  ('el, 'elt, Bigarray.fortran_layout) Bigarray.Array2.t ->
  unit

Type of pretty-printers for OCaml-matrices of a given element type

pp_omat ppf mat prints the matrix mat to formatter ppf in OCaml-style.

Sourceval pp_ofmat : (float, 'elt) pp_omat

Sourceval pp_ocmat : (Complex.t, 'elt) pp_omat

Sourceval pp_oimat : (int32, 'elt) pp_omat

Good Pretty-printers for Toplevels

These pretty-printers will use index labels for easier identification of rows and columns.

Sourcemodule Toplevel : sig ... end

package lacaml

Module Lacaml.IoSource

Default Pretty-printers Used by the Other Pretty-printing Functions

Pretty-printing in Standard Style

Labeled Pretty-printing

Vectors

Matrices

Pretty-printing in OCaml-Style

Good Pretty-printers for Toplevels

Module `Lacaml.Io`Source