[−][src]Module minitt::parser
Parser, from text to AST and a bunch of related tools.
Structs
MiniParser | The name stands for "Mini-TT's Parser" |
Enums
Rule |
Constants
_PEST_GRAMMAR_MiniParser |
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 | |
end_of_rule | |
expression_to_expression | |
first_to_expression | |
function_type_to_expression | |
identifier_to_name | |
lambda_expression_to_expression | |
maybe_pattern_to_pattern | |
merge_sum_to_expression | |
next_atom | |
next_constructor_name | |
next_expression | |
next_pattern | |
pair_to_expression | |
pair_type_to_expression | |
parse_str | Parse a string into an optional expression based on |
parse_str_err_printed | Parse a string into an optional expression and print error to stderr. |
parse_str_to_json | Parse a string into the json-format lexical information. |
pattern_to_pattern | |
pi_type_to_expression | |
prefix_parameters_to_vec | |
second_to_expression | |
sigma_type_to_expression | |
typed_abstraction_to_tuple | |
universe_to_expression | |
variable_to_expression |
Type Definitions
Tik | |
Tok |