prr 0.1.1 · OCaml Package

Browser console.

See Console. Take a few minutes to understand this.

type t

The type for console objects. See G.console for the global console object.

val get : unit -> t

get () is the console object on which the functions below act. Initially this is G.console.

val set : t -> unit

set o sets the console object to o.

val clear : unit -> unit

clear () clears the console.

Log functions

type msg =

| [] : msg
| :: : 'a * msg -> msg

The type for log messages.

type 'a msgr = 'a -> msg

The type for functions turning values of type 'a into log messages.

val msg : 'a msgr

msg v is [v].

type log = msg -> unit

The type for log functions.

Log messages rebind OCaml's list syntax. This allows to write heterogeneous logging statements concisely.

let () = Console.(log [1; 2.; true; Jv.true'; str "🐫"; G.navigator])

The console logs JavaScript values. For OCaml values this means that their js_of_ocaml representation is logged; see the FFI manual for details. Most OCaml values behind Brr types are however direct JavaScript values and logging them as is will be valuable. For other values you can use the str function which invokes the JavaScript toString method on the value. It works on OCaml strings and is mostly equivalent and shorter than calling Jstr.v before logging them.

In the JavaScript console API, if the first argument is a JavaScript string it can have formatting specifications. Just remember this should be a JavaScript string, so wrap OCaml literals by str or Jstr.v:

let () = Console.(log [str "This is:\n%o\n the navigator"; G.navigator])

val str : 'a -> Jstr.t

str v is the result of invoking the JavaScript toString method on the representation of v. If v is Jv.null and Jv.undefined a string representing them is directly returned.

`Result` logging

val log_result : 
  ?ok:'a msgr ->
  ?error:'b msgr ->
  ('a, 'b) result ->
  ('a, 'b) result

log_result ~ok ~error r is r but logs r using log and ok to format Ok v and error and error for Error e. ok defaults to [v] and error to [str e].

val log_if_error : 
  ?l:log ->
  ?error_msg:'b msgr ->
  use:'a ->
  ('a, 'b) result ->
  'a

log_if_error ~l ~error_msg ~use r is v if r is Ok v and use if r is Error e. In this case e is logged with l (defaults to error) and error_msg (defaults to str e).

val log_if_error' : 
  ?l:log ->
  ?error_msg:'b msgr ->
  use:'a ->
  ('a, 'b) result ->
  ('a, 'b) result

log_if_error' is log_if_error wrapped by Result.ok.

Levelled logging

val log : log

log m logs m with no specific level.

val trace : log

trace m logs m with no specific level but with a stack trace, like error and warn do.

val error : log

error m logs m with level error.

val warn : log

warn m logs m with level warn.

val info : log

warn m logs m with level info.

val debug : log

debug m logs m with level debug.

Asserting and dumping

val assert' : bool -> log

assert' c m asserts c and logs m with a stack trace iff c is false.

val dir : 'a -> unit

dir o logs a listing of the properties of the object o – this explains the difference with Console.(log [o]).

val table : ?cols:Jstr.t list -> 'a -> unit

table v outputs v as tabular data. If cols is specified only the specified properties are printed.

Grouping

val group : ?closed:bool -> log

group ~closed msg logs msg and pushes a new inline group in the console. This indents messages until group_end is called. If closed is true (defaults to false) the group's content is hidden behind a disclosure button.

val group_end : unit -> unit

group_end () pops the last inline group.

Counting

val count : Jstr.t -> unit

count label logs label with the number of times count label was called.

val count_reset : Jstr.t -> unit

count_reset label resets the counter for count label.

Timing

val time : Jstr.t -> unit

time label starts a timer named label.

val time_log : Jstr.t -> log

time_log label msg reports the timer value of label with msg appended to the report.

val time_end : Jstr.t -> unit

time_end label ends the timer named label.

Profiling

val profile : Jstr.t -> unit

profile label starts a new profile labelled label.

val profile_end : Jstr.t -> unit

profile_end label ends ends the new profile labelled label.

val time_stamp : Jstr.t -> unit

time_stamp label adds a marker labeled by label in the waterfall view.

package prr