~/jendhub

def dial.after

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

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

943def dial.after(r: Result<&1, &1, U32 & String, Socket>, +ip: String, +port: U32, +ms: U32) -> IO(Result<&1, &1, U32 & String, Socket>):
944  match r:
945    case Done{s}:
946      IO.pure(Result<&1, &1, U32 & String, Socket>, Done{s})
947    case Fail{e}:
948      Wire.connect(ip, port, ms)

Uses (8)

Used by (1)