hexpr 0.2.2

H-Expressions: A compact syntax for open hypergraphs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

WHITESPACE = _{ " " | "\t" | "\n" | "\r" }
COMMENT = _{ "#" ~ (!"\n" ~ ANY)* }

hexprs = { SOI ~ hexpr* ~ EOI }
one_hexpr = { SOI ~ hexpr ~ EOI }

hexpr = {
    composition
  | tensor
  | frobenius
  | operation
}

composition = { "(" ~ hexpr+ ~ ")" }

tensor = { "{" ~ hexpr+ ~ "}" }

frobenius = { "[" ~ vars ~ ( "." ~ vars)? ~ "]" }

vars = { variable* }

operation = @{ (ASCII_ALPHANUMERIC | "-" | "_" | "." | "*" | "+" | "/" | "|" | ">" | ">" | ":" | "=" | "!" | "?")+ }

variable = @{ (ASCII_ALPHANUMERIC | "-" | "_") ~ (ASCII_ALPHANUMERIC | "-" | "_")* }