def drain.at

bend-kit-runner@0.13.0.1 · runner.bend:1697

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

1697def drain.at(~A: Data, ~penc: A -> Bytes.Bytes, ~target: A -> String, ~work: A -> IO(Retry.Outcome), x: Runner<A> & Bool, next: Runner<A> -> IO(Ran(A))) -> IO(Ran(A)):
1698  (r, done) = x
1699  drain.if(~A, ~penc, ~target, ~work, done, r, next)