redis/mget

Get the values of multiple keys in one call

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.set("a", "1"),
    $.redis.set("b", "2"),
    $.redis.mget("a", "b", "missing")
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.set("a", "1"),
    $.redis.set("b", "2"),
    $.redis.mget("a", "b", "missing")
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.set("a", "1"),
    $.redis.set("b", "2"),
    $.redis.mget("a", "b", "missing")
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

Ctrl+Enter