~/jendhub

def pool.keep

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

import bend-kit-redis@0.3.0.0/redis.bend as Redis
import Base

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

Uses (16)

Used by (1)