Safe Haskell	None
Language	Haskell2010

WeekDaze.ProblemConfiguration.TimetableValidationSwitches

Contents

Types
- Data-types
Constants

Description

AUTHOR: Dr. Alistair Ward
DESCRIPTION: Defines the toggle-switches used to enabledisable checks on the validity of StudentView.Timetable.Timetable/.

Synopsis

data TimetableValidationSwitches = MkTimetableValidationSwitches {
- getCheckBookedSubjectsAreRequired :: Check
- getCheckBookedSubjectsHaveService :: Check
- getCheckExistenceOfLocationIds :: Check
- getCheckExistenceOfStudentBodies :: Check
- getCheckExistenceOfTeacherIds :: Check
- getCheckForBookingMeetingClash :: Check
- getCheckForMisplacedLessons :: Check
- getCheckForOverbookedSubjects :: Check
- getCheckForOverloadedStudentBodies :: Check
- getCheckForOverloadedTeachers :: Check
- getCheckForResourceConflicts :: Check
- getCheckMinimumConsecutiveLessons :: Check
- getCheckResourceAvailability :: Check
- getCheckSynchronisedCourses :: Check
- getCheckTimeslotsPerDay :: Check
}
checkBookedSubjectsAreRequiredTag :: String
checkBookedSubjectsHaveServiceTag :: String
checkExistenceOfLocationIdsTag :: String
checkExistenceOfStudentBodiesTag :: String
checkExistenceOfTeacherIdsTag :: String
checkForBookingMeetingClashTag :: String
checkForMisplacedLessonsTag :: String
checkForOverbookedSubjectsTag :: String
checkForOverloadedStudentBodiesTag :: String
checkForOverloadedTeachersTag :: String
checkForResourceConflictsTag :: String
checkMinimumConsecutiveLessonsTag :: String
checkResourceAvailabilityTag :: String
checkSynchronisedCoursesTag :: String
checkTimeslotsPerDayTag :: String

Types

Data-types

data TimetableValidationSwitches Source #

Encapsulates the data which defines the problem.

Constructors

MkTimetableValidationSwitches

Fields

getCheckBookedSubjectsAreRequired :: Check
Check that all subjects for which there's a booking, are required by the student-body.
getCheckBookedSubjectsHaveService :: Check
Check that all subjects for which there's a booking, have been offered as a course, by the referenced teacher.
getCheckExistenceOfLocationIds :: Check
Check that all locationIds referenced in an imported studentViewTimetable, exist in the location-catalogue.
getCheckExistenceOfStudentBodies :: Check
Check that all student-bodies referenced in an imported studentViewTimetable, exist in the studentBody-register.
getCheckExistenceOfTeacherIds :: Check
Check that all teacherIds referenced in an imported studentViewTimetable, exist in the teacher-register.
getCheckForBookingMeetingClash :: Check
Check for lessons booked at the same time as a meeting, with a common resource-requirement.
getCheckForMisplacedLessons :: Check
Check for lessons booked at locations lacking either adequate capacity or facilities for their course.
getCheckForOverbookedSubjects :: Check
Check for student-bodies for whom more lessons have been booked, in a specific subject, that required by the course of which they're a part.
getCheckForOverloadedStudentBodies :: Check
Check for student-bodies for whom more lessons have been booked, than allocated for tuition in one week.
getCheckForOverloadedTeachers :: Check
Check for teachers for whom more lessons have been booked, than allocated for tuition in one week.
getCheckForResourceConflicts :: Check
Check for times at which resources have been allocated in more than one location.
getCheckMinimumConsecutiveLessons :: Check
Check for lessons which have been booked in runlengths shorter than required by the course of which they're a part.
getCheckResourceAvailability :: Check
Check that resources have been booked only on days when they're available.
getCheckSynchronisedCourses :: Check
Check that all the teachers of a set of synchronised courses, have booked synchronous lessons.
getCheckTimeslotsPerDay :: Check
Check that all days have the correct number of time-slots.

Instances

Eq TimetableValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.TimetableValidationSwitches Methods (==) :: TimetableValidationSwitches -> TimetableValidationSwitches -> Bool # (/=) :: TimetableValidationSwitches -> TimetableValidationSwitches -> Bool #
Show TimetableValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.TimetableValidationSwitches Methods showsPrec :: Int -> TimetableValidationSwitches -> ShowS # show :: TimetableValidationSwitches -> String # showList :: [TimetableValidationSwitches] -> ShowS #
NFData TimetableValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.TimetableValidationSwitches Methods rnf :: TimetableValidationSwitches -> () #
Default TimetableValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.TimetableValidationSwitches Methods def :: TimetableValidationSwitches #
XmlPickler TimetableValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.TimetableValidationSwitches Methods xpickle :: PU TimetableValidationSwitches #