def jwks.go

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

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

714def jwks.go(xs: List<&1, Json.Val>, acc: List<&2, Jwk>) -> List<&2, Jwk>:
715  match xs:
716    case Nil{}:
717      List.reverse(&2, Jwk, acc)
718    case x <> t:
719      jwks.go(t, jwk.push(jwk.of(x), acc))