def is_ws

bend-toon-codec@0.1.0.0 · src/text.bend:27

import Base

27# The whitespace JavaScript's String.trim removes: what section 7.2 means by
28# leading or trailing whitespace.
29def is_ws(+c: U32) -> Bool:
30  U32.is_eq(c, 32) || (U32.is_ge(c, 9) && U32.is_le(c, 13)) || U32.is_eq(c, 160)
31    || U32.is_eq(c, 5760) || (U32.is_ge(c, 8192) && U32.is_le(c, 8202))
32    || U32.is_eq(c, 8232) || U32.is_eq(c, 8233) || U32.is_eq(c, 8239)
33    || U32.is_eq(c, 8287) || U32.is_eq(c, 12288) || U32.is_eq(c, 65279)