Day_22(2023): use delete to delete

Sheinxy · Dec 22, 2023 · 8113823 · 8113823
1 parent 2f93530
commit 8113823
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/2023/Day_22/Day_22.hs b/2023/Day_22/Day_22.hs
@@ -55,7 +55,7 @@ parseInput :: String -> Input
 parseInput = fallDown . sort . map read . lines
 
 getUnremovableBricks :: Input -> S.Set Int
-getUnremovableBricks = S.filter (-1 /=) . M.foldr go S.empty
+getUnremovableBricks = S.delete (-1) . M.foldr go S.empty
    where go cur acc | (S.size . supporting) cur == 1 = acc `S.union` supporting cur
                     | otherwise                      = acc