def err

bend-osdev-cipher-modes@0.1.0.0 · check.bend:15

import bend-osdev-cipher-modes@0.1.0.0/check.bend as Check
import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

15def err(e: M.CmError) -> String:
16  match e:
17    case M.CmBadKeyLength{n}:
18      "CmBadKeyLength"
19    case M.CmBadIvLength{n}:
20      "CmBadIvLength"
21    case M.CmBadTweakLength{n}:
22      "CmBadTweakLength"
23    case M.CmBadNonceLength{n}:
24      "CmBadNonceLength"
25    case M.CmBadTagLength{n}:
26      "CmBadTagLength"
27    case M.CmBadBlockSize{n}:
28      "CmBadBlockSize"
29    case M.CmNotBlockMultiple{n}:
30      "CmNotBlockMultiple"
31    case M.CmTooShort{n}:
32      "CmTooShort"
33    case M.CmTooLong{n}:
34      "CmTooLong"
35    case M.CmBadPadding{}:
36      "CmBadPadding"
37    case M.CmTagMismatch{}:
38      "CmTagMismatch"

Uses (2)

Used by (5)