Kwasm.format.text.token.util

From the docs.

frac       ::= empty                               => 0
d:digit q:frac                      => (d + q) / 10
d:digit '' p:digit q:frac          => (d + (p + q) / 10) / 10
hexfrac    ::= empty                               => 0
h:hexdigit q:hexfrac                => (h + q) / 16
h:hexdigit '' p:hexdigit q:hexfrac => (h + (p + q) / 16) / 16

From the docs.

All integers can be written in either decimal or hexadecimal notation. In both cases, digits can optionally be separated by underscores.

digit      ::= '0' => 0, '1' => 1, ... '9' => 9
hexdigit   ::= d:digit => d
'A' => 10, 'B' => 11, ... 'F' => 15
'a' => 10, 'b' => 11, ... 'f' => 15
num        ::= d:digit => d
n:num ''? d:digit => n * 10 + d
hexnum     ::= h:hexdigit => h
n:hexnum ''? h:hexdigit => n * 16 + h

Represents a single character as a unicode codepoint, and its original length in a wast file as part of a string literal.

From the docs.

Return value of RawToken's find[Token] extension methods.

Pattern to check for valid StringChar elements. From the docs:

stringchar ::= c:char                  => c (if c ≥ U+20 ∧ c ≠ U+7F ∧ c ≠ ‘"’ ∧ c ≠ ‘∖’)
'∖t'                    => U+09
'∖n'                    => U+0A
'∖r'                    => U+0D
'∖"'                    => U+22
'∖''                    => U+27
'∖'                    => U+5C
'∖u{' n:hexnum '}'      => U+(n) (if n < 0xD800 ∨ 0xE000 ≤ n < 0x110000)

From the docs:

stringelem ::= s:stringchar                => s as StringChar
'∖' n:hexdigit m:hexdigit   => StringChar(16 * n + m, 3)