def Digit.is_zero

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

import Base

106# Whether the digit is 0. An identifier is all zero when every digit is.
107def Digit.is_zero(digit: Digit) -> Bool:
108  match digit:
109    case H0{}:
110      True{}
111    case H1{}:
112      False{}
113    case H2{}:
114      False{}
115    case H3{}:
116      False{}
117    case H4{}:
118      False{}
119    case H5{}:
120      False{}
121    case H6{}:
122      False{}
123    case H7{}:
124      False{}
125    case H8{}:
126      False{}
127    case H9{}:
128      False{}
129    case Ha{}:
130      False{}
131    case Hb{}:
132      False{}
133    case Hc{}:
134      False{}
135    case Hd{}:
136      False{}
137    case He{}:
138      False{}
139    case Hf{}:
140      False{}