Structs§
- Course
Enrollment Info - Course
Enrollment 🔒Row - Course
Enrollments Info - Course
Instance Enrollment - Course
Instance Enrollments Info - Course
Module Info - Slim module descriptor so the frontend can label per-module completions and show “X of Y modules”
without a separate course-structure fetch. Default (base) module has
name = None. - Daily
Submission Count - One UTC day’s exercise-submission count for a module, used for the activity-density violins on the
cross-course timeline.
dayis midnight of the day the submissions fall in. - NewCourse
Instance Enrollment
Functions§
- get_
by_ user_ and_ course_ instance_ id - get_
by_ user_ id - get_
by_ user_ id_ and_ course_ ids - get_
course_ enrollments_ info_ for_ user - Returns one entry per course the user is enrolled in, with aggregated data.
- get_
course_ instance_ enrollments_ info_ for_ user - insert
- insert_
enrollment_ and_ set_ as_ current - insert_
enrollment_ if_ it_ doesnt_ exist - Inserts enrollment if it doesn’t exist yet; on conflict updates deleted_at to NULL (upsert).