weekdaze-0.0.0.3: A school-timetable problem-solver.

Safe HaskellNone
LanguageHaskell2010

WeekDaze.TeacherView.LessonResourceIds

Contents

Description

AUTHOR
Dr. Alistair Ward
DESCRIPTION
Defines the resources required for a lesson, from the perspective of a teacher.
Synopsis

Types

Data-types

data LessonResourceIds locationId Source #

Composed from both the locationId & StudentClass.

Instances
Eq locationId => Eq (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

(==) :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool #

(/=) :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool #

Ord locationId => Ord (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

compare :: LessonResourceIds locationId -> LessonResourceIds locationId -> Ordering #

(<) :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool #

(<=) :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool #

(>) :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool #

(>=) :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool #

max :: LessonResourceIds locationId -> LessonResourceIds locationId -> LessonResourceIds locationId #

min :: LessonResourceIds locationId -> LessonResourceIds locationId -> LessonResourceIds locationId #

Show locationId => Show (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

showsPrec :: Int -> LessonResourceIds locationId -> ShowS #

show :: LessonResourceIds locationId -> String #

showList :: [LessonResourceIds locationId] -> ShowS #

XmlPickler locationId => XmlPickler (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

xpickle :: PU (LessonResourceIds locationId) #

Show locationId => SelfValidator (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

getErrors :: LessonResourceIds locationId -> [String] #

isValid :: LessonResourceIds locationId -> Bool #

HTML locationId => HTML (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

toHtml :: LessonResourceIds locationId -> Html #

toHtmlFromList :: [LessonResourceIds locationId] -> Html #

Eq locationId => ResourceUser (LessonResourceIds locationId) Source # 
Instance details

Defined in WeekDaze.TeacherView.LessonResourceIds

Methods

areIndependent :: LessonResourceIds locationId -> LessonResourceIds locationId -> Bool Source #

Constants

Functions

Constructor

mkLessonResourceIds Source #

Arguments

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