def pool.hops

bend-kit-http@0.38.5.0 · http.bend:4008

import Base

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