License | BSD-3-Clause |
---|---|
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Display logic for Objectives.
Documentation
renderGoalsDisplay :: GoalDisplay -> Maybe (Document Syntax) -> Widget Name Source #
getCompletionIcon :: Objective -> GoalStatus -> Widget Name Source #