~/jendhub

def pipeline.sent

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

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

837def pipeline.sent(+n: Nat, r: Result<&1, &1, Failure, Conn>) -> IO(Result<&1, &1, Failure, Conn & List<&1, Val>>):
838  match r:
839    case Fail{e}:
840      IO.pure(Result<&1, &1, Failure, Conn & List<&1, Val>>, Fail{e})
841    case Done{c}:
842      read.n(n, Done{(c, Nil{})})

Uses (11)

Used by (1)