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

Safe HaskellNone
LanguageHaskell2010

WeekDaze.LocationView.LessonResourceIds

Contents

Description

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

Types

Data-types

data LessonResourceIds teacherId Source #

Composed from both the StudentClass & teacherId.

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

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

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

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

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

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

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

show :: LessonResourceIds teacherId -> String #

showList :: [LessonResourceIds teacherId] -> ShowS #

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

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

xpickle :: PU (LessonResourceIds teacherId) #

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

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

getErrors :: LessonResourceIds teacherId -> [String] #

isValid :: LessonResourceIds teacherId -> Bool #

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

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

toHtml :: LessonResourceIds teacherId -> Html #

toHtmlFromList :: [LessonResourceIds teacherId] -> Html #

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

Defined in WeekDaze.LocationView.LessonResourceIds

Methods

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

Constants

Functions

Constructor

mkLessonResourceIds Source #

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