def Digit.has_bit3

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

import Base

252# Whether bit 3 (value 8) of the digit is set.
253def Digit.has_bit3(digit: Digit) -> Bool:
254  match digit:
255    case H0{}:
256      False{}
257    case H1{}:
258      False{}
259    case H2{}:
260      False{}
261    case H3{}:
262      False{}
263    case H4{}:
264      False{}
265    case H5{}:
266      False{}
267    case H6{}:
268      False{}
269    case H7{}:
270      False{}
271    case H8{}:
272      True{}
273    case H9{}:
274      True{}
275    case Ha{}:
276      True{}
277    case Hb{}:
278      True{}
279    case Hc{}:
280      True{}
281    case Hd{}:
282      True{}
283    case He{}:
284      True{}
285    case Hf{}:
286      True{}