Safe Haskell | None |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Defines a meeting of a group, suitable for any time-slot in the generic timetable.
Synopsis
- type MeetingsByTime timeslotId locationId teacherId = Map (Time timeslotId) (Set (Meeting locationId teacherId))
- data Meeting locationId teacherId
- deleteLocationId :: (Ord locationId, Ord teacherId) => locationId -> MeetingsByTimeMutator timeslotId locationId teacherId
- deleteStudentBody :: (Ord locationId, Ord teacherId) => StudentBody -> MeetingsByTimeMutator timeslotId locationId teacherId
- deleteTeacherId :: (Ord locationId, Ord teacherId) => teacherId -> MeetingsByTimeMutator timeslotId locationId teacherId
- mkMeeting :: (Show locationId, Show teacherId) => Id -> Maybe locationId -> StudentClass -> Set teacherId -> Meeting locationId teacherId
Types
Type-synonyms
type MeetingsByTime timeslotId locationId teacherId = Map (Time timeslotId) (Set (Meeting locationId teacherId)) Source #
A map indexed by time, of sets of meetings.
Data-types
data Meeting locationId teacherId Source #
- Defines a potential booking of the resources required for a group to meet.
- It doesn't directly specify the time-slot at which it's to be booked, because that's defined by it's position within a timetable.
Instances
(Eq locationId, Eq teacherId) => Eq (Meeting locationId teacherId) Source # | |
(Ord locationId, Ord teacherId) => Ord (Meeting locationId teacherId) Source # | |
Defined in WeekDaze.Model.Meeting compare :: Meeting locationId teacherId -> Meeting locationId teacherId -> Ordering # (<) :: Meeting locationId teacherId -> Meeting locationId teacherId -> Bool # (<=) :: Meeting locationId teacherId -> Meeting locationId teacherId -> Bool # (>) :: Meeting locationId teacherId -> Meeting locationId teacherId -> Bool # (>=) :: Meeting locationId teacherId -> Meeting locationId teacherId -> Bool # max :: Meeting locationId teacherId -> Meeting locationId teacherId -> Meeting locationId teacherId # min :: Meeting locationId teacherId -> Meeting locationId teacherId -> Meeting locationId teacherId # | |
(Show locationId, Show teacherId) => Show (Meeting locationId teacherId) Source # | |
(Show locationId, Show teacherId) => SelfValidator (Meeting locationId teacherId) Source # | |
(HTML locationId, HTML teacherId) => HTML (Meeting locationId teacherId) Source # | |
Defined in WeekDaze.Model.Meeting |
Constants
Functions
deleteLocationId :: (Ord locationId, Ord teacherId) => locationId -> MeetingsByTimeMutator timeslotId locationId teacherId Source #
Delete the specified location-Id from all specified meetings.
deleteStudentBody :: (Ord locationId, Ord teacherId) => StudentBody -> MeetingsByTimeMutator timeslotId locationId teacherId Source #
Delete the specified student-body from the members of all specified meetings.
deleteTeacherId :: (Ord locationId, Ord teacherId) => teacherId -> MeetingsByTimeMutator timeslotId locationId teacherId Source #
Delete the specified teacher-Id from the members of all specified meetings.
Constructor
:: (Show locationId, Show teacherId) | |
=> Id | The identifier of the group which it meeting. |
-> Maybe locationId | The optional location of the rendezvous. |
-> StudentClass | The potentially empty set of student-members of the group. |
-> Set teacherId | The potentially empty set of teacher-members of the group. |
-> Meeting locationId teacherId |
Smart constructor.