def claims.done

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

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

602def claims.done(r: Result<&1, &1, Err, Unit>, v: Json.Val) -> Result<&1, &1, Err, Json.Val>:
603  match r:
604    case Fail{e}:
605      Fail{e}
606    case Done{u}:
607      Done{v}

Uses (4)

Used by (1)