package core

  1. Overview
  2. Docs
package core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Core.PrintfSource

Sourceval ifprintf : 'a -> ('r, 'a, 'c, unit) format4 -> 'r

Same as fprintf, but does not print anything. Useful for ignoring some material when conditionally printing.

Sourceval sprintf : ('r, unit, string) format -> 'r

Same as fprintf, but instead of printing on an output channel, returns a string.

Sourceval bprintf : Buffer.t -> ('r, Buffer.t, unit) format -> 'r

Same as fprintf, but instead of printing on an output channel, appends the formatted arguments to the given extensible buffer.

Sourceval ksprintf : (string -> 'a) -> ('r, unit, string, 'a) format4 -> 'r

Same as sprintf, but instead of returning the string, passes it to the first argument.

Sourceval kbprintf : (Buffer.t -> 'a) -> Buffer.t -> ('r, Buffer.t, unit, 'a) format4 -> 'r

Same as bprintf, but instead of returning immediately, passes the buffer, after printing, to its first argument.

Formatting error and exit functions

These functions have a polymorphic return type, since they do not return. Naively, this doesn't mix well with variadic functions: if you define, say,

  let f fmt = ksprintf (fun s -> failwith s) fmt

then you find that f "%d" : int -> 'a, as you'd expect, and f "%d" 7 : 'a. The problem with this is that 'a unifies with (say) int -> 'b, so f "%d" 7 4 is not a type error -- the 4 is simply ignored.

To mitigate this problem, these functions all take a final unit parameter. These rarely arise as formatting positional parameters (they can do with e.g. "%a", but not in a useful way) so they serve as an effective signpost for "end of formatting arguments".

Sourceval failwithf : ('r, unit, string, unit -> _) format4 -> 'r

Raises Failure.

Sourceval invalid_argf : ('r, unit, string, unit -> _) format4 -> 'r

Raises Invalid_arg.

Sourceval eprintf : ('a, out_channel, Base.Unit.t) format -> 'a
Sourceval fprintf : out_channel -> ('a, out_channel, Base.Unit.t) format -> 'a
Sourceval kfprintf : (out_channel -> 'a) -> out_channel -> ('b, out_channel, Base.Unit.t, 'a) format4 -> 'b
Sourceval printf : ('a, out_channel, Base.Unit.t) format -> 'a
Sourceval exitf : ('a, Base.Unit.t, Base.String.t, Base.Unit.t -> _) format4 -> 'a

print to stderr; exit 1

Sourcetype printf = {
  1. printf : 'a. ('a, Buffer.t, Base.Unit.t) format -> 'a;
}
Sourceval collect_to_string : (printf -> Base.Unit.t) -> Base.String.t

collect_to_string (fun { printf } -> ...) lets you easily convert code that was printing to stdout into code that produces a string.

For example, this original code...

  printf "hello ";
  (* long computation *)
  printf "%s%c" "world" '!'

... can be wrapped like so.

  Printf.collect_to_string (fun { printf } ->
    printf "hello ";
    (* long computation *)
    printf "%s%c" "world" '!')

The above is easier than manually editing many lines of the original:

  let hello = sprintf "hello " in
  (* long computation *)
  let world = sprintf "%s%c" "world" '!' in
  hello ^ world
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