WHITESPACE = _{ " " | "\t" | "\r" | "\n" }
COMMENT = _{ "//" ~ (!"\n" ~ ANY)* }
object = {
"{" ~ pair* ~ "}"
}
array = {
"[" ~ value* ~ "]"
}
pair = { path ~ "=" ~ value }
path = ${
path_char+
~ ( "." ~ path_char+ )*
}
path_char = { !( WHITESPACE | "=" ) ~ ANY }
value = _{ object | array | input | string | float | integer | boolean | null }
boolean = { "true" | "false" }
null = { "null" }
string = ${
"\"" ~ char* ~ "\""
}
char = {
// input
!("\"" | "\\") ~ ANY
| "\\" ~ ("\"" | "\\" | "/" | "b" | "f" | "n" | "r" | "t")
| "\\" ~ ("u" ~ ASCII_HEX_DIGIT{4})
}
integer = @{
"-"?
~ ("0" | ASCII_NONZERO_DIGIT ~ ASCII_DIGIT*)
}
float = @{
"-"?
~ ("0" | ASCII_NONZERO_DIGIT ~ ASCII_DIGIT*)
~ ("." ~ ASCII_DIGIT*)
~ (^"e" ~ ("+" | "-")? ~ ASCII_DIGIT+)?
}
input = ${ "$" ~ (ASCII_ALPHA | "_") ~ (ASCII_ALPHANUMERIC | "_")+ }
assignment = { input ~ "=" ~ value }
assign_block = { "let" ~ "{" ~ assignment* ~ "}" ~ "in" }
config = _{ SOI ~ assign_block? ~ object ~ EOI }