Safe Haskell | None |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Defines the resources required for a lesson, from the perspective of a location.
Synopsis
- data LessonResourceIds teacherId
- mkLessonResourceIds :: Show teacherId => StudentClass -> teacherId -> LessonResourceIds teacherId
- fromStudentView :: Show teacherId => StudentClass -> LessonResourceIds locationId teacherId -> LessonResourceIds teacherId
- toStudentView :: locationId -> LessonResourceIds teacherId -> LessonResourceIds locationId teacherId
Types
Data-types
data LessonResourceIds teacherId Source #
Composed from both the StudentClass
& teacherId
.
Instances
Constants
Functions
Constructor
:: Show teacherId | |
=> StudentClass | The class of students to be instructed. |
-> teacherId | The identifier of the teacher taking the class. |
-> LessonResourceIds teacherId |
Smart constructor.
Translation
fromStudentView :: Show teacherId => StudentClass -> LessonResourceIds locationId teacherId -> LessonResourceIds teacherId Source #
Convert from the student-view to a location-view.
toStudentView :: locationId -> LessonResourceIds teacherId -> LessonResourceIds locationId teacherId Source #
Convert from the location-view to a student-view.