Kwasm.format.text.type

Parses a FunctionType from a list of Tokens. From the docs:

functype ::=  ‘(’ ‘func’  t1:vec(param)  t2:vec(result) ‘)’ => [t1]→[t2]
param    ::=  ‘(’ ‘param’  id?  t:valtype ‘)’                 => t
result   ::=  ‘(’ ‘result’  t:valtype ‘)’                     => t

Parses a list of Param from a list of tokens.

Parses a list of Result from a list of tokens.

Parses a GlobalType from a list of Tokens. From the docs:

globaltype ::=  t:valtype                => const t
‘(’ ‘mut’  t:valtype ‘)’ => var t

From the spec:

limits ::=  n:u32        => {min n, max ϵ}
|   n:u32  m:u32 => {min n, max m}

From the spec:

memtype ::= lim:limits => lim

Parses a Param from a list of Tokens. from the docs:

param    ::=  ‘(’ ‘param’  id?  t:valtype ‘)’  => t

Parses a Result from a list of Tokens. from the docs:

result   ::=  ‘(’ ‘result’  t:valtype ‘)’  => t

Parses a Result from a list of Tokens. From the docs:

resultType   ::=  (t:result)?  => [t?]

From the spec:

tabletype ::= lim:limits  et:elemtype => lim et
elemtype  ::= ‘funcref’               => funcref

Parses a ValueType from a list of Tokens. From the docs:

valtype ::=  { 'i32' -> I32
'i64' -> I64
'f32' -> F32
'f64' -> F64 }

Similar to parseValueType, but does not throw if a ValueType is null.

Parses an AstNodeList of ValueTypes from the receiving List of Tokens.

See parseValueType.