Module parser

Source

ModulesΒ§

lookahead πŸ”’
Support for β€œpeeking” into the token stream to decide how to parse.
utils πŸ”’
Implementation of parser combinators

EnumsΒ§

Associativity πŸ”’
Precedence πŸ”’

FunctionsΒ§

parse_asyncness πŸ”’
parse_atom πŸ”’
parse_base_sort πŸ”’
parse_binops πŸ”’
parse_block πŸ”’
⟨block⟩ := { ⟨let_decls⟩ ⟨expr⟩ }
parse_block_expr πŸ”’
⟨block_expr⟩ = ⟨let_decl⟩* ⟨expr⟩
parse_bounded_quantifier πŸ”’
parse_bty_exists πŸ”’
parse_bty_rhs πŸ”’
parse_const_arg πŸ”’
parse_constructor_arg πŸ”’
parse_ensures_clause πŸ”’
parse_expr πŸ”’
parse_expr_path πŸ”’
⟨epath⟩ := ⟨ident⟩ ⟨ :: ⟨ident⟩ ⟩*
parse_expr_path_segment πŸ”’
parse_fields πŸ”’
parse_flux_item πŸ”’
parse_flux_items πŸ”’
parse_fn_input πŸ”’
parse_fn_ret πŸ”’
parse_fn_sig πŸ”’
parse_general_exists πŸ”’
parse_generic_arg πŸ”’
parse_generic_bounds πŸ”’
parse_generic_param πŸ”’
parse_generics πŸ”’
parse_hide_attr πŸ”’
parse_ident πŸ”’
parse_if_expr πŸ”’
⟨if_expr⟩ := if ⟨expr⟩ ⟨block⟩ ⟨ else if ⟨expr⟩ ⟨block⟩ ⟩* else ⟨block⟩
parse_impl_assoc_reft πŸ”’
parse_impl_assoc_refts πŸ”’
parse_indices πŸ”’
parse_int πŸ”’
parse_let_decl πŸ”’
⟨let_decl⟩ := let ⟨refine_param⟩ = ⟨expr⟩ ;
parse_lit πŸ”’
parse_opt_ensures πŸ”’
parse_opt_generics πŸ”’
parse_opt_param_mode πŸ”’
parse_opt_requires πŸ”’
parse_opt_where πŸ”’
parse_path πŸ”’
parse_qpath πŸ”’
parse_qual_names πŸ”’
parse_qualifier πŸ”’
parse_reason πŸ”’
parse_refine_arg πŸ”’
parse_refine_param πŸ”’
parse_refined_by πŸ”’
parse_reft_func πŸ”’
parse_requires_clause πŸ”’
parse_reveal_names πŸ”’
parse_segment πŸ”’
parse_segments πŸ”’
parse_sort πŸ”’
parse_sort_decl πŸ”’
parse_trailer_expr πŸ”’
parse_trait_assoc_reft πŸ”’
parse_trait_assoc_refts πŸ”’
parse_type πŸ”’
parse_type_alias πŸ”’
parse_variant πŸ”’
parse_variant_ret πŸ”’
parse_where_bound πŸ”’
parse_yes_or_no_with_reason πŸ”’
path_to_bty πŸ”’
unary_expr πŸ”’