~/jendhub

def err.hexed

ezsys@0.1.0.0 · src/errno.bend:99

import ezsys@0.1.0.0/src/errno.bend as Errno
import Base

99# the code points repr writes as \xhh: below U+0020, U+007F to U+00A0, and
100# U+00AD
101def err.hexed(+cp: U32) -> Bool:
102  Bool.or(U32.is_lt(cp, 32),
103    Bool.or(Bool.and(U32.is_ge(cp, 127), U32.is_le(cp, 160)),
104      U32.is_eq(cp, 173)))

Uses (8)

Used by (1)