def header.kid

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

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

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

553def header.kid(m: Maybe<&2, String>) -> List<&1, Bytes.Bytes & Json.Val>:
554  match m:
555    case None{}:
556      Nil{}
557    case Some{k}:
558      [(Json.utf8("kid"), Json.Str{Json.utf8(k)})]

Uses (8)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:header