def fetch.keys

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

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

796def fetch.keys(m: Maybe<&2, List<&2, Jwk>>, c: Hairpin.Client, s: Jwks, +now: U32) -> Hairpin.Client & Jwks & Result<&1, &1, Err, Unit>:
797  match m:
798    case None{}:
799      (c, s, Fail{Malformed{}})
800    case Some{ks}:
801      Jwks{url, ttl, live, at, tried, old} = s
802      (c, Jwks{url, ttl, True{}, now, tried, ks}, Done{Unit{}})