Module users

Structs§

delete_user
email_domain_from_email: The domain part of an address, as stored in users.email_domain.
find_by_upstream_id
get_all_user_ids_with_user_exercise_states_on_course: Includes all users who have returned an exercise on a course course instance
get_by_email: Looks up a user by email (case-insensitive) using the lower(email) index on user_details.
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
update_email_for_user: Points the account with this upstream id at a new address, keeping users.email_domain in step.