def digit.code

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

import bolt@1.27.0.0/src/lsp/frame.bend as Frame
import Base

116# a digit's char code, '0' to '9'
117def digit.code(dd: Digit) -> U32:
118  match dd:
119    case D0{}:
120      48
121    case D1{}:
122      49
123    case D2{}:
124      50
125    case D3{}:
126      51
127    case D4{}:
128      52
129    case D5{}:
130      53
131    case D6{}:
132      54
133    case D7{}:
134      55
135    case D8{}:
136      56
137    case D9{}:
138      57

Uses (2)

Used by (1)