| ^{simpleLink (toWidget sheetName) (CSheetR tid ssh csh sheetName SSubsR)}
$if groupsPossible
| #{ciSubmittors}
$maybe ((splus,sfailed),_) <- Map.lookup sheetName assignment
| #{ciSubmissions}
| (+#{show (Set.size splus)})
| #{ciSubmissions - ciAssigned}
| (#{show (Set.size sfailed)})
$nothing
| #{ciSubmissions}
| #{ciSubmissions - ciAssigned}
| #{ciSubmissions - ciCorrected}
| #{showDiffDays ciMin}
| #{showAvgsDays ciTot ciCorrected}
| #{showDiffDays ciMax}
_{MsgCorrectionCorrectors}
| _{MsgCorrector}
| _{MsgNrSubmissionsTotal}
| _{MsgNrSubmissionsNotCorrected}
| _{MsgCorrectionTime}
$forall shn <- sheetNames
| #{shn}
$forall (CorrectionInfo{ciCorrector, ciSubmissions, ciCorrected, ciMin, ciTot, ciMax}) <- Map.elems corrMap
$with (nameW,loadM) <- getCorrector ciCorrector
|
| ^{nameW}
| #{ciSubmissions}
| #{ciSubmissions - ciCorrected}
| #{showDiffDays ciMin}
| #{showAvgsDays ciTot ciCorrected}
| #{showDiffDays ciMax}
$forall shn <- sheetNames
$maybe SheetCorrector{sheetCorrectorLoad, sheetCorrectorState} <- Map.lookup shn loadM
| #{showCompactCorrectorLoad sheetCorrectorLoad sheetCorrectorState}
$nothing
|
$maybe CorrectionInfo{ciAssigned,ciCorrected,ciTot} <- getCorrSheetStatus ciCorrector shn
$maybe nrNew <- getCorrNewAssignment ciCorrector shn
| #{ciAssigned}
| (+#{nrNew})
$nothing
| #{ciAssigned}
| #{ciAssigned - ciCorrected}
| #{showAvgsDays ciTot ciCorrected}
$nothing
|
^{btnWdgt} | |