type Digit

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

import Base

14# A hexadecimal digit has exactly these sixteen values, H0 to Hf, in value
15# order. Encoding is lowercase.
16type Digit is Data:
17  H0{}
18  H1{}
19  H2{}
20  H3{}
21  H4{}
22  H5{}
23  H6{}
24  H7{}
25  H8{}
26  H9{}
27  Ha{}
28  Hb{}
29  Hc{}
30  Hd{}
31  He{}
32  Hf{}