def verify.parsed

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

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

639def verify.parsed(+p: Policy, key: Key, +now: U32, r: Result<&1, &1, Err, Parts>) -> IO(Result<&1, &1, Err, Json.Val>):
640  match r:
641    case Fail{e}:
642      IO.pure(Result<&1, &1, Err, Json.Val>, Fail{e})
643    case Done{parts}:
644      check(p, key, now, parts)

Uses (10)

Used by (1)