ord

Ordering typeclass. Dispatches comparison operations to type-specific implementations based on the inferred argument types. Builds on the equality typeclass.

Included on the default interpreter.

const app = mvfm(prelude);

const prog = app({ age: "number" }, ($) =>
  $.cond($.gte($.input.age, 18)).t("allowed").f("denied")
);

await fold(defaults(app), injectInput(prog, { age: 21 }));

const app = mvfm(prelude);

const prog = app({ age: "number" }, ($) =>
  $.cond($.gte($.input.age, 18)).t("allowed").f("denied")
);

await fold(defaults(app), injectInput(prog, { age: 21 }));

const app = mvfm(prelude);

const prog = app({ age: "number" }, ($) =>
  $.cond($.gte($.input.age, 18)).t("allowed").f("denied")
);

await fold(defaults(app), injectInput(prog, { age: 21 }));

Ctrl+Enter