def conn.open.all

bend-kit-http@0.38.2.0 · http.bend:2948

import Base

2948def conn.open.all(+tls: Bool, +ms: U32, +host: String, +port: U32,
2949    ips: List<&2, String>, cert: Maybe<&2, Cert>, offer: Bool, +ca: String) ->
2950    IO(Result<&1, &1, Err, Conn>):
2951  match ips:
2952    case Nil{}:
2953      IO.pure(Result<&1, &1, Err, Conn>, Fail{ErrDns{}})
2954    case Con{addr, rest}:
2955      do IO<Result<&1, &1, Err, Conn>>:
2956        start : Nat <- IO.now()
2957        r : Result<&1, &1, U32 & String, Socket> <- conn.dial.all(port, ms, start, addr, rest)
2958        conn.made(ms, host, tls, cert, offer, ca, r)