def tick

bolt@1.27.0.0 · src/lsp/frame.bend:166

import Base

166# a count one more (digits least significant first)
167def tick(ds: List<&2, Digit>) -> List<&2, Digit>:
168  match ds:
169    case Nil{}:
170      [D1{}]
171    case Con{D0{}, t}:
172      D1{} <> t
173    case Con{D1{}, t}:
174      D2{} <> t
175    case Con{D2{}, t}:
176      D3{} <> t
177    case Con{D3{}, t}:
178      D4{} <> t
179    case Con{D4{}, t}:
180      D5{} <> t
181    case Con{D5{}, t}:
182      D6{} <> t
183    case Con{D6{}, t}:
184      D7{} <> t
185    case Con{D7{}, t}:
186      D8{} <> t
187    case Con{D8{}, t}:
188      D9{} <> t
189    case Con{D9{}, t}:
190      D0{} <> tick(t)