Module users

Structs

User

Functions

delete_user

find_by_upstream_id

get_all_user_ids_with_user_exercise_states_on_course_instance

Includes all users who have returned an exercise on a course course instance

get_by_email

get_by_id

get_users_by_course_instance_enrollment

get_users_ids_in_db_from_upstream_ids

insert

insert_with_upstream_id_and_moocfi_id

try_get_by_email

update_email_for_user