s = Doc
-Doc = head:{Header} body:Body /ws
-Header = "header" attrs:{ KeyVal */ ws } /ws
-Body = {Section}*/ws
-Section = SectionHeader Paragraphs /ws
+Doc = head:Header body:Body /ws
+Header = H:: { "header" { KeyVal */ ws } /ws }
+Body = B:: {Section}*/ws
+Section = SectionHeader ws! (Paragraph Paragraph)
SectionHeader = "==" SectionHeaderBody "=="
SectionHeaderBody = "=" SectionHeaderBody "="
- > !ws alphanum++ !ws
+ > ws! alphanum++ ws!
sp = " "**
-blank = !sp "\n" !sp "\n" !ws
+blank = sp! "\n" sp! "\n" ws!
KeyVal = key:word "=" val:text /ws
wp = w++
num = [0-9]++
-Paragraphs = "[]":: { Blockquote:: "\"\" " text } Paragraphs
- > "[]":: { HR:: "---" "-"* } Paragraphs
- > "[]":: { P:: text } Paragraphs
- > ()
-onums = nums !(". "|") ")
+Paragraph = Blockquote:: { "\"\" " text }
+ > HR:: { "---" "-"* }
+ > P:: { text }
+
+onums = nums (". "|") ")!
any = ~[]*
-uli = "* " (!ws text &~ any !(oli|uli))
-oli = !("# "|onums) (!ws text &~ any !(oli|uli))
+uli = "* " (ws! text &~ any (oli|uli)!)
+oli = ("# "|onums)! (ws! text &~ any (oli|uli)!)
text = Item
-Itemx = !ws Item
- | ()
-Item = blockquote
- > "[]":: { UL:: uli+/ws } Itemx
- | "[]":: { OL:: oli+/ws } Itemx
- > "[]":: pre Itemx
- > "[]":: link Itemx
- > "[]":: structured Itemx
- > "[]":: styled Itemx
- > "[]":: (Chars:: text:alphanum++) Itemx
- > "[]":: "\"" text "\"" Itemx
-// > "[]":: symbol Itemx
- > "[]":: (Symbol:: sym++) Itemx
-// > "[]":: Paragraph Itemx
-
-blockquote = Blockquote:: "\"\"" text "\"\""
- | Blockquote:: "\"\"" block
+
+Item*/ws =
+ blockquote
+ > { UL:: uli+/ws }
+ | { OL:: oli+/ws }
+ > pre
+ > link
+ > structured
+ > styled
+ > (Chars:: alphanum++)
+ > "\"" text "\""
+ > (Symbol:: sym++)
+// > { Block:: text }
+
+blockquote = "adsfafewag"
+//blockquote = Blockquote:: "\"\"" (block | text "\"\"")
pre = Verbatim:: "[verbatim]" { ~[]+ } /ws // FIXME doesn't work
block = { text }
-link = Link:: text:({ text }) "->" href:(url|email)
- > Link:: text:alphanum++ !ws "->" href:(url|email)
+link = LinkText:: text:({ text }) "->" href:(url|email)
+ > LinkChars:: text:alphanum++ ws! "->" href:(url|email)
-structured = command & "\\" !([a-zA-Z0-9]++) block?
+structured = command & "\\" ([a-zA-Z0-9]++)! block?
> glyph
> email
> url
urlv = urlc | [%]
urlchar = urlc
| urlescape:: "%" [0-9] [0-9]
-url = "mailto" ":" email -> ~urlv
- > URL:: method:method "://" login:url_login? host:host port:(":" nums)? path:("/" urlpath)? -> ~urlv
+url = Mailto:: "mailto" ":" email -> ~urlv
+ > URL::
+ method:method
+ "://"
+ login:url_login?
+ host:host
+ port:(":" nums)?
+ path:("/" urlpath)?
+ -> ~urlv
url_login = Login:: username:username password:(":" password) "@"
method = [+\-.a-z0-9]+
domain = (part +/ ".") -> ~"."
// interesting use of boolean grammars
// &~ ([\-0-9] ~[]* | ~[]* [\-0-9])
-email = Email:: user:username "@" host:host -> ~[.]
+email = user:username "@" host:host -> ~[.]
nums = [0-9]++
host = IP:: nums "." nums "." nums "." nums
| DNS:: domain
| quoted
quoted = "\"" ((~[\"\\] | escaped)+) "\""
- | "":: "\"\""
+ | "\"\"":: "\"\""
escaped = lf:: "\\n"
| cr:: "\\r"
| "\\" ~[nr]
// Chars ///////////////////////////////////////////////////////////////
alpha = [a-zA-Z]
-//num = [0-9]
alphanum = [a-zA-Z0-9]
sym = ~[a-zA-Z0-9\ \r\n=\">]