def LcDes.key

bend-osdev-legacy-ciphers@0.1.0.0 · des.bend:345

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

345# an 8-byte key (the parity bits, the low bit of each byte, are not checked)
346def LcDes.key(o: B.Octets) -> Result<&2, &2, L.LcError, LcDesKey>:
347  +xs = B.Octets.to_list(o)
348  des.key.pick(Nat.is_eq(B.len(xs), 8n), xs)