implemented editGoalieLtGoals

This commit is contained in:
Jonathan Lamothe committed 2019-11-14 03:07:26 -05:00
1 parent c0386fa0b9
commit 954fe98998
2 files changed
+33 -1

No files matched your search

+1 -1
View File
@@ -126,7 +126,7 @@ editGoalieLtGoals
-- ^ The number of goals
-> ProgState
-> ProgState
editGoalieLtGoals = undefined
editGoalieLtGoals goals = editGoalie (gLifetime.gsGoalsAllowed .~ goals) EGLifetime
editGoalie :: (Goalie -> Goalie) -> EditGoalieMode -> ProgState -> ProgState
editGoalie f mode s = fromMaybe s $ do