$newline never
| _{MsgScheduleTableHeadTime} $forall day <- week | ^{formatTimeW SelFormatDate day} |
|---|---|
| ^{formatTimeSlotW slot} $forall day <- week |
$maybe dayEvents <- Map.lookup day events
$maybe slotEvents <- Map.lookup slot dayEvents
$forall se@ScheduleEntry{seCourse=Entity _ Course{courseName},seType,seRooms,seOccurrence} <- slotEvents
#{CI.original courseName}: #
$case seType
$of SETCourseEvent{..}
#{CI.original setceType}
$of SETTutorial{..}
#{settName} #
(#{CI.original settType})
$of SETExamOccurrence{..}
#{seteoExamName} #
$case seRooms $of [] $of [room] _{MsgScheduleRoom}: #{room} $of rooms _{MsgScheduleRooms}: #{intercalate ", " rooms} ^{formatOccurrenceW seOccurrence} |