Module fungi_lang::parse [−][src]
Syntax: abstract (via Rust datatypes) and concrete (via Rust macros).
Program terms:
- Declarations (
d
): concrete, abstract. - Expressions (
e
): concrete, abstract. - Values (
v
): concrete, abstract.
Types and effects:
- Value types (
A,B
): concrete, abstract. - Computation types (
C,D
): concrete, abstract. - Effect types (
E
): concrete, abstract. - Effects (
ε
): concrete, abstract. - Kinds (
K
): concrete, abstract.
Index terms, name terms, sorts: