def jwk.push

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

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

import Base

707def jwk.push(m: Maybe<&2, Jwk>, acc: List<&2, Jwk>) -> List<&2, Jwk>:
708  match m:
709    case None{}:
710      acc
711    case Some{k}:
712      Con{k, acc}

Uses (3)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:jwks.go