def text.space

ezsys@0.1.0.0 · src/str.bend:19

import Base

19# whether a character is Python whitespace
20def text.space(chr: Char) -> Bool:
21  match chr:
22    case Chr{+x}:
23      List.contains(~U32, ~U32.is_eq, text.spaces(), x)