def jwks.arr

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

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

721def jwks.arr(m: Maybe<&1, Json.Val>) -> Maybe<&2, List<&2, Jwk>>:
722  match m:
723    case Some{Json.Arr{xs}}:
724      Some{jwks.go(xs, Nil{})}
725    case _:
726      None{}