def inspect.parts

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

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

import Base

407def inspect.parts(+p: Policy, +now: U32, r: Result<&1, &1, Err, Parts>) -> Result<&1, &1, Err, Unit>:
408  match r:
409    case Fail{e}:
410      Fail{e}
411    case Done{Parts{+h, +f, v, input, sig}}:
412      do Result<&1, &1, Err, Unit>:
413        u : Unit <- head.check(policy.alg(p), h)
414        claims.check(p, now, f)

Uses (10)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:inspect