~/jendhub

def redirect.next

emerging-ezhttp@0.21.0.0 · src/redirect.bend:286

import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect
import Base

286# the next hop from `url`, after a response with `status` and Location `loc`
287# ("" when it had none), with `left` hops still allowed
288def redirect.next(left: Nat, url: String, +status: U32, +loc: String) -> Hop:
289  match left:
290    case 0n:
291      Stop{}
292    case 1n+p:
293      redirect.on(url, loc, redirect.is(status))

Uses (6)

Used by (1)