def Digit.to_u32

bend-trace-context@0.2.0.0 · src/hex.bend:70

import Base

70# The value of a digit, 0 to 15.
71def Digit.to_u32(digit: Digit) -> U32:
72  match digit:
73    case H0{}:
74      0
75    case H1{}:
76      1
77    case H2{}:
78      2
79    case H3{}:
80      3
81    case H4{}:
82      4
83    case H5{}:
84      5
85    case H6{}:
86      6
87    case H7{}:
88      7
89    case H8{}:
90      8
91    case H9{}:
92      9
93    case Ha{}:
94      10
95    case Hb{}:
96      11
97    case Hc{}:
98      12
99    case Hd{}:
100      13
101    case He{}:
102      14
103    case Hf{}:
104      15