console/warn

Write a warning message to the console

const app = mvfm(prelude, console_);
const prog = app({ msg: "string" }, ($) => {
  return $.begin($.console.warn("Warning:", $.input.msg), $.input.msg);
});
await fold(defaults(app), injectInput(prog, { msg: "deprecated call" }));

const app = mvfm(prelude, console_);
const prog = app({ msg: "string" }, ($) => {
  return $.begin($.console.warn("Warning:", $.input.msg), $.input.msg);
});
await fold(defaults(app), injectInput(prog, { msg: "deprecated call" }));

const app = mvfm(prelude, console_);
const prog = app({ msg: "string" }, ($) => {
  return $.begin($.console.warn("Warning:", $.input.msg), $.input.msg);
});
await fold(defaults(app), injectInput(prog, { msg: "deprecated call" }));

Ctrl+Enter