def Digit.has_bit2

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

import Base

216# Whether bit 2 (value 4) of the digit is set.
217def Digit.has_bit2(digit: Digit) -> Bool:
218  match digit:
219    case H0{}:
220      False{}
221    case H1{}:
222      False{}
223    case H2{}:
224      False{}
225    case H3{}:
226      False{}
227    case H4{}:
228      True{}
229    case H5{}:
230      True{}
231    case H6{}:
232      True{}
233    case H7{}:
234      True{}
235    case H8{}:
236      False{}
237    case H9{}:
238      False{}
239    case Ha{}:
240      False{}
241    case Hb{}:
242      False{}
243    case Hc{}:
244      True{}
245    case Hd{}:
246      True{}
247    case He{}:
248      True{}
249    case Hf{}:
250      True{}