def jwks.parsed

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

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

913def jwks.parsed(+p: Policy, c: Hairpin.Client, s: Jwks, +now: U32, r: Result<&1, &1, Err, Parts>) ->
914    IO(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>):
915  match r:
916    case Fail{e}:
917      IO.pure(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>, (c, s, Fail{e}))
918    case Done{Parts{+h, f, v, input, sig}}:
919      jwks.pinned(head.check(policy.alg(p), h), p, c, s, now, h, Parts{h, f, v, input, sig})