def key.refetch

bend-kit-jwt@0.11.0.1 · jwt.bend:845

import Base
import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin

845def key.refetch(go: Bool, c: Hairpin.Client, s: Jwks, +kid: String, +a: Alg, +now: U32) ->
846    IO(Hairpin.Client & Jwks & Result<&1, &1, Err, Key>):
847  match go:
848    case False{}:
849      IO.pure(Hairpin.Client & Jwks & Result<&1, &1, Err, Key>, (c, s, Fail{NoKey{}}))
850    case True{}:
851      do IO<Hairpin.Client & Jwks & Result<&1, &1, Err, Key>>:
852        x : Hairpin.Client & Jwks & Result<&1, &1, Err, Unit> <- fetch(c, s, now)
853        return key.after(kid, a, x)