$# 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
_{MsgSheetTypeInfo} $maybe _ <- positiveSum =<< (bonusSummary ^. _achievedPoints) _{MsgSheetGradingBonusIncluded} $nothing $#TODO: MsgSheetTypeInfo into part about Bonus and about Informational $maybe _ <- positiveSum $ informationalSummary ^. _numSheets _{MsgSheetTypeInfo} | |||