def pool.get

bend-kit-postgres@0.3.0.0 · postgres.bend:616

import Base

616# The idle connection given back last, or a new one.
617# ponytail: an idle connection the server has since closed fails on its first query; ping before reuse if that bites.
618def pool.get(p: Pool, +cfg: Config) -> IO(Pool & Result<&1, &1, Failure, Conn>):
619  Pool{+cap, idle} = p
620  +k = key(cfg)
621  pool.got(cfg, pool.take(cap, k, Map.pop(&1, List<&1, Conn>, idle, k)))