def send.after

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

import Base

733def send.after(+tls: Bool, rd: Reader, +key: String, +ms: U32, m: Socket & Result<&1, &1, U32 & String, Unit>) -> IO(Result<&1, &1, Failure, Conn>):
734  (s, r) = m
735  match r:
736    case Fail{(code, why)}:
737      do IO<Result<&1, &1, Failure, Conn>>:
738        io.close(tls, s)
739        return Fail{IoFail{code, why}}
740    case Done{u}:
741      IO.pure(Result<&1, &1, Failure, Conn>, Done{Conn{tls, s, rd, key, ms}})