def cr.blocks_of.go

bend-osdev-crypto@0.1.0.0 · modes.bend:130

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

130# the pieces (last first) as blocks, in order, onto acc
131def cr.blocks_of.go(~Blk: Data, ~blk_of: B.Octets -> Maybe<&2, Blk>, ps: List<&2, List<&2, U32>>, acc: Maybe<&2, List<&2, Blk>>) -> Maybe<&2, List<&2, Blk>>:
132  match ps:
133    case Nil{}:
134      acc
135    case Con{p, t}:
136      cr.blocks_of.go(~Blk, ~blk_of, t, cr.cons_m(~Blk, blk_of(B.Octets.of_list(p)), acc))