def ad.ae.key.pick

bend-osdev-aead@0.1.0.0 · aegis128.bend:227

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
import bend-osdev-aead@0.1.0.0/aesround.bend as R

227def ad.ae.key.pick(ok: Bool, +o: B.Octets) -> Result<&2, &2, Cr.CrError, AdAegisKey>:
228  match ok:
229    case True{}:
230      Done{AdAegisKey{R.AdBlk.of_octets(o), R.AdAes.sbox()}}
231    case False{}:
232      Fail{Cr.CrBadKeyLength{B.Octets.len(o)}}