def pool.get

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

import Base

1011# The idle connection given back last, or a new one.
1012# ponytail: an idle connection the server has since closed fails on its first command; add a PING check if that bites.
1013def pool.get(p: Pool, +cfg: Config) -> IO(Pool & Result<&1, &1, Failure, Conn>):
1014  Pool{+cap, idle} = p
1015  +k = key(cfg)
1016  pool.got(cfg, pool.take(cap, k, Map.pop(&1, List<&1, Conn>, idle, k)))