def hexd

bolt@1.27.0.0 · src/rules/correctness/escape.bend:73

import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape

import Base

73# a hex digit
74def hexd(+nn: U32) -> String:
75  String.from_list([Chr{Bool.pick(U32, U32.is_lt(nn, 10), (nn + 48 : U32), (nn + 55 : U32))}])

Uses (8)

Used by (1)

bolt@1.27.0.0/src/rules/correctness/escape:hex