~/jendhub

def pool.keep

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

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

639def pool.keep(+cap: U32, +k: String, c: Conn, r: Map<&1, List<&1, Conn>> & Maybe<&1, List<&1, Conn>>) -> IO(Pool):
640  (m, old) = r
641  do IO<Pool>:
642    xs : List<&1, Conn> <- conns.cut(c <> Maybe.default(&1, List<&1, Conn>, old, Nil{}), U32.to_nat(cap))
643    return Pool{cap, Map.set(&1, List<&1, Conn>, m, k, xs)}

Uses (16)

Used by (1)