def jwks.pinned

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

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

905def jwks.pinned(ok: Result<&1, &1, Err, Unit>, +p: Policy, c: Hairpin.Client, s: Jwks, +now: U32, +h: List<&2, Field>,
906    parts: Parts) -> IO(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>):
907  match ok:
908    case Fail{e}:
909      IO.pure(Hairpin.Client & Jwks & Result<&1, &1, Err, Json.Val>, (c, s, Fail{e}))
910    case Done{u}:
911      jwks.kid(str(field(h, "kid")), p, c, s, now, parts)