str/trim
Remove leading and trailing whitespace from a string
const app = mvfm(prelude);
const prog = app({ s: "string" }, ($) => {
return $.trim($.input.s);
});
await fold(defaults(app), injectInput(prog, { s: " padded " })); Ctrl+Enter
Remove leading and trailing whitespace from a string
const app = mvfm(prelude);
const prog = app({ s: "string" }, ($) => {
return $.trim($.input.s);
});
await fold(defaults(app), injectInput(prog, { s: " padded " }));