str/concat

Concatenate multiple string values into one

const app = mvfm(prelude);
const prog = app({ first: "string", last: "string" }, ($) => {
  return $.concat($.input.first, " ", $.input.last);
});
await fold(
  defaults(app),
  injectInput(prog, { first: "Jane", last: "Doe" })
);

const app = mvfm(prelude);
const prog = app({ first: "string", last: "string" }, ($) => {
  return $.concat($.input.first, " ", $.input.last);
});
await fold(
  defaults(app),
  injectInput(prog, { first: "Jane", last: "Doe" })
);

const app = mvfm(prelude);
const prog = app({ first: "string", last: "string" }, ($) => {
  return $.concat($.input.first, " ", $.input.last);
});
await fold(
  defaults(app),
  injectInput(prog, { first: "Jane", last: "Doe" })
);

Ctrl+Enter