def pool.hops

bend-kit-http@0.38.2.0 · http.bend:4004

import Base

4004def pool.hops(+mode: Mode, +ms: U32, st: Hops) -> IO(Pool & Result<&1, &1, Err, Res> & Maybe<&2, Jar>):
4005  Hops{p, n, cert, cj, ca} = st
4006  match n:
4007    case NDone{m}:
4008      IO.pure(Pool & Result<&1, &1, Err, Res> & Maybe<&2, Jar>, (p, m, cj))
4009    case NStop{}:
4010      IO.pure(Pool & Result<&1, &1, Err, Res> & Maybe<&2, Jar>, (p, Fail{ErrRedirect{}}, cj))
4011    case NGo{+left, h}:
4012      do IO<Pool & Result<&1, &1, Err, Res> & Maybe<&2, Jar>>:
4013        next : Hops <- pool.hops.one(mode, ms, cert, ca, cj, p, h, left)
4014        pool.hops(mode, ms, next)