~/jendhub

def dropped

emerging-ezhttp@0.21.0.0 · src/unescape.bend:72

import emerging-ezhttp@0.21.0.0/src/unescape.bend as Unescape
import Base

72# a code point Python drops: C0 controls but TAB, LF, FF and CR, DEL and the
73# C1 controls, and the noncharacters U+FDD0 to U+FDEF and U+xFFFE, U+xFFFF
74def dropped(+n: U32) -> Bool:
75  Bool.or(Bool.and(U32.is_le(1, n), U32.is_le(n, 8)),
76    Bool.or(U32.is_eq(n, 11),
77      Bool.or(Bool.and(U32.is_le(14, n), U32.is_le(n, 31)),
78        Bool.or(Bool.and(U32.is_le(127, n), U32.is_le(n, 159)),
79          Bool.or(Bool.and(U32.is_le(64976, n), U32.is_le(n, 65007)),
80            U32.is_eq(U32.and(n, 65534), 65534))))))

Uses (7)

Used by (1)