~/jendhub

def header

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

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

560# {"alg":..,"typ":"JWT"}, then "kid" when given.
561def header(a: Alg, kid: Maybe<&2, String>) -> Json.Val:
562  Json.Obj{Con{(Json.utf8("alg"), Json.Str{Json.utf8(alg.name(a))}), Con{(Json.utf8("typ"), Json.Str{Json.utf8("JWT")}), header.kid(kid)}}}

Uses (9)

Used by (1)