bool/implies

Logical implication — if A then B, equivalent to or(not(A), B)

const app = mvfm(prelude);
const prog = app({ age: "number" }, ($) => {
  const isAdult = $.gte($.input.age, 18);
  const canDrive = $.gte($.input.age, 16);
  // A implies B is equivalent to or(not(A), B)
  return $.or($.not(isAdult), canDrive);
});
await fold(defaults(app), injectInput(prog, { age: 21 }));

const app = mvfm(prelude);
const prog = app({ age: "number" }, ($) => {
  const isAdult = $.gte($.input.age, 18);
  const canDrive = $.gte($.input.age, 16);
  // A implies B is equivalent to or(not(A), B)
  return $.or($.not(isAdult), canDrive);
});
await fold(defaults(app), injectInput(prog, { age: 21 }));

const app = mvfm(prelude);
const prog = app({ age: "number" }, ($) => {
  const isAdult = $.gte($.input.age, 18);
  const canDrive = $.gte($.input.age, 16);
  // A implies B is equivalent to or(not(A), B)
  return $.or($.not(isAdult), canDrive);
});
await fold(defaults(app), injectInput(prog, { age: 21 }));

Ctrl+Enter