def try.close

bend-kit-dns@0.7.0.0 · dns.bend:481

import bend-kit-dns@0.7.0.0/dns.bend as Dns

import Base

481def try.close(s: Socket, r: Maybe<&2, String>) -> IO(Maybe<&2, String>):
482  do IO<Maybe<&2, String>>:
483    Socket.close(s)
484    return r

Uses (8)

Used by (2)