module WeekDaze.LinearModel.Timetable(
Timetable,
unbookWhere,
fromTimetable
) where
import Control.Arrow((&&&))
import qualified Data.Array.IArray
import qualified Data.Map
import qualified WeekDaze.LinearModel.TimetableForWeek as LinearModel.TimetableForWeek
import qualified WeekDaze.Model.Timetable as Model.Timetable
type Timetable observerId timeslotId resourceIds level = [Model.Timetable.Booking observerId timeslotId resourceIds level]
fromTimetable :: Data.Array.IArray.Ix timeslotId => Model.Timetable.Timetable observerId timeslotId resourceIds level -> Timetable observerId timeslotId resourceIds level
fromTimetable timetable = [
((observerId, time), lesson) |
(observerId, timetableForWeek) <- Data.Map.toList timetable,
(time, lesson) <- LinearModel.TimetableForWeek.fromTimetableForWeek timetableForWeek
]
unbookWhere :: (Data.Array.IArray.Ix timeslotId, Ord observerId)
=> (Model.Timetable.Booking observerId timeslotId resourceIds level -> Bool)
-> Model.Timetable.Timetable observerId timeslotId resourceIds level
-> Model.Timetable.Timetable observerId timeslotId resourceIds level
unbookWhere predicate = uncurry ($) . (Model.Timetable.undefineTimeslots &&& map Model.Timetable.getBookedCoordinates . filter predicate . fromTimetable)