WeekDaze.LocationView.LessonResourceIds

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Defines the resources required for a lesson, from the perspective of a location.

Types

Data-types

data LessonResourceIds teacherId

Composed from both the StudentClass & teacherId.

Instances

Eq teacherId => Eq (LessonResourceIds teacherId)

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

(==) :: LessonResourceIds teacherId -> LessonResourceIds teacherId -> Bool

(/=) :: LessonResourceIds teacherId -> LessonResourceIds teacherId -> Bool

Show teacherId => Show (LessonResourceIds teacherId)

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

showsPrec :: Int -> LessonResourceIds teacherId -> ShowS

show :: LessonResourceIds teacherId -> String

showList :: [LessonResourceIds teacherId] -> ShowS

XmlPickler teacherId => XmlPickler (LessonResourceIds teacherId)

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

xpickle :: PU (LessonResourceIds teacherId)

Show teacherId => SelfValidator (LessonResourceIds teacherId)

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

getErrors :: LessonResourceIds teacherId -> [String]

isValid :: LessonResourceIds teacherId -> Bool

HTML teacherId => HTML (LessonResourceIds teacherId)

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

toHtml :: LessonResourceIds teacherId -> Html

toHtmlFromList :: [LessonResourceIds teacherId] -> Html

Eq teacherId => ResourceUser (LessonResourceIds teacherId)

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

areIndependent :: LessonResourceIds teacherId -> LessonResourceIds teacherId -> Bool

Constants

Functions

Constructor

mkLessonResourceIds

Arguments

:: 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

Convert from the student-view to a location-view.

toStudentView :: locationId -> LessonResourceIds teacherId -> LessonResourceIds locationId teacherId

Convert from the location-view to a student-view.