def aes.key.go

bend-osdev-cipher-modes@0.1.0.0 · aes.bend:232

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as A

232def aes.key.go(m: Maybe<&2, A.Schedule>, +xs: List<&2, U32>) -> Result<&2, &2, M.CmError, CmAesKey>:
233  match m:
234    case None{}:
235      Fail{M.CmBadKeyLength{B.len(xs)}}
236    case Some{s}:
237      Done{CmAesKey{s, xs, Nil{}}}