def CrCtr.next

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

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

274# The keystream generator: the next keystream byte and the state after it
275def CrCtr.next(~K: Data, ~Blk: Data, ~enc: K -> Blk -> Blk, ~blk_of: B.Octets -> Maybe<&2, Blk>, ~blk_to: Blk -> B.Octets, s: CrCtrState<K>) -> St.CrKsStep<CrCtrState<K>>:
276  match s:
277    case CrCtrState{+k, +ctr, buf}:
278      cr.ctr.next(~K, ~Blk, ~enc, ~blk_of, ~blk_to, buf, k, ctr)