goalsView :: ProofState  -- ^ current global state
          -> [LBGoalView] -- ^ resulting ['LBGoalView'] list
goalsView = map toStatus . getGoals
    where toStatus (l, st) =
              let si = maybe LBIndicatorOpen indicatorFromBasicProof st
              in LBGoalView { statIndicator = si
                            , goalDescription = l}

-- ** GUI Implementation

-- *** Utility Functions

{- |
  Populates the "Pick Theorem Prover" 'ListBox' with prover names (or possibly
  paths to provers).
-}
goalsView :: ProofState  -- ^ current global state
          -> [LBGoalView]
goalsView = map toStatus . getGoals
    where toStatus (l, st) =
              let si = maybe LBIndicatorOpen indicatorFromBasicProof st
              in LBGoalView { statIndicator = si
                            , goalDescription = l}

-- ** GUI Implementation

-- *** Utility Functions

{- |
  Populates the "Pick Theorem Prover" 'ListBox' with prover names (or possibly
  paths to provers).
-}
goalsView = map toStatus . getGoals
    where toStatus (l, st) =
              let si = maybe LBIndicatorOpen indicatorFromBasicProof st
              in LBGoalView { statIndicator = si
                            , goalDescription = l}

-- ** GUI Implementation

-- *** Utility Functions

{- |
  Populates the "Pick Theorem Prover" 'ListBox' with prover names (or possibly
  paths to provers).
-}