console/timeLog

Log the current value of a running timer without stopping it

const app = mvfm(prelude, console_);
const prog = app({ label: "string" }, ($) => {
  return $.begin(
    $.console.time($.input.label),
    $.console.timeLog($.input.label, "checkpoint"),
    $.console.timeEnd($.input.label),
    $.input.label
  );
});
await fold(defaults(app), injectInput(prog, { label: "run" }));

const app = mvfm(prelude, console_);
const prog = app({ label: "string" }, ($) => {
  return $.begin(
    $.console.time($.input.label),
    $.console.timeLog($.input.label, "checkpoint"),
    $.console.timeEnd($.input.label),
    $.input.label
  );
});
await fold(defaults(app), injectInput(prog, { label: "run" }));

const app = mvfm(prelude, console_);
const prog = app({ label: "string" }, ($) => {
  return $.begin(
    $.console.time($.input.label),
    $.console.timeLog($.input.label, "checkpoint"),
    $.console.timeEnd($.input.label),
    $.input.label
  );
});
await fold(defaults(app), injectInput(prog, { label: "run" }));

Ctrl+Enter