def b64.dec.go

cswap-bend-cli@0.1.0.0 · b64.bend:181

import Base

181# `fuel` is the input length, at least the number of quads.
182def b64.dec.go(fuel: Nat, q: Quad) -> Maybe<&2, List<&2, U32>>:
183  match fuel q:
184    case _ QEnd{}:
185      Some{[]}
186    case _ QBad{}:
187      None{}
188    case 0n _:
189      None{}
190    case 1n+p Q{w, x, y, z, t}:
191      b64.dec.quad(w, x, y, z, b64.dec.go(p, b64.quad.of(t)))