$# Displays gradings Summary for various purposes $# --
| $# empty cell for row headers $maybe _ <- hasPassings | _{MsgSheetGradingPassing'} $maybe _ <- hasPoints | _{MsgSheetGradingPoints'} | _{MsgSheetGradingCount'} $# Number of Sheet/Submissions used for calculating maximum passes/points $forall row <- rowWdgts ^{row} $maybe nrNoGrade <- positiveSum $ numNotGraded | ||
|---|---|---|---|---|---|
| _{MsgSheetTypeNotGraded} $maybe _ <- hasPassings | $maybe _ <- hasPoints | #{display nrNoGrade}
$maybe _ <- positiveSum $ bonusSummary ^. _numSheets
_{MsgSheetTypeInfoBonus} $maybe _ <- positiveSum =<< (bonusSummary ^. _achievedPoints) _{MsgSheetGradingBonusIncluded} $maybe _ <- positiveSum $ informationalSummary ^. _numSheets _{MsgSheetTypeInfoNotGraded} | |||