def ad.es.key

bend-osdev-aead@0.1.0.0 · essiv.bend:46

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

46def ad.es.key(~KD: Data, ~KS: Data, ~dkey: B.Octets -> Result<&2, &2, Cr.CrError, KD>, ~skey: B.Octets -> Result<&2, &2, Cr.CrError, KS>, ~digest: B.Octets -> B.Octets, +o: B.Octets) -> Result<&2, &2, Cr.CrError, AdEssivKey<KD, KS>>:
47  do Result<&2, &2, Cr.CrError, AdEssivKey<KD, KS>>:
48    kd : KD <- dkey(o)
49    ks : KS <- skey(digest(o))
50    return AdEssivKey{kd, ks}