def Pool.put.done

bend-kube-runtime@0.2.0.0 · src/client.bend:413

import bend-kube-runtime@0.2.0.0/src/client.bend as Client
import Base
import bend-kube-runtime@0.2.0.0/src/net.bend as N

413def Pool.put.done(p: Poll<&1, &1, Result<&1, &1, Socket, Unit>, Socket>) -> IO(Unit):
414  match p:
415    case Ready{Done{u}}:
416      IO.pure(Unit, Unit{})
417    case Ready{Fail{s}}:
418      N.Tls.close(s)
419    case Wait{s}:
420      N.Tls.close(s)

Uses (7)

Used by (1)