def digit_of

mylsm-lsm-store@0.3.2.0 · src/Decimal.bend:42

import mylsm-lsm-store@0.3.2.0/src/Decimal.bend as Decimal
import Base

42def digit_of(ch: Char) -> Maybe<&2, Nat>:
43  +code = Char.to_u32(ch)
44  digit_dec(is_digit_code(code), code)

Uses (6)

Used by (2)