str/split

Split a string by a delimiter into an array

const app = mvfm(prelude);
const prog = app({ csv: "string" }, ($) => {
  return $.split($.input.csv, ",");
});
await fold(defaults(app), injectInput(prog, { csv: "a,b,c" }));

const app = mvfm(prelude);
const prog = app({ csv: "string" }, ($) => {
  return $.split($.input.csv, ",");
});
await fold(defaults(app), injectInput(prog, { csv: "a,b,c" }));

const app = mvfm(prelude);
const prog = app({ csv: "string" }, ($) => {
  return $.split($.input.csv, ",");
});
await fold(defaults(app), injectInput(prog, { csv: "a,b,c" }));

Ctrl+Enter