type CmError

bend-osdev-mode-core@0.1.0.0 · mode_core.bend:25

import Base

25# Every failure a mode can report
26type CmError is Data:
27  CmBadKeyLength{got: Nat}
28  CmBadIvLength{got: Nat}
29  CmBadTweakLength{got: Nat}
30  CmBadNonceLength{got: Nat}
31  CmBadTagLength{got: Nat}
32  CmBadBlockSize{got: Nat}
33  CmNotBlockMultiple{len: Nat}
34  CmTooShort{len: Nat}
35  CmTooLong{len: Nat}
36  CmBadPadding{}
37  CmTagMismatch{}