def jwk.found

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

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

import Base

776def jwk.found(m: Maybe<&2, Jwk>) -> Result<&1, &1, Err, Key>:
777  match m:
778    case None{}:
779      Fail{NoKey{}}
780    case Some{k}:
781      jwk.key(k)

Uses (6)

Used by (2)