bool/literal

Lift a JS boolean into the DSL as a boolean literal node

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // Raw booleans are lifted to bool/literal nodes automatically
  const alwaysTrue = true;
  return $.and(alwaysTrue, $.gt($.input.x, 0));
});
await fold(defaults(app), injectInput(prog, { x: 10 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // Raw booleans are lifted to bool/literal nodes automatically
  const alwaysTrue = true;
  return $.and(alwaysTrue, $.gt($.input.x, 0));
});
await fold(defaults(app), injectInput(prog, { x: 10 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // Raw booleans are lifted to bool/literal nodes automatically
  const alwaysTrue = true;
  return $.and(alwaysTrue, $.gt($.input.x, 0));
});
await fold(defaults(app), injectInput(prog, { x: 10 }));

Ctrl+Enter