def cr.blk.enc

bend-osdev-crypto@0.1.0.0 · block.bend:38

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

38def cr.blk.enc(~K: Data, ~Blk: Data, ~enc: K -> Blk -> Blk, ~blk_to: Blk -> B.Octets, m: Maybe<&2, Blk>, +k: K, +n: Nat) -> Result<&2, &2, Cr.CrError, B.Octets>:
39  match m:
40    case None{}:
41      Fail{Cr.CrBadBlockSize{n}}
42    case Some{b}:
43      Done{blk_to(enc(k, b))}