str/replace

Replace the first occurrence of a search string

const app = mvfm(prelude);
const prog = app({ s: "string" }, ($) => {
  return $.replace($.input.s, "world", "MVFM");
});
await fold(defaults(app), injectInput(prog, { s: "hello world" }));

const app = mvfm(prelude);
const prog = app({ s: "string" }, ($) => {
  return $.replace($.input.s, "world", "MVFM");
});
await fold(defaults(app), injectInput(prog, { s: "hello world" }));

const app = mvfm(prelude);
const prog = app({ s: "string" }, ($) => {
  return $.replace($.input.s, "world", "MVFM");
});
await fold(defaults(app), injectInput(prog, { s: "hello world" }));

Ctrl+Enter