redis/hmget

Get multiple fields from a hash in one call

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.hset("user:1", { name: "Alice", email: "alice@example.com" }),
    $.redis.hmget("user:1", "name", "email", "missing")
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.hset("user:1", { name: "Alice", email: "alice@example.com" }),
    $.redis.hmget("user:1", "name", "email", "missing")
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.hset("user:1", { name: "Alice", email: "alice@example.com" }),
    $.redis.hmget("user:1", "name", "email", "missing")
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

Ctrl+Enter