def digit.read

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

import Base

140# the digit a char code stands for, if it is one
141def digit.read(xx: U32) -> Maybe<&2, Digit>:
142  match xx:
143    case 48:
144      Some{D0{}}
145    case 49:
146      Some{D1{}}
147    case 50:
148      Some{D2{}}
149    case 51:
150      Some{D3{}}
151    case 52:
152      Some{D4{}}
153    case 53:
154      Some{D5{}}
155    case 54:
156      Some{D6{}}
157    case 55:
158      Some{D7{}}
159    case 56:
160      Some{D8{}}
161    case 57:
162      Some{D9{}}
163    case other:
164      None{}