bool/eq

Boolean equality — compares two boolean expressions

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  // Wrap in $.not to produce boolean-typed nodes for eq dispatch
  const xNeg = $.not($.gt($.input.x, 0));
  const yNeg = $.not($.gt($.input.y, 0));
  return $.eq(xNeg, yNeg);
});
await fold(defaults(app), injectInput(prog, { x: 5, y: -3 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  // Wrap in $.not to produce boolean-typed nodes for eq dispatch
  const xNeg = $.not($.gt($.input.x, 0));
  const yNeg = $.not($.gt($.input.y, 0));
  return $.eq(xNeg, yNeg);
});
await fold(defaults(app), injectInput(prog, { x: 5, y: -3 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  // Wrap in $.not to produce boolean-typed nodes for eq dispatch
  const xNeg = $.not($.gt($.input.x, 0));
  const yNeg = $.not($.gt($.input.y, 0));
  return $.eq(xNeg, yNeg);
});
await fold(defaults(app), injectInput(prog, { x: 5, y: -3 }));

Ctrl+Enter