]> Git — Sourcephile - haskell/symantic.git/blob - symantic-lib/grammar.ebnf
Reorganize symantic-document modules.
[haskell/symantic.git] / symantic-lib / grammar.ebnf
1 Commentable space line block = {space | line | block} ;
2 CommentLine = prefix, {_ - (↵ | eoi)} ;
3 CommentBlock = begin, {_ - end}, end ;
4 Lexeme g = g, Commentable (␣ | ↵, ␣) CommentLine CommentBlock ;
5 Parens g = Lexeme "(", g, Lexeme ")" ;
6 begin, in, end | next
7 Type = TypeFun ;
8 TypeFun = infixr TypeList (Lexeme "->") ;
9 TypeList = Lexeme "[", (Type | ""), Lexeme "]" | TypeTuple2 ;
10 TypeTuple2 = Parens (infixr Type (Lexeme ",")) | TypeApp ;
11 TypeApp = {TypeAtom}- ;
12 TypeAtom = Parens Type | TypeConst | TypeVar ;
13 TypeConst = Lexeme ModNameTy ;
14 TypeVar = Lexeme (Unicat LowercaseLetter, {Unicat_Letter | Unicat_Number}) ;
15 Term = TermAbst | TermOperators | TermLet ;
16 TermOperators = operators TermAtom TermPrefix TermInfix TermPostfix ;
17 TermAtom = teinteger | ModNameTe | TermGroup ;
18 TermGroup = Parens Term ;
19 TermAbst = Lexeme "\", {TermAbstDecl}-, Lexeme "->", Term ;
20 TermAbstDecl = Parens (NameTe, (Lexeme "::" | Lexeme ":"), Type) ;
21 TermLet = Lexeme "let", NameTe, {TermAbstDecl}, Lexeme "=", Term, Lexeme "in", Term ;
22 ModNameTe = Lexeme (ModNameTeId | Parens ModNameTeOp) ;
23 NameTe = Lexeme (NameTeId | Parens NameTeOp) ;
24 NameTeId = Unicat_Letter, {NameTeIdTail} - NameTeIdKey, (_ - NameTeIdTail) ;
25 NameTeIdTail = Unicat_Letter | Unicat_Number ;
26 NameTeIdKey = "in" | "let" ;
27 ModNameTeOp = [PathMod, "."], NameTeOp ;
28 NameTeOp = {NameTeOpOk}- - NameTeOpKey, (_ - NameTeOpOk) ;
29 NameTeOpOk = (Unicat_Symbol | Unicat_Punctuation | Unicat_Mark) - ("(" | ")" | "`" | "'" | "," | "[" | "]") ;
30 NameTeOpKey = "\" | "->" | "=" | "@" ;