def pipeline.of

bend-kit-redis@0.3.0.0 · redis.bend:844

import bend-kit-redis@0.3.0.0/redis.bend as Redis

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

844def pipeline.of(c: Conn, r: Bytes.Bytes & Nat) -> IO(Result<&1, &1, Failure, Conn & List<&1, Val>>):
845  (data, +n) = r
846  do IO<Result<&1, &1, Failure, Conn & List<&1, Val>>>:
847    s : Result<&1, &1, Failure, Conn> <- send(c, data)
848    pipeline.sent(n, s)

Uses (13)

Used by (1)

bend-kit-redis@0.3.0.0/redis:pipeline