def tdes.key.pick
bend-osdev-legacy-ciphers@0.1.0.0 · tdes.bend:29
import bend-osdev-legacy-ciphers@0.1.0.0/tdes.bend as Tdes
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
29def tdes.key.pick(three: Bool, two: Bool, +xs: List<&2, U32>) -> Result<&2, &2, L.LcError, LcTdesKey>:
30 match three two:
31 case True{} _:
32 Done{tdes.key3(xs)}
33 case False{} True{}:
34 Done{tdes.key2(xs)}
35 case False{} False{}:
36 Fail{L.LcBadKeyLength{B.len(xs)}}