~/jendhub

def name.char

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

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

191# a character that may be in a name: anything but TAB, LF, FF, space, `<`,
192# `&`, `#` and `;`
193def name.char(+c: Char) -> Bool:
194  Bool.not(Bool.or(Char.is_eq(c, '\t'), Bool.or(Char.is_eq(c, '\n'),
195    Bool.or(Char.is_eq(c, '\u{C}'), Bool.or(Char.is_eq(c, ' '),
196      Bool.or(Char.is_eq(c, '<'), Bool.or(Char.is_eq(c, '&'),
197        Bool.or(Char.is_eq(c, '#'), Char.is_eq(c, ';')))))))))

Uses (5)

Used by (2)