kwasm.format.text.whitespace

Kwasm.format.text.whitespace

package kwasm.format.text.whitespace

Classes

Name Description
object Comment

Comments are effectively whitespace when it comes time to interpret the code.

From the docs:


comment        ::= linecomment | bockcomment
linecomment    ::= ‘;;’ linechar∗ (U+0A | eof)
linechar       ::= c:char                      (if c ≠ U+0A)
blockcomment   ::= ‘(;’ blockchar∗ ‘;)’
blockchar      ::= c:char (if c ≠ ‘;’ ∧ c ≠ ‘(’)
‘;’ (if the next character is not ‘)’)
‘(’ (if the next character is not ‘;’)
blockcomment

object Format

Format whitespace elements are spaces, tabs, newlines, and carriage returns.

From the docs:


format ::= ' ' | U+09 | U+0A | U+0D