def key_from_proofs

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:364

import Base

364def key_from_proofs(+bytes: List<&2, U32>,
365    size: Maybe<&0, {List.length(&2, U32, bytes) == 32n : Nat}>,
366    valid: Maybe<&0, {bytes_valid(bytes) == True{} : Bool}>) -> Result<&2, &2, Error, SecretKey>:
367    match size valid:
368        case Some{size} Some{valid}: Done{SecretKey{bytes, size, valid}}
369        case _ _: Fail{InvalidKey{}}