Expand description
The one identifier character class for the whole workspace (§4.1).
§4.1 allows Unicode identifiers, and the lexer, the input parser’s capture-name splitter and the debugger all have to agree about which scalars they are — so the class is stated once, here, and never re-derived.
praxis-syntax depends only on praxis-source, so every front-end crate
can reach these predicates.
Functions§
- ident_
run_ len - The length in bytes of the identifier run at the start of
s, or0whensdoes not start one. - is_
ident - Whether the whole of
sis a well-formed identifier: non-empty, starting withis_ident_startand continuing withis_ident_continue. - is_
ident_ continue - Whether
cmay continue an identifier (§4.1). - is_
ident_ start - Whether
cmay start an identifier (§4.1).