def dialed

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

import Base
import bend-kit-wire@0.4.6.2/wire.bend as Wire

930def dialed(r: Result<&1, &1, U32 & String, Socket>, tls: Bool, +k: String, +host: String, +user: String, +pass: String, +db: U32, +ms: U32) -> IO(Result<&1, &1, Failure, Conn>):
931  match r:
932    case Fail{(code, why)}:
933      IO.pure(Result<&1, &1, Failure, Conn>, Fail{IoFail{code, why}})
934    case Done{s}:
935      match tls:
936        case True{}:
937          do IO<Result<&1, &1, Failure, Conn>>:
938            m : Socket & Result<&1, &1, U32 & String, Unit> <- Wire.tls.connect(s, host, ms)
939            tls.done(k, ms, user, pass, db, m)
940        case False{}:
941          hello(Conn{False{}, s, reader(), k, ms}, user, pass, db)