type CrError

bend-osdev-crypto@0.1.0.0 · crypto.bend:25

import Base

25# Every failure an interface reports. An instance whose algorithm has its own
26# error type maps it onto these (inst_lc.bend, inst_cm.bend).
27type CrError is Data:
28  CrBadKeyLength{got: Nat}
29  CrBadIvLength{got: Nat}
30  CrBadNonceLength{got: Nat}
31  CrBadTagLength{got: Nat}
32  CrBadBlockSize{got: Nat}
33  CrNotBlockMultiple{len: Nat}
34  CrTooShort{len: Nat}
35  CrTooLong{len: Nat}
36  CrBadPadding{}
37  CrTagMismatch{}
38  CrBadOutputLength{got: Nat}
39  CrBadKey{}
40  CrBadPublicKey{}