def check.pinned

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

import Base
import bend-kit-json@0.7.0.0/json.bend as Json
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

624def check.pinned(ok: Result<&1, &1, Err, Unit>, +p: Policy, key: Key, +now: U32, +f: List<&2, Field>, v: Json.Val,
625    input: Bytes.Bytes, sig: Bytes.Bytes) -> IO(Result<&1, &1, Err, Json.Val>):
626  match ok:
627    case Fail{e}:
628      IO.pure(Result<&1, &1, Err, Json.Val>, Fail{e})
629    case Done{u}:
630      do IO<Result<&1, &1, Err, Json.Val>>:
631        s : Result<&1, &1, Err, Bool> <- sig.check(policy.alg(p), key, input, sig)
632        return check.done(s, p, now, f, v)