Module generate_function 

Structs

AdtInfo 🔒

FunctionBuilder 🔒

Graph 🔒

Minimally implemented directed graph structure represented by adjacency list.

ParamBoundWithParams 🔒

TargetInfo 🔒

Visitor 🔒

WherePredWithParams 🔒

Enums

GeneratedFunctionTarget 🔒

Visibility 🔒

Functions

add_func_to_accumulator 🔒

add_generated_fn_annotation 🔒

assoc_fn_target_info 🔒

calculate_necessary_visibility 🔒

compute_contained_params_in_generic_param 🔒

compute_contained_params_in_where_pred 🔒

containing_body 🔒

deduplicate_arg_names 🔒

Makes duplicate argument names unique by appending incrementing numbers.

filter_bounds_in_scope 🔒

Filters out bounds from impl if we’re generating the function into the same impl we’re generating from.

filter_generic_params 🔒

filter_unnecessary_bounds 🔒

Filters out irrelevant bounds from generic_params and where_preds.

fn_arg_name 🔒

fn_arg_type 🔒

fn_args 🔒

Computes parameter list for the generated function.

fn_generic_params 🔒

Gets parameter bounds and where predicates in scope and filters out irrelevant ones. Returns None when it fails to get scope information.

fn_target_info 🔒

gen_fn 🔒

gen_method 🔒

generate_function 🔒

get_adt_source 🔒

get_bounds_in_scope 🔒

get_fn_target 🔒

get_fn_target_info 🔒

get_method_target 🔒

insert_rendered_fn 🔒

insert_rendered_impl 🔒

make_fn_body_as_new_function 🔒

make_return_type 🔒

Makes an optional return type along with whether the return type should be focused by the cursor. If we cannot infer what the return type should be, we create a placeholder type.

next_space_for_fn_after_call_site 🔒

Returns the position inside the current mod or file directly after the current block We want to write the generated function directly after fns, impls or macro calls, but inside mods

next_space_for_fn_in_module 🔒

params_and_where_preds_in_scope 🔒