evaltrees 0.1.0

A simple term-rewriting interpreter that displays intermediate expressions.
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
25
26
27
28
29
30
31
32
33
34
35
36

# Documentation

## API

See [docs.rs](https://docs.rs/evaltrees).

## Syntax

Evaltrees accepts a series of declarations, as well as an expression to evaluate.
Their syntax is described informally as follows (All operator precedences and associativities follow the OCaml rules):

```plain
decls ::= (decl ";;")*

decl ::= name pattern2* "=" expr

pattern ::= pattern2 "::" pattern
         |  pattern2
pattern2 ::= name
          |  literal
          |  "(" pattern ")"

expr ::= name
      |  literal
      |  expr expr+
      |  expr binop expr
	  |  "if" expr "then" expr "else" expr
      |  "(" expr ")"
      |  "[" expr ("," expr)* "]"

binop ::= "+" | "-" | "*" | "/" | "mod" | "::"

literal ::= "[]" | digit+ | "true" | "false"
```

The actual grammar used is [here](../src/cst/parser/grammar.lalrpop).