eq

Equality typeclass. Dispatches equality and inequality checks to type-specific implementations based on the inferred argument types.

Included on the default interpreter.

const app = mvfm(prelude);

const prog = app({ x: "number", y: "number" }, ($) =>
  $.eq($.add($.input.x, 1), $.input.y)
);

await fold(defaults(app), injectInput(prog, { x: 9, y: 10 }));

const app = mvfm(prelude);

const prog = app({ x: "number", y: "number" }, ($) =>
  $.eq($.add($.input.x, 1), $.input.y)
);

await fold(defaults(app), injectInput(prog, { x: 9, y: 10 }));

const app = mvfm(prelude);

const prog = app({ x: "number", y: "number" }, ($) =>
  $.eq($.add($.input.x, 1), $.input.y)
);

await fold(defaults(app), injectInput(prog, { x: 9, y: 10 }));

Ctrl+Enter