Module enrolment_selection 

Which of a student’s enrolments the attainment is registered against. Degree before open university: a degree student who also holds an open-university study right wants the credit inside their degree.

Structs

EnrolmentCriteria

Enums

NoUsableEnrolment

Why no enrolment could carry the attainment; each variant reads differently to the student.

Constants

ATTAINED_STATE

CREDITS_TOLERANCE 🔒

Slack for the f32-to-f64 widening. Real credit amounts are never finer than 0.1.

DEGREE_KIND

ENROLLED_STATE

Functions

any_attained_by_person

Any attainment the registry holds, for when no enrolment names the course unit. The response is scoped to one student and one course code already; the person is checked because nothing else here is.

attainment_for_course_unit

An attainment the registry already holds for this course unit: importing would duplicate it.

attainment_matching_submission

The attainment a submission we lost track of would have produced, matched on what we sent.

contains 🔒

credits_fit 🔒

Whether an enrolment’s registry-declared credit range can carry the module’s credits. A range with min > max is the registry’s own data at fault, so it is never usable.

same_id 🔒

A blank never matches: a response that omits an id must not thereby match every attainment.

select_enrolment