~/jendhub

def pool.take

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

import bend-kit-postgres@0.3.0.0/postgres.bend as Postgres
import Base

591def pool.take(+cap: U32, +k: String, r: Map<&1, List<&1, Conn>> & Maybe<&1, List<&1, Conn>>) -> Pool & Maybe<&1, Conn>:
592  (m, got) = r
593  match got:
594    case None{}:
595      (Pool{cap, m}, None{})
596    case Some{xs}:
597      match xs:
598        case Nil{}:
599          (Pool{cap, m}, None{})
600        case Con{c, t}:
601          (Pool{cap, Map.set(&1, List<&1, Conn>, m, k, t)}, Some{c})

Uses (10)

Used by (1)