~/jendhub

def pool.close.go

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

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

1063def pool.close.go(xs: List<&1, List<&1, Conn>>) -> IO(Unit):
1064  match xs:
1065    case Nil{}:
1066      IO.pure(Unit, Unit{})
1067    case Con{cs, t}:
1068      do IO<Unit>:
1069        none : List<&1, Conn> <- conns.cut(cs, 0n)
1070        pool.close.go(t)

Uses (7)

Used by (1)