[][src]Module nar::syntax::surf

Surface syntax.

Modules

ast

Surface syntax tree.

parse

Parser, based on pest.

Structs

NamedTele
Param

Surface syntax: Parameter.

Enums

Expr

Surface syntax elements.

ExprDecl
Rule

Functions

parse_expr_err_printed

Parse a string into an optional standalone expression and print error to stderr.

parse_str
parse_str_err_printed

Parse a string into an optional declaration list and print error to stderr.

parse_str_expr

Type Definitions

ExprCons
ExprCopat

In ExprPat, the ConHead is pseudo, please beware of this fact and do proper desugar to produce valid abstract syntax.

ExprPat
ExprProj