zod/record

Schema for validating record objects with typed keys and values

const app = mvfm(prelude, zod);
const prog = app({ value: "string" }, ($) => {
  return $.zod.record($.zod.string(), $.zod.number()).parse($.input.value);
});
await fold(
  defaults(app),
  injectInput(prog, { value: { x: 1, y: 2 } })
);

const app = mvfm(prelude, zod);
const prog = app({ value: "string" }, ($) => {
  return $.zod.record($.zod.string(), $.zod.number()).parse($.input.value);
});
await fold(
  defaults(app),
  injectInput(prog, { value: { x: 1, y: 2 } })
);

const app = mvfm(prelude, zod);
const prog = app({ value: "string" }, ($) => {
  return $.zod.record($.zod.string(), $.zod.number()).parse($.input.value);
});
await fold(
  defaults(app),
  injectInput(prog, { value: { x: 1, y: 2 } })
);

Ctrl+Enter