~/jendhub

def when

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

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

315def when(m: Maybe<&2, Lit>) -> Result<&1, &1, Err, Maybe<&2, U32>>:
316  match m:
317    case None{}:
318      Done{None{}}
319    case Some{LNum{Some{t}}}:
320      Done{Some{t}}
321    case Some{_}:
322      Fail{BadClaim{}}

Uses (5)

Used by (1)