def jwks.run

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

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

880def jwks.run(r: Result<&1, &1, Err, Key>, c: Hairpin.Client, s: Jwks, +p: Policy, +now: U32, parts: Parts) ->
881    IO(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>):
882  match r:
883    case Fail{e}:
884      IO.pure(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>, (c, s, Fail{e}))
885    case Done{k}:
886      do IO<Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>>:
887        v : Result<&1, &1, Err, Json.Val> <- check(p, k, now, parts)
888        return (c, s, v)