[][src]Module minitt::parser

Parser, from text to AST and a bunch of utilities

Enums

Rule

Functions

application_to_expression
atom_and_expression_to_tuple

Helper, extracted.

atom_pattern_to_pattern
atom_to_expression
branches_to_tree_map
choices_to_tree_map
const_declaration_to_expression
constructor_to_expression

Constructor as an expression

constructor_to_tuple
declaration_to_expression
expression_to_expression
first_to_expression
function_type_to_expression
identifier_to_name
lambda_expression_to_expression
maybe_pattern_to_pattern
pair_to_expression
pair_type_to_expression
parse_str

Parse a string into an optional expression

parse_str_err_printed

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

pattern_to_pattern
pi_type_to_expression
prefix_parameters_to_vec
second_to_expression
sigma_type_to_expression
typed_abstraction_to_tuple
variable_to_expression