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