def check.done

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

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

616def check.done(s: Result<&1, &1, Err, Bool>, +p: Policy, +now: U32, +f: List<&2, Field>, v: Json.Val) ->
617    Result<&1, &1, Err, Json.Val>:
618  match s:
619    case Fail{e}:
620      Fail{e}
621    case Done{ok}:
622      check.sig(ok, p, now, f, v)

Uses (9)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:check.pinned