def jwk.fits

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

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt

import Base

749def jwk.fits(k: Jwk, +kid: String, +a: Alg) -> Bool:
750  Jwk{k2, +rsa, +ka, x, y} = k
751  Bool.and(Bool.and(String.eq(k2, kid), U32.is_eq(fam(a), Bool.pick(U32, rsa, 1, 2))),
752    Bool.or(String.eq(ka, ""), String.eq(ka, alg.name(a))))

Uses (12)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:jwk.pick