def pool.take

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

import Base

986def pool.take(+cap: U32, +k: String, r: Map<&1, List<&1, Conn>> & Maybe<&1, List<&1, Conn>>) -> Pool & Maybe<&1, Conn>:
987  (m, got) = r
988  match got:
989    case None{}:
990      (Pool{cap, m}, None{})
991    case Some{xs}:
992      match xs:
993        case Nil{}:
994          (Pool{cap, m}, None{})
995        case Con{c, t}:
996          (Pool{cap, Map.set(&1, List<&1, Conn>, m, k, t)}, Some{c})