MVFM

bool

Boolean logic operations. Provides typeclass instances that allow boolean values to participate in equality, display, and logical algebra.

Included on the default interpreter.

const app = mvfm(prelude);

const prog = app({ x: "number" }, ($) =>
  $.and(true, $.gt($.input.x, 0))
);

await fold(defaults(app), injectInput(prog, { x: 7 }));
Ctrl+Enter