+x::="x"
// indentation styling...
// literal blocks [[need to ignore bracing]] double-colon style?
// definition -- by prior line indentation, like headings in the original structured text
//////////////////////////////////////////////////////////////////////////////
-s ::= {Doc} => top
+s ::= { Doc } => "top"
Doc ::= Header Body /ws => doc
Header ::= "header" { kv */ ws } /ws => header
kv ::= word "=" text /ws => kv1
-num !::= [0-9]++
Paragraph ::= { "\"\"" ws text } => "blockquote"
> { "*" " " ws text } => "ul"
> { "#" " " ws text } => "ol"
- > { num " " ws text } => "ol"
+ > { num " " ws text => "ol" }
> { "---" "-"* } => "hr"
> { text } => "p"
> structured
> styled
> "\"" text "\"" => quoted
- > [a-zA-Z0-9]++
+ > alphanum++ => "stringify"
> symbol
symbol ::= symbolx & sym++
// only gets parsed once
urlpath ::= urlchar*
-username ::= [a-zA-Z0-9;/?:&=$\-_.+]++
-password ::= [a-zA-Z0-9;/?:&=$\-_.+]++
+username ::= [a-zA-Z0-9;/?:&=$\-_.+]++ => "stringify"
+password ::= [a-zA-Z0-9;/?:&=$\-_.+]++ => "stringify"
urlchar ::= [a-zA-Z0-9;/?:&=$\-_.+@]
| "%" [0-9] [0-9] => "%"
url ::= "mailto" ":" email
port ::= [0-9]+
domain ::= part +/ "."
-part ::= [a-zA-Z0-9\-]++ // interesting use of boolean grammars
+part ::= [A-Za-z0-9\-]++ => "stringify"
// &~ ([\-0-9] ~[]* | ~[]* [\-0-9])
email ::= username "@" host => email
-host ::= [0-9]+ "." [0-9]+ "." [0-9]+ "." [0-9]+ => "ip"
- | domain
+host ::= domain
+ | [0-9]+ "." [0-9]+ "." [0-9]+ "." [0-9]+ => "ip"
// Tokens ///////////////////////////////////////////////////////////////////
-word ::= alphanum++
+word ::= alphanum++ => "stringify"
| quoted
quoted ::= "\"" ((~[\"\\] | escaped)+) "\""
// Chars ///////////////////////////////////////////////////////////////
alpha ::= [a-zA-Z]
-num ::= [0-9]
+num !::= [0-9]++ => "stringify"
+//num ::= [0-9]
alphanum ::= [a-zA-Z0-9]
sym ::= ~[a-zA-Z0-9\ \r\n]