def jwks.kid

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

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

895def jwks.kid(k: Maybe<&2, String>, +p: Policy, c: Hairpin.Client, s: Jwks, +now: U32, parts: Parts) ->
896    IO(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>):
897  match k:
898    case None{}:
899      IO.pure(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>, (c, s, Fail{NoKey{}}))
900    case Some{+kid}:
901      do IO<Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>>:
902        x : Hairpin.Client & Jwks & Result<&1, &1, Err, Key> <- key(c, s, kid, policy.alg(p), now)
903        jwks.keyed(p, now, parts, x)