package base

  1. Overview
  2. Docs
package base
Legend:
Library
Module
Module type
Parameter
Class
Class type

A list of pretty printers for various types, for use in toplevels.

Pretty_printer has a string list ref with the names of pp functions matching the interface:

val pp : Format.formatter -> t -> unit

The names are actually OCaml identifier names, e.g. "Base.Int.pp". Code for building toplevels (this code is not in Base) evaluates the strings to yield the pretty printers and register them with OCaml runtime.

val all : unit -> string list

all () returns all pretty printers that have been registered.

val register : string -> unit

register name adds name to the list of pretty printers.

module type S = sig ... end

Modules that provide a pretty printer will match S.

module Register (M : sig ... end) : S with type t := M.t

Register builds a pp function from a to_string function, and adds the module_name ^ ".pp" to the list of pretty printers. The idea is to statically guarantee that one has the desired pp function at the same point where the name is added.

module Register_pp (M : sig ... end) : S with type t := M.t

Register_pp is like Register, but allows a custom pp function rather than using to_string.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct