~/jendhub

def pool.got

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

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

1001def pool.got(cfg: Config, r: Pool & Maybe<&1, Conn>) -> IO(Pool & Result<&1, &1, Failure, Conn>):
1002  (p, m) = r
1003  match m:
1004    case Some{c}:
1005      IO.pure(Pool & Result<&1, &1, Failure, Conn>, (p, Done{c}))
1006    case None{}:
1007      do IO<Pool & Result<&1, &1, Failure, Conn>>:
1008        c : Result<&1, &1, Failure, Conn> <- connect(cfg)
1009        pool.opened(p, c)

Uses (13)

Used by (1)