Module user_exercise_state_updater

Always update the user_exercise_state table though this module

Modules

data_loader 🔒

state_deriver 🔒

validation 🔒

Structs

UserExerciseStateUpdateAlreadyLoadedRequiredData

Same as UserExerciseStateUpdateRequiredData but public and everything is optional. Can be used to pass some already loaded dependencies to the update function.

UserExerciseStateUpdateAlreadyLoadedRequiredDataPeerReviewInformation

Same as UserExerciseStateUpdateRequiredDataPeerReviewInformation but public and everything is optional. Can be used to pass some already loaded dependencies to the update function.

UserExerciseStateUpdateRequiredData

Visible only in the current module (and submodules) to prevent misuse.

UserExerciseStateUpdateRequiredDataPeerReviewInformation

Visible only in the current module (and submodules) to prevent misuse.

Functions

update_user_exercise_state

Loads all required data and updates user_exercise_state. Also creates completions if needed.

update_user_exercise_state_with_some_already_loaded_data

Allows you to pass some data that update_user_exercise_state fetches to avoid repeating SQL queries for performance. Note that the caller must be careful that it passes correct data to the function. A good rule of thumb is that this function expects unmodified data directly from the database.