def des.key.pick
bend-osdev-legacy-ciphers@0.1.0.0 · des.bend:336
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Des
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
336def des.key.pick(ok: Bool, +xs: List<&2, U32>) -> Result<&2, &2, L.LcError, LcDesKey>:
337 match ok:
338 case True{}:
339 Done{des.key_of(L.lc.be(L.lc.at(xs, 0n), L.lc.at(xs, 1n), L.lc.at(xs, 2n), L.lc.at(xs, 3n)), L.lc.be(L.lc.at(xs, 4n), L.lc.at(xs, 5n), L.lc.at(xs, 6n), L.lc.at(xs, 7n)))}
340 case False{}:
341 Fail{L.LcBadKeyLength{B.len(xs)}}