redis/linsert

Insert an element before or after a pivot element

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.rpush("tasks", "a", "b", "c"),
    $.redis.linsert("tasks", "BEFORE", "b", "x"),
    $.redis.lrange("tasks", 0, -1)
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.rpush("tasks", "a", "b", "c"),
    $.redis.linsert("tasks", "BEFORE", "b", "x"),
    $.redis.lrange("tasks", 0, -1)
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

const app = mvfm(prelude, redis);
const prog = app({}, ($) => {
  return $.begin(
    $.redis.rpush("tasks", "a", "b", "c"),
    $.redis.linsert("tasks", "BEFORE", "b", "x"),
    $.redis.lrange("tasks", 0, -1)
  );
});
await fold(
  defaults(app, { redis: memoryRedisInterpreter }),
  prog
);

Ctrl+Enter