def parse.iters

bend-kit-postgres@0.3.0.0 · scram.bend:87

import Base

87def parse.iters(ok: Bool, m: Maybe<&2, U32>, +nonce: String, +salt: String) -> Result<&1, &1, U32 & String, Parsed>:
88  match ok m:
89    case True{} Some{+i}:
90      Bool.pick(Result<&1, &1, U32 & String, Parsed>, U32.is_eq(i, 0), Fail{(22, "SCRAM iteration count is 0")}, Done{Parsed{nonce, salt, i}})
91    case _ _:
92      Fail{(22, "SCRAM iteration count is not a decimal U32")}