def time.digit.at

ezsys@0.1.0.0 · src/clock.bend:17

import Base

17# the k-th decimal digit character (9 for anything past it)
18def time.digit.at(place: Nat) -> Char:
19  match place:
20    case 0n:
21      '0'
22    case 1n+k1:
23      match k1:
24        case 0n:
25          '1'
26        case 1n+k2:
27          match k2:
28            case 0n:
29              '2'
30            case 1n+k3:
31              match k3:
32                case 0n:
33                  '3'
34                case 1n+k4:
35                  match k4:
36                    case 0n:
37                      '4'
38                    case 1n+k5:
39                      match k5:
40                        case 0n:
41                          '5'
42                        case 1n+k6:
43                          match k6:
44                            case 0n:
45                              '6'
46                            case 1n+k7:
47                              match k7:
48                                case 0n:
49                                  '7'
50                                case 1n+k8:
51                                  match k8:
52                                    case 0n:
53                                      '8'
54                                    case 1n+_k9:
55                                      '9'